| Your search for 52048 returns 2426 document(s) |
| Distributed object replication strategies for a remote caching architecture, Hal. II.114-II.123 |
|
Author: Avraham Leff; Joe L. Wolf; Philip S. Yu; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tree miner-a data mining tool for asthma patient diagnosis systems, HAL. 1083 |
|
Author: M. Sngeetha; M. Aruna; M. Deepa, P. Tamjesetvy; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Development of Fault Scenario Generator Tool For FlexRay Communication Systems (V1-409 -- V1-413) |
|
Author: Yung-Yuan Chen
Shie-Lung Li
Gene Eu Jan; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed information systems: from client/server to distributed multimedia |
|
Author: Simon, Errol; | Call Number: 005.758 Sim d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Systematic, object-oriented approach towards building a genetic user input validation tool, HAL. 1307-1311 |
|
Author: Mahashweta Das; Sujogya Banerjee; Bigyan Ankur Mukherjee and Praveen Dhanuka; | Call Number: SEM-291B | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Symbolic approach using feature construction capable of acquiring information/ knowledge for building expert systems, page 291 |
|
Author: Raymond L. Major | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic model checking of infinite state systems using presburger arithmetic, (LNCS-Lecture Notes in Computer Science 1254) Hal 400-411 |
|
Author: Tevfik Bultan; Richard Gerber; William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic model checking of infinite state systems using presbuger; arithmetic, (LNCS-Lecture Notes in Computer Science 1254)Hal. 400-411 |
|
Author: Tevfik Bultan; Richard Gerber and William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic controller synthesis for discrete and time systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 1-20 |
|
Author: Eugene Asarin; Oded Maler; Amir Pneuli; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent systems: operating systems database and distributed systems an introduction approach |
|
Author: Bacon, Jean; | Call Number: 005.447 Bac c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result