| Your search for 52136 returns 2200 document(s) |
| Applications of modal logic for the specification of real-time systems, (LNCS-Lecture Notes in Computer Science 670) Hal 235-249 |
|
Author: Liang Chen; Alistair Munro; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic controller synthesis for discrete and time systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 1-20 |
|
Author: Eugene Asarin; Oded Maler; Amir Pneuli; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hard real-time computing systems:Predictable scheduling algorithms and applications/ Giorgio C. Buttazzo |
|
Author: Buttazzo, Giorgio C.; | Call Number: 004.22 Sta c | Edition: 1997 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid and real-time systems: international workshop, Hart'97 Grenoble, France, March 26-28, 1997 Proceedings/Oded Maler |
|
Author: Maler, Oded; | Call Number: 004.33 Mal h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real time UML: developing efficient objects for embeded systems/Bruce Powel Douglas |
|
Author: Douglas, Bruce Powel; | Call Number: 005.117 Dou r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Object oriented technology for real-time systems: a practical approach using OMT and fusion |
|
Author: Awad, Maher; | Call Number: 005.2 Awa o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An LMI Approach to Guaranteed Cost Filter for Uncertain Neutral Systems with Time-varying Delay (125-130) |
|
Author: Erwin Susanto
Mitsuaki Ishitobi; | Call Number: SEM-319 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interval analysis in scheduling, (LNCS-Lecture Notes in Computer Science 3709) Hal 226-240 |
|
Author: Jerome Fortin; Pawel Zielinski; Didier Dubois; Helene Fargier; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal Data and The Relational Model a detailed investigation into the application of interval a detailed investigation into the application of interval and Relation theory to the problem of temporal database management |
|
Author: Date, C.J.; | Call Number: 005.74 Dat t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Composing tree attributions,Hal 375-388 |
|
Author: John Boyland; Susan L.Graham; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result