Search Result Save to File Save as CSV
Your search for 5152 returns 5482 document(s)
Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer Science 670) Hal 632-651
Author: Farn Wang; Aloysius Mok; E. Allen Emerson; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Role of VDM(++) in the Development of a real-time tracking and tracing system, (LNCS-Lecture Notes in Computer Science 670) Hal 64-72
Author: ir. E. H. Durr; drs. E.M. Dusink; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Interactively verifying a simple real-time scheduler, (LNCS-Lecture Notes in Computer Science 939) Hal 395-408
Author: Colin Fidge; Peter Kearney; Mark Utting; | Call Number: 004 Int c | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Design and Implementation of High Bandwidth Real-Time Storage System Based on Parallel Computer Architecture (V1-241 -- V1-245)
Author: Nan Li Hui Xu Wei Yi Xin Xu Hongshan Nie; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Computers and written texts/edited by christopher S. Butler
Call Number: 402.85 Com | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An introduction to simulation using SIMSCRIPT II.5/ Averill M. Law and Christopher S. Larmey
Author: Law, Averill M.; | Call Number: 005.133 Law a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Computer literacy: issues and directions for 1985/ edited by Robert J. Seidel
Call Number: 371.394 45 Com c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Knowledge engineering in computer-aided design/ edited by J.S. Gero
Call Number: 620.004 Kno | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Robot vision/ edited by Alan Pugh
Author: Pugh, Alan; | Call Number: 629.892 Pug r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   6 7 8 9 10 11 12 13 14 15  Next