Vardi, Moshe Y. books & textbook
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Grädel, Erich Kolaitis, Phokion G. Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y. Venema, Yde Weinstein, Scott
Springer /2007-04-24 Hardcover / 448 Pages
isbn-10: 3540004289 / isbn-13: 9783540004288
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Peled, Doron A. Vardi, Moshe Y.
Springer /2002-10-28 Paperback / 384 Pages
isbn-10: 3540001417 / isbn-13: 9783540001416
Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science, 1427)
Springer /1998-06-03 Paperback / 562 Pages
isbn-10: 3540646086 / isbn-13: 9783540646082
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... (Lecture Notes in Computer Science, 2850)
Springer /2003-09-12 Paperback / 447 Pages
isbn-10: 3540201017 / isbn-13: 9783540201014
Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings (Lecture Notes in Computer Science, 893)
Gottlob, Georg Vardi, Moshe Y.
Springer /1995-01-03 Paperback / 472 Pages
isbn-10: 3540589074 / isbn-13: 9783540589075
Communication of the ACM: Finding the Fun in Computer Science Education [December 2009] (Volume 52)
ACM /2009T Single Issue Magazine / 112 Pages
Conference on Theoretical Aspects of Reasoning about Knowledge
PN /1990T Paperback
Communication of the ACM: Robin Milner: The Elegant Pragmatist [June 2010]
ACM /2010T Single Issue Magazine / 120 Pages
Communication of the ACM: The Singularity System [August 2010] (Volume 53)
ACM /2010T Single Issue Magazine / 128 Pages
Theoretical Aspects of Reasoning Abot Knowledge 1988
Morgan Kaufmann Pub /1988-03-15 Paperback / 402 Pages
isbn-10: 0934613664 / isbn-13: 9780934613668
