| Your search for 39710 returns 3102 document(s) |
| The logical basis for computer programming vol. I: deductive reasoning |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The computer modelling of mathematical reasoning/ Alan Bundy |
|
Author: Bundy, Alan; | Call Number: 006.3 Bun c | Edition: Fourth edition [4th ed.] | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The specification of computer programs/Wladyslaw M. Turski |
|
Author: Turski, Wladyslaw M.; | Call Number: 005.1 Tur s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Continuing education center ASIAN Institute of technology 6-16 December 1988 verification of concurrent programs: the temporal framework 6-16 December, 1988/ Zohar Manna; Amir Pnuel I |
|
Call Number: SEM-042 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Instructor's manual to accompany: structure and interpretation of computer programs |
|
Author: Sussman, Julie; | Call Number: 005.133 Sus s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Flow analysis of computer programs/ Matthew S. Hecht |
|
Author: Hecht, Matthew S.; | Call Number: 005.1 Hec f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structure and interpretation of computer programs/ Harold Abelson |
|
Author: Abelson, Harold; | Call Number: 005.133 Abe s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer programs for building cost appraisal/Peter S. Brandon |
|
Author: Brandon, Peter S.; | Call Number: 005.36 Bra c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interactive computer programs for education/ Jurg Nievergelt |
|
Author: Nievergelt, Jurg; | Call Number: 371.3 Nie i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer programs for machine design/ Robert J. Wenzel |
|
Author: Wenzel, Robert J.; | Call Number: 621.815 Wen c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result