| Your search for 51203 returns 4071 document(s) |
| 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
|
| An invitation to computer science 2nd ed. /G. Michael Schneider Judith |
|
Author: Schneider, G. Michael; | Call Number: 004 Sch i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computers in science and social studies: a sourcebbok of ideas/ edited by David H. Ahl |
|
Call Number: 001.434 Com | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings of the international conference on advanced computer science and information systems (ICACSIS 2010) Bali 20 th-23 rd November 2010 |
|
Call Number: SEM-297 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CSCW'92 sharing perspectives: proceedings of the confrence on computer-supported cooperative work October 31 to November 4 1992 Toronto, Canada/John Turner |
|
Call Number: SEM-180 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Ada: an advanced introduction |
|
Author: Gehani, Narain; | Call Number: 005.133 Geh a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result