| Your search for 804 returns 7450 document(s) |
| Introduction to logic programming |
|
Author: Hogger, Christopher John; | Call Number: 004.61 Hog i | Type: Buku Pusat
|
|
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
|
| Symbolic analysis for automated design of analog integrated circuits/Georges Gielen |
|
Author: Gielen, Georges; | Call Number: 621.381 Gie s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis and design of digital circuits and computer systems/ Paul M. chirlian |
|
Author: Chirlian, Paul M; | Call Number: 621.381 9 Chi a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
| Digital system design LSI BIT-slice logic/ Glenford J. Myers |
|
Author: Myers, Glenford J.; | Call Number: 621.395 Mye d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol.2 deductive system |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | 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
|
| Digital fundamentals 7th ed. |
|
Author: Floyd, Thomas L.; | Call Number: 621.395 Flo d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result