Search Result
Save to File
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