Your search for 31775 returns 3435 document(s) |
Automated deduction - Code 18 18th international conference on automated deduction Copenhagen, Denmark, July 2002 Proceedings |
Author: Voronkv, Andri; | Call Number: 025.04 Vor a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings The 20th IEEE International conference on Distributed Computing Systems Taipei, Taiwan 10-13 April 2000/IEEE Computer Society |
Author: IEEE Computer Society; | Call Number: 004.35 Pro | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings intertelec'88 the 3rd International exhibition and conference on telecommunications and electronic 6-8 April 1988 |
Call Number: SEM-070 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
ICEGOV 2007 MACAO: Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance/ |
Author: Thomasz Janowski; | Call Number: 352.380.28 ICE ( MTI Salemba ) | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012 Essen, Germany, March 2012 Proceedings |
Author: Regnell, Bjorn; | Call Number: 005.1 Reg r | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
ICIAM'91: proceedings of the second International Conference on Industrial and applied mathematics/ edited by Robert E. O'Malley |
Call Number: SEM-144 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic programming: 21st international conference, ICLP 2005 sitges, spain, October 2-5 2005 proceedings |
Author: Gabbrielli, Maurizio; | Call Number: 005.133 Gab l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Cryptography and coding 9th IMA international conference Cirencester, UK December 2003 proceedings/ Kenneth G. Paterson |
Call Number: 005.82 Cry | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Applied cryptography and network security: first international conf. ACNS 2003 Kunning, China, October 16-19, 2003 Proceedings |
Author: Zhou, Jianying; | Call Number: 005.8 Zho a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Advances in information security and assurance: third international conference and workshops, ISA 2009 Seoul, Korea, June 2009 Proceedings |
Call Number: 005.8 Adv | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|