| Your search for 589 returns 6585 document(s) |
| Logic for applications second edition: graduate texts in computer science |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical theory of program correctness/ Jaco de Bakker |
|
Author: Baker, Jaco de; | Call Number: 005.3 Bak m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Methods in Artificial Intelligence |
|
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to mathematical reasoning/ Boris Iglewicz |
|
Author: Iglewicz, Boris; | Call Number: 511.3 Igl i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order logic and automated proving |
|
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming pearls/Jon Louis Bentley |
|
Author: Bentley, Jon Louis; | Call Number: 005 Ben p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming for artificial intelligence: methods and applications |
|
Author: Kreutzer, Wolfgang; | Call Number: 006.3 Kre p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IMS programming techniques: a guide to using DL/I |
|
Author: Kapp, Dan; | Call Number: 005.74 Kap p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer and languages: theory and practice |
|
Author: Nijholt, Anton; | Call Number: 005.13 Nij c | 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
|
Search Result