Search Result Save to File Save as CSV
Your search for 37936 returns 282 document(s)
Theory and problems of statistics
Author: Spiegel, Murray R.; | Call Number: 519.5 Spi t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Problems and Solutions of DHCP
Author: Akihiro Tominaga/ Osamu Nakamura/ Fumio Teraoka/ Jun Murai; | Call Number: SEM-216 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Deductive search for errors in the free data type specifications using model generation, Hal. 211-225
Author: Wolfgang Ahrendt; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Integrating discrete and continous phenomena models into practical advanced user interface specifications, Hal. 309-316
Author: Stephen A. Morrison; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Syntax-driven semantic analysis for constructing use case diagrmas form software requirement specifications in Indonesian
Author: Latifaah , Ruli Manurung; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577
Author: Kelvin J. Ross; Peter A. Lindsay; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On the derivation of executable database programs from formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 351-366
Author: Thomas Gunther; Klaus-Dieter Schewe; Ingrid Wetzel; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Automating the generation and sequencing of test cases from model-based specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 268-284
Author: Jeremy Dick; Alain Faivre; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Automating text case generation from Z specifications with isabelle, (LNCS-Lecture Notes in Computer Science 1212)Hal. 52-72
Author: Steffen Helke; Thomas Neustupny; Thomas Santen; | Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture Notes in Computer Science 131) Hal. 253-281
Author: Zohar Manna; Pierre Wolper; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   3 4 5 6 7 8 9 10 11 12  Next