| Your search for 38751 returns 4594 document(s) |
| 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
|
| Real-time systems: management and design |
|
Author: Tebbs, David; | Call Number: 004.33 Teb r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-Time Systems : The International Journal |
|
Call Number: [11 (1996): 1-3
, 10 (1996): 1-3
, 12 (1997): 1-3
, 13 (1997): 1-3
] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-Time Systems and their programming languages |
|
Author: Burns,Alan; | Call Number: 004.33 Bur r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Designing large real-time systems with ada |
|
Author: Nielsen, Kjell; | Call Number: 004.33 Nie d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structured development for real-time systems |
|
Author: Mellor, Stephen J.; | Call Number: 004.33 War s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming Real-Time Multicomputers For Signal Processing |
|
Author: Thoeni, Urban A.; | Call Number: 621.382 Tho p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CAVEAT: technique and tool for computer aided verification and transformation, (LNCS-Lecture Notes in Computer Science 939) Hal 70-83 |
|
Author: E. Pascal Gribomont; Didier Rossetto; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modelling systems in CLP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 412-413 |
|
Author: Joxan Jaffar; Andrew E. Santosa; Razvan Voicu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Planar hybrid systems,(LNCS-Lecture Notes in Computer Science 999) Hal. 292-225 |
|
Author: John Guckenheimer; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result