Your search for 25608 returns 387 document(s) |
From logic programming to prolog |
Author: Apt, Krzysztof R.; | Call Number: 005.133 Apt f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Fundamentals of digital logic with VHDL design 3rd ed. |
Author: Brown, Stephen; | Call Number: 621.395 Bro f; | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic: a foundation for computer science |
Author: Sperschneider, V.; | Call Number: 004 Spe e | 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
|
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 applications 2nd ed. |
Author: Nerode, Anil; | Call Number: 005.1 Ner l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming with constraints: an introduction/ Kim Marriott |
Author: Marriott, Kim; | Call Number: 005.13 Mar p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computing with logic: logic programming with prolog |
Author: Maier, David; | Call Number: 005.133 Mai c | 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
|
Why prolog?: justifying logic programming for practical applications |
Author: Lazarev, Gregory L.; | Call Number: 006.3 Laz w | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|