| Your search for 6599 returns 3548 document(s) |
| The temporal logic of reactive and concurrent systems specification |
|
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for computer computer scientist |
|
Author: Schoning, Uwe; | Call Number: 511.3 Sch l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logic of computer aritmetic |
|
Author: Fores, Ivan; | Call Number: 510.78 Flo l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lectures on the logic of computer programming |
|
Author: Manna, Zohar; | Call Number: 005.1 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for problem solving |
|
Author: Kowalski, Robert; | Call Number: 519.7 Kow 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
|
| Logic design and computer organization |
|
Author: Lewin, Morton H.; | Call Number: 621.395 Lew l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic for computer science |
|
Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital Computer Fundamentals Asian Student 5th ed./ Thomas C. Bartee |
|
Author: Bartee, Thomas C.; | Call Number: 004.61 Bar d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer arithmetic: principles architecture and design/Kai Hwang |
|
Author: Hwang, Kai; | Call Number: 004.22 Hwa c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result