| Your search for 3856 returns 723 document(s) |
| Introduction to logic |
|
Author: Pospesel, Howard; | Call Number: 511.3 Pos i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic |
|
Author: Kleene, Stephen Cole; | Call Number: 511.3 Kle m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Logic programming |
|
Call Number: 005.115 Log | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computing logic with logic programming with prolog |
|
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku Pusat
|
|
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
|
| Algorithms: Sequential, Parallel, and Distributed/ Kenneth A. Berman and Jerome L. Paul |
|
Author: Berman, Kenneth A.; | Call Number: 005.1 Ber a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software specification and design: a disciplined approach for real-time systems/Kenneth C. Shumate |
|
Author: Shumate, Kenneth C.; | Call Number: 004.33 Shu s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Turotial a pragmatic view of distributed processing systems/ Kenneth J. Thurber |
|
Author: Thurber, Kenneth J.; | Call Number: 004.36 Thu t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of sequential and parallel algorithms/Kenneth A. Berman ; Jerome L. Paul |
|
Author: Berman, Kenneth A.; | Call Number: 005.1 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result