Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings Vardi Moshe Heftet / 2003 / Engelsk
Database Theory - ICDT '95 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings Gottlob Georg Heftet / 1995 / Engelsk
Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings Peled Doron A. Heftet / 2002 / Engelsk
Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings Hu Alan J. Heftet / 1998 / Engelsk
