Search Result
Save to File
Your search for
37143
returns
3037
document(s)
Interval Queries on Object Histories: Extended Abstract (208-217)
Author: S. Ginsberg K. Tanaka; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Interpreting a Reconstructed Relation Calculus: Extended Abstract (367-376)
Author: Aaron Watters; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
ERTL: an extension to RTL for requirements analysis for hybrid systems, Hal. 106-121
Author: Rogerio de Lemos; Jon Hall and Amer Saeed; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Dicidable hybrid systems to modelize and verify rel-time applications, Hal. 295-302
Author: Olivier Roux; Vlad Rusu; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Invariance priciple in hybrid systems modeled by mixed mapings, Hal. 397-408
Author: Toshimitau Ushio; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
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
A Note on abstract interpretation strategies for hybrid automata, (LNCS-Lecture Notes in Computer Science 999)Hal. 252-293
Author: Thomas A. Henzinger; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Operating systems concepts & design
Author: Milenkovic, Milan; | Call Number: 005.43 Mil o | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Introduction to systems analysis and design
Author: Hawryszkiewycz, Igor; | Call Number: 004.21 Haw i ( MTI ) | Edition: fourth | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Introduction to systems analysis and design
Author: Hawryszkiewycz, IT.; | Call Number: 003 Haw l | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next