Search Result Save to File Save as CSV
Your search for 38919 returns 3878 document(s)
Engineering & industrial software directory third edition: a guide to computer programs in applied science
Call Number: R.005.1 025 Eng | Type: Buku Referensi
Find Similar |  Add To Favorites |  Detail in New Window 
Global rebuilding of OBDDs avoiding memory requirement maxima, (LNCS-Lecture Notes in Computer Science 939) Hal 4-15
Author: Jochen Bern; Christoph Meinel; Anna Slobodova; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Automatic datapath abstraction in hardware systems, (LNCS-Lecture Notes in Computer Science 939) Hal 98-113
Author: Ramin Rojati; Robert K. Brayton; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Methods for mu-calculus model checking: a tutorial, (LNCS-Lecture Notes in Computer Science 939) Hal 141
Author: E. A. Emerson; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
It usually works: the temporal logic of stochastic systems, (LNCS-Lecture Notes in Computer Science 939) Hal 155-165
Author: Adnan Aziz; Vigyan Singhal; Felice Balarin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Local liveness for compositional modeling of fair reactive systems, (LNCS-Lecture Notes in Computer Science 939) Hal 166-179
Author: Rajeev Alur; Thomas A. Henzinger; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
From duration calculus to linear hybrid automata (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 196-210
Author: Ahmed Bouajjani; Yassine Lakhnech; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 211-224
Author: Oleg V. Sokolsky; Scott A. Smolka; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Algorithmic analysis of nonlinear hybrid systems, (LNCS-Lecture Notes in Computer Science 939) Hal 225-238
Author: Thomas A. Henzinger; Pei Hsin Ho; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   6 7 8 9 10 11 12 13 14 15  Next