Home Advanced Search

Advanced Search - Page 1

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984
  • PDF
  • English
  • Year: 1984
  • Author: Ronald Fagin, Moshe Y. Vardi (auth.), Jan Paredaens (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)
Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)
Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Moshe Y. Vardi (auth.), Thomas Eiter, Leonid Libkin (eds.)
Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Nicolas Halbwachs (auth.), Alan J. Hu, Moshe Y. Vardi (eds.)
Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)
Communications of the ACM - September 2016
  • PDF
  • English
  • Year: 2016
  • Author: Moshe Y. Vardi (Editor-in-Chief)
ICDT '90: Third International Conference on Database Theory Paris, France, December 12–14, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Ronald Fagin (auth.), Serge Abiteboul, Paris C. Kanellakis (eds.)
Data Structures of Pascal, Algol 68, PL/1 and Ada
  • PDF
  • English
  • Year: 1986
  • Author: Johan Lewi, Jan Paredaens (auth.)
search