| Your search for 29052 returns 2712 document(s) |
| Automated reasoing: 33 basic research problems |
|
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering with modula-2 and ada/ Richard Wiener |
|
Author: Weiner, Richard; | Call Number: 004.61 Wei s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to software quality control |
|
Author: Cho, Chin-Kuei; | Call Number: 005.1 Cho i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data structures & program design 2nd ed/ Robert L. Kruse |
|
Author: Kruse, Robert L.; | Call Number: 005.1 Kru d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data structures and program design in C/Robert L. Kruse |
|
Author: Kruse, Robert L.; | Call Number: 005.1 Kru d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fortran 77: an introduction to structured problem solving/ V.A. Dyck |
|
Author: Dyck, V.A.; | Call Number: 005.133 Dyc a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to computing: structured problem solving using WATFIV-S/ VA Dyck |
|
Author: Dyck, VA; | Call Number: 005.133 Dyc i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated reasoning: introduction and applications/ Larry Wos |
|
Author: Woss, Larry; | Call Number: 006.3 Aut | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated reasoning: 33 basic research problems/Larry Wos |
|
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms: their complexity and efficiency 2nd ed./Lydia Kronsjo |
|
Author: Kronsjo, Lydia; | Call Number: 511 Kro a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result