Search Result Save to File Save as CSV
Your search for 37151 returns 3342 document(s)
FORMAL SPECIFICATION OF OBJECT-ORIENTED SYSTEMS
Author: Roger Duke; | Call Number: SEM-213 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal systems specification: the RPC memory specification case study/Manfred Broy
Author: Broy, Manfred; | Call Number: 005.131 Bro f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Verifying liveness properties of reactive systems ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 1
Author: Amir Pnueli; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verifying periodic task-control systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 63-68
Author: Vlad Rusu; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verifying w-regular properties for a subclass of linear hybrid systems, (LNCS-Lecture Notes in Computer Science 939) Hal 437-450
Author: Ahmed Bouajjani; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time adaptive resource management, page 99
Author: Allalagbatta Pahan | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time cooperative editing on the internet, page 18
Author: Yun Yang | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
W. : real time surveillance of people and their activities, page 809
Author: I. Haritaoglu | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time computing: with applications to data aquisition and control
Call Number: 004.33 Rea | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time collaboration in heterogeneous computing environment, Hal. 222-227
Author: Ivan Marsic; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   5 6 7 8 9 10 11 12 13 14  Next