| Your search for 25556 returns 1742 document(s) |
| Kamus istilah ilmu dan teknologi : inggris-Indonesia Indonesia-Inggris/ H. Johannes |
|
Author: Johannes, H.; | Call Number: R. 503 Joh k | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Advances in cryptography-Asiacrypt'94 |
|
Call Number: 004 Adv | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The art and craft of computing/S. Ceri; D. Mandriole; L. Sbatella |
|
Author: Ceri, S.; | Call Number: 004 Cer a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings/edited Orna Grunberg |
|
Author: International Conference, CAV'97; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995/Piere Wolper (ed) |
|
Author: International Conference, CAV'95; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rules in database management/editor Timos Sellis |
|
Call Number: 004 Rul | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Extensions of the unity methodology/Josyula Rmachandra Rao |
|
Author: Rao, Josyula R.; | Call Number: 004 Rao e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof, language and interaction: essays in honour of Robin Milner/edited by Gordon Plotkin, Colin Stirling |
|
Call Number: 004 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logics of programs : proceedings 1981 |
|
Call Number: 004 Log | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computers and the collaborative experience of learning |
|
Author: Crook, Charles; | Call Number: 006.3 Cro c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result