Moshe Y. Vardi – författare

Visar alla böcker från författaren Moshe Y. Vardi. Handla med fri frakt och snabb leverans.

7 produkter

1. 

   Formal Techniques for Networked and Distributed Systems - FORTE 2002

   22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

   Av Doron A. Peled, Moshe Y. Vardi

   Häftad, 2002

   566 kr

   Lägg i varukorg

   The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and …

2. 

   Finite Model Theory and Its Applications

   Av Erich Grädel, Phokion G. Kolaitis m. fl.

   Inbunden, 2007

   1014 kr

   Lägg i varukorg

   Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our …

3. 

   Formal Techniques for Networked and Distributed Systems - FORTE 2002

   22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

   Av Moshe Y. Vardi, Doron A. Peled

   E-bok, 2003

   755 kr

   Lägg i varukorg

   The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and …

4. 

   Database Theory - ICDT '95

   5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

   Av Georg Gottlob, Moshe Y. Vardi

   Häftad, 1995

   566 kr

   Lägg i varukorg

   This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995.Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total …

5. 

   Computer Aided Verification

   10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

   Av Alan J. Hu, Moshe Y. Vardi

   Häftad, 1998

   1126 kr

   Lägg i varukorg

   This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included …

6. 

   Finite Model Theory and Its Applications

   Av Scott Weinstein, Yde Venema m. fl.

   E-bok, 2007

   1141 kr

   Lägg i varukorg

   Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our …

7. 

   Finite Model Theory and Its Applications

   Av Erich Grädel, Phokion G. Kolaitis m. fl.

   Häftad, 2014

   846 kr

   Lägg i varukorg

   Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our …