Your search for 31775 returns 3433 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
|
Hybrid and real-time systems: international workshop, Hart'97 Grenoble, France, March 26-28, 1997 Proceedings/Oded Maler |
Author: Maler, Oded; | Call Number: 004.33 Mal h | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Allocation under uncertainty equilibrium and optimality: proceedings from a workshop sponsored by International Economic Association/ edited by Jacques H. Dreze |
Author: Dreze, Jacques H.; | Call Number: 330.154 3 Dre a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings of the sixth international workshop on computer-aided software engineering case'93 Singapore July 19-23/editors Hing-Yan Lee |
Call Number: SEM-184 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
SIGIR'96: Proceedings of the 19th annual international ACM SIGIR conference on research and development in information retrieval August 18-22, 1996, Zurich Switzeland |
Call Number: SEM-248 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings 2nd internatinal joint workshop on computer communications at electro-technical laboratories Tsukuba-Japan June 18-201987 |
Call Number: SEM-100 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
SRITI: Proceedings of 2011 4th IEEE international conference on computer science and information technology june 10-12, 2011 chengdu, china |
Call Number: SEM-344 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Indonesia economic outlook 2010 |
Call Number: 330 Ind | Edition: 7th edition / Altermate edition | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings of the fifth international workshop on computer-aided software engineering Montreal, Quebec, Canada July 6-10, 1992/ Editors Gene Forte |
Call Number: SEM-169 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Healthgrid applications and core technologies: proceedings of healthgrid 2010 |
Call Number: 651.5 Hea | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|