| Your search for 14056 returns 6637 document(s) |
| Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematics for computer science/Arnold and I. Guessarian |
|
Author: Arnol, A.; | Call Number: 511.32 Arn m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microcomputers structures |
|
Author: D'Angelo, Henry; | Call Number: 621.391 6 Dan m | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microcomputer Structures |
|
Author: D'Angelo, Henry; | Call Number: 004.16 D'an M | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol. 2: deductive systems |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal logic for proof-carrying code, Hal. 31-46 |
|
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Set theory, logic and their limitations/ Moshe Machover |
|
Author: Macchover, Moshe; | Call Number: 511.322 Mac s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming prolog and its applications/ Bob Kowalski |
|
Author: Kowaslki, Bob; | Call Number: R. 006.3 Kow l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital systems design and prototyping: using field programmabel logic and hardware description languages 2 nd ed |
|
Author: Salcic, Zoran; | Call Number: 621.395 Sal d | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result