| Your search for 4065 returns 3799 document(s) |
| The art of computer programming vol. 3: sorting and searching |
|
Author: Knuth, Donald E.; | Call Number: 005.1 Knu a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming principles in computer graphics/L. Ammeraal |
|
Author: Ammeraal, L.; | Call Number: 006.66 Amm p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Problem solving and computer programming |
|
Author: Grogono, Peter; | Call Number: 005.133 Gro p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Problem solving and computer programming |
|
Author: Grogono, Peter; | Call Number: 519.4 Gro p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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 for problem solving |
|
Author: Kowalski, Robert; | Call Number: 519.7 Kow i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for applications 2nd ed. |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result