Search Result Save to File Save as CSV
Your search for 39720 returns 6146 document(s)
Hybrid systems as finser manifolds: finite state control as approximation to connection,(LNCS-Lecture Notes in Computer Science 999) Hal. 295-321
Author: Wolf Kohn; Anil Nerode; Jeffrey B. Benard; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Hybrid systems and quatum automata : preliminary announcement, (LNCS-Lecture Notes in Computer Science 999)Hal. 181-201
Author: R.L. Grossunan and M. Sweendler; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Modeling and stability issues in hybrid systems, (LNCS-Lecture Notes in Computer Science 999) Hal. 148-165
Author: Muzat Doguel; Umit Ozguner; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Viable control of hybrid systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 128-147
Author: Akash Deshpande and Pravin Varaiya; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On dynamically consistent hybrid systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 86-127
Author: Peter E. Caines; Yuan-Jun Wei; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Discrete mathematical structures for computer science
Author: Bernard Kolman; | Call Number: 511 Ber i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A Combined Continous And Discrete Mixture Model For Trauma Data (354-359)
Author: Shuang Cang Derek Patridge; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time systems: formal specification and automatic verification
Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A Calculus of strochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 21-63
Author: Albert Benveniste; Bernard C. Levy; Eric Fabre; Paul Le Guernic; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Discrete mathematical structures with applications to computer science
Author: Tremblay, J.P.; | Call Number: 510.24 Tre d | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next