| Your search for 7116 returns 5596 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
|
| 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
|
| Requirements analysis and system design developing information systems with UML/ Leszek A. Maciaszek |
|
Author: Maciaszek Leszek A.; | Call Number: 005.1 Mac r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Systems analysis and design with UML: an object-oriented approach 3rd ed. |
|
Author: Dennis, Alan; | Call Number: 004.21 Den s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result