Your search for 36849 returns 2405 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
|
The Practice of cloud system administration: designing and operating large distributed systems vol. 2 |
Author: Limoncelli, Thomas A.; | Call Number: 004.67 Lim p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Library information systems: from library automation to distributed information access solutions/ Thomas R. Kochtanek |
Author: Kochtaniek, Thomas R.; | Call Number: 025.3 Koc l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Distributed computer control systems 1981: proceedings of the third IFAC workshop, Beijing, China, 15-17 Agust 1981 |
Call Number: 629.895 Dis | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings international symposium on software engineering for parallel and distributed systems PDSE2000 10-11 2000 |
Call Number: SEM-295 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings of the third workshop on future trends of distributed computing systems April 14-26, 1992 |
Call Number: SEM-165 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Prediction-Capable Data Compression Algorithms for Improving Transmission Efficiency on Distributed Systems (654-661) |
Author: Hann-Huei Chiou
Alexander I-Chi Lai
Chin-Laung Lei; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computer system performance modelling |
Author: Sauer, Charles H.; | Call Number: 004 Sau c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Artificial intelligence simulation and modelling. |
Author: edited by. Widman, LE, Laparo,kenneth; | Call Number: 006.3 Art | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
N-Poisson document modelling, Hal. 177-189 |
Author: Eugene L. Margulis; | Call Number: SEM-254 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|