Your search for 37151 returns 3301 document(s) |
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
|
Development of real-time flight simulator for quadrotor, hal. 63-68 |
Author: Joga D. Setiawan, Yohanes D. Setiawan, Mochammad Ariyanto, Agus Mukhtar, Agus Budiyono; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real Time Monitoring Transaction With ELK at kartuku |
Author: Ardian Hosen; | Call Number: KP-2030 (Softcopy KP- 1592) | Type: Kerja Praktek (KP)
|
Find Similar |
Add To Favorites |
Detail in New Window
|