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