| Your search for 24086 returns 1579 document(s) |
| The logic of programming |
|
Author: Hehner, C.R.; | Call Number: 005.1 Heh l | 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
|
| Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
|
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to mathematical programming |
|
Author: Walker, Russel C.; | Call Number: 519.7 Wal i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations : for programming languages/ John C. Mitchell |
|
Author: Mitchell, John C.; | Call Number: 005.131 Mit f | Type: Buku
|
|
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 and knowledge engineering |
|
Author: Amble, Tore; | Call Number: 005.1 Amb l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The deductive foundation of computer programming |
|
Author: Manna, Zohar; | Call Number: 519.7 Man d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational mathematical programming |
|
Call Number: 519.7 Com | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
Search Result