Your search for 27262 returns 4727 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
|