Search Result Save to File Save as CSV
Your search for 14056 returns 6637 document(s)
Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199
Author: Leslie Lamport 1; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138
Author: William P. de Roever; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Simulation of computer communication systems
Author: Sauer, Charles; | Call Number: 004.65 Sau s | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Digital networks and computer systems
Author: Booth, Taylor L.; | Call Number: 004 Boo d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Natural language understanding and logic progrmming II
Call Number: 006.35 Nat | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Klasifikasi mangga lokal menggunakan fuzzy logic, Hal. 281-285
Author: M. Rahmat Widyanto; Priandhana Edi Kresnha; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Logic and data bases/edied by Herber Gallaire
Call Number: 005.74 Log | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The logical basis for computer programming vol.2 deductive system
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Simulating computer systems: techniques and tools
Author: MacDougall, Myron H.; | Call Number: 003.3 Mac s | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Computer systems architecture 2nd ed.
Author: Mano, M. Morris; | Call Number: 004.22 Man c | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   9 10 11 12 13 14 15 16 17 18  Next