| Your search for 37153 returns 1913 document(s) |
| Developments in hybrid systems synthesis and verfications, Hal. 141-160 |
|
Author: Amir Pnuli; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Control synthesis for a class of hybrid systems subject to configuration-based safety constrains, Hal. 376-396 |
|
Author: Michael Heymann; Feng Lin; George Meyer; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Control synthesis for a class of hybrid systems subject to configuration-based safety constraints, (LNCS-Lecture Notes in Computer Science 1201) Hal 376-390 |
|
Author: Michael Heymann; Feng Lin; George Meyer; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Principles of artificial intelligence and expert systems developments |
|
Author: Rolston, David W.; | Call Number: 006.33 Rol p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis and synthesis of computer systems/ E. Gelenbe |
|
Author: Gelenbe, E.; | Call Number: 004 Gel a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Linear hybrid systems, Hal. 47-65 |
|
Author: Frits Vaandrager; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Speech synthesis and recognition systems/E.J. Yannakoudakis |
|
Author: Yannakoudakis, E.J.; | Call Number: 006.54 Yan s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A process algebra for hybrid systems, Hal. 129-135 |
|
Author: Jan Joris Vereijken; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Synthezing controllers for hybrid systems, Hal. 361-375 |
|
Author: Deepak Kapur; R.K. Siyamasuda; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| multiobjective hybrid controller synthesis, (LNCS-Lecture Notes in Computer Science 1201) Hal 109-123 |
|
Author: John Lygeros; Claire Tomlin; Shankar Sastry; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result