| Your search for 26013 returns 2026 document(s) |
| 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
|
| Statistics for the social science second ed/ Wiliam L. Hays |
|
Author: Hays, William L.; | Call Number: 300 Hay s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Visual modeling with rational rose 2002 and UML/Terry Quatrani |
|
Author: Quatrani, Terry; | Call Number: 006.66 Qua v | Edition: 2003 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| File structure/Michael J. Folk; Bill Zoellick |
|
Author: Folk, Michael J.; | Call Number: 005.74 Fol f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result