Books By Vardi, Moshe Y.

1.

Logic for Programming, Artificial Intelligence, and Reasoning

10th International Conference, LPAR 2003,...

ISBN:: 978-3-540-20101-4

Book Format:: Paperback

List Price:: AUD $204.95

Publisher:: Springer

Publication Date:: Jan 2003

2.

Database Theory - ICDT '95

Proceedings of the 5th International...

ISBN:: 978-0-387-58907-7

Book Format:: Paperback

List Price:: Contact Supplier contact

Publisher:: Springer

Publication Date:: Jan 1995

3.

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6. 1 International Conference...

ISBN:: 978-3-540-00141-6

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Oct 2002

4.

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6. 1 International Conference...

ISBN:: 978-3-540-36135-0

Book Format:: Ebook

List Price:: USD $109.00

Publisher:: Springer

Publication Date:: Jun 2003

5.

Database Theory - ICDT '95

Proceedings of the 5th International...

ISBN:: 978-0-387-58907-7

Book Format:: Paperback

List Price:: USD $68.00

Publisher:: Springer

Publication Date:: Jan 1995

6.

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6. 1 International Conference...

ISBN:: 978-3-540-36135-0

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Springer

Publication Date:: Jan 2003

7.

Computer Aided Verification

10th International Conference, CAV'98,...

ISBN:: 978-3-540-69339-0

Book Format:: Ebook

List Price:: USD $149.00

Publisher:: Springer

Publication Date:: Apr 2006

8.

Reasoning about Knowledge

Author:: Fagin, Ronald
Halpern, Joseph Y.
Moses, Yoram
Vardi, Moshe Y.

ISBN:: 978-0-262-06162-9

Book Format:: Hardback

List Price:: AUD $177.00

Publisher:: MIT Press

Publication Date:: Sep 1995

9.

Finite Model Theory and Its Applications

Author:: Grädel, Erich
Kolaitis, Phokion G.
Libkin, Leonid
Marx, Maarten
Spencer, Joel
Vardi, Moshe Y.
Venema, Yde
Weinstein, Scott

ISBN:: 978-3-642-43860-8

Book Format:: Paperback

List Price:: USD $109.00

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Oct 2014

10.

Database Theory - Icdt '95

5th International Conference, Prague, Czech...

ISBN:: 978-3-540-58907-5

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Jan 1995

11.

Finite-Model Theory and Its Applications

Author:: Vardi, Moshe Y.

ISBN:: 978-3-540-00428-8

Book Format:: Hardback

List Price:: USD $99.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Apr 2007

12.

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6. 1 International Conference...

ISBN:: 978-3-540-00141-6

Book Format:: Paperback

List Price:: AUD $180.95

Publisher:: Springer

Publication Date:: Jan 2002

13.

Finite Model Theory and Its Applications

Author:: Grädel, Erich
Kolaitis, Phokion G.
Libkin, Leonid
Marx, Maarten
Spencer, Joel
Vardi, Moshe Y.
Venema, Yde
Weinstein, Scott

ISBN:: 978-3-642-43860-8

Book Format:: Paperback

List Price:: AUD $170.95

Publisher:: Springer

Publication Date:: Oct 2014

14.

Finite Model Theory and Its Applications

Author:: Grädel, Erich
Kolaitis, Phokion G.
Libkin, Leonid
Marx, Maarten
Spencer, Joel
Vardi, Moshe Y.
Venema, Yde
Weinstein, Scott
Grädel, Erich

ISBN:: 978-3-540-68804-4

Book Format:: Ebook

List Price:: USD $109.00

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Jun 2007

15.

Database Theory - ICDT '95

5th International Conference, Prague, Czech...

ISBN:: 978-3-540-49136-1

Book Format:: Ebook

List Price:: USD $129.00

Publisher:: Springer

Publication Date:: Jan 2006

16.

Logic for Programming, Artificial Intelligence, and Reasoning

10th International Conference, LPAR 2003,...

ISBN:: 978-3-540-20101-4

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Sep 2003

17.

Database Theory - Icdt '95

5th International Conference, Prague, Czech...

ISBN:: 978-3-540-58907-5

Book Format:: Paperback

List Price:: AUD $203.95

Publisher:: Springer

Publication Date:: Jan 1995

18.

Reasoning about Knowledge

Author:: Fagin, Ronald
Halpern, Joseph Y.
Moses, Yoram
Vardi, Moshe Y.

ISBN:: 978-0-262-06162-9

Book Format:: Hardback

List Price:: USD $75.00

Publisher:: MIT Press

Publication Date:: Aug 1995

19.

Finite-Model Theory and Its Applications

Author:: Vardi, Moshe Y.

ISBN:: 978-3-540-00428-8

Book Format:: Hardback

List Price:: AUD $170.95

Publisher:: Springer

Publication Date:: Jan 2007

Books » Vardi, Moshe Y. Books » Books-By

Related Keywords

Refine Options

Featured Books


1.		Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003,... ISBN: 978-3-540-20101-4 Book Format: Paperback List Price: AUD $204.95 Publisher: Springer Publication Date: Jan 2003 Quantity Note

2.		Database Theory - ICDT '95 Proceedings of the 5th International... ISBN: 978-0-387-58907-7 Book Format: Paperback List Price: Contact Supplier contact Publisher: Springer Publication Date: Jan 1995 Quantity Note

3.		Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6. 1 International Conference... ISBN: 978-3-540-00141-6 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Oct 2002 Quantity Note

4.		Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6. 1 International Conference... ISBN: 978-3-540-36135-0 Book Format: Ebook List Price: USD $109.00 Publisher: Springer Publication Date: Jun 2003 Quantity Note

5.		Database Theory - ICDT '95 Proceedings of the 5th International... ISBN: 978-0-387-58907-7 Book Format: Paperback List Price: USD $68.00 Publisher: Springer Publication Date: Jan 1995 Quantity Note

6.		Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6. 1 International Conference... ISBN: 978-3-540-36135-0 Book Format: Ebook List Price: Contact Supplier contact Publisher: Springer Publication Date: Jan 2003 Quantity Note

7.		Computer Aided Verification 10th International Conference, CAV'98,... ISBN: 978-3-540-69339-0 Book Format: Ebook List Price: USD $149.00 Publisher: Springer Publication Date: Apr 2006 Quantity Note

8.		Reasoning about Knowledge Author: Fagin, Ronald Halpern, Joseph Y. Moses, Yoram Vardi, Moshe Y. ISBN: 978-0-262-06162-9 Book Format: Hardback List Price: AUD $177.00 Publisher: MIT Press Publication Date: Sep 1995 Quantity Note

9.		Finite Model Theory and Its Applications Author: Grädel, Erich Kolaitis, Phokion G. Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y. Venema, Yde Weinstein, Scott ISBN: 978-3-642-43860-8 Book Format: Paperback List Price: USD $109.00 Publisher: Springer Berlin / Heidelberg Publication Date: Oct 2014 Quantity Note

10.		Database Theory - Icdt '95 5th International Conference, Prague, Czech... ISBN: 978-3-540-58907-5 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Jan 1995 Quantity Note

11.		Finite-Model Theory and Its Applications Author: Vardi, Moshe Y. ISBN: 978-3-540-00428-8 Book Format: Hardback List Price: USD $99.99 Publisher: Springer Berlin / Heidelberg Publication Date: Apr 2007 Quantity Note

12.		Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6. 1 International Conference... ISBN: 978-3-540-00141-6 Book Format: Paperback List Price: AUD $180.95 Publisher: Springer Publication Date: Jan 2002 Quantity Note

13.		Finite Model Theory and Its Applications Author: Grädel, Erich Kolaitis, Phokion G. Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y. Venema, Yde Weinstein, Scott ISBN: 978-3-642-43860-8 Book Format: Paperback List Price: AUD $170.95 Publisher: Springer Publication Date: Oct 2014 Quantity Note

14.		Finite Model Theory and Its Applications Author: Grädel, Erich Kolaitis, Phokion G. Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y. Venema, Yde Weinstein, Scott Grädel, Erich ISBN: 978-3-540-68804-4 Book Format: Ebook List Price: USD $109.00 Publisher: Springer Berlin / Heidelberg Publication Date: Jun 2007 Quantity Note

15.		Database Theory - ICDT '95 5th International Conference, Prague, Czech... ISBN: 978-3-540-49136-1 Book Format: Ebook List Price: USD $129.00 Publisher: Springer Publication Date: Jan 2006 Quantity Note

16.		Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003,... ISBN: 978-3-540-20101-4 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Sep 2003 Quantity Note

17.		Database Theory - Icdt '95 5th International Conference, Prague, Czech... ISBN: 978-3-540-58907-5 Book Format: Paperback List Price: AUD $203.95 Publisher: Springer Publication Date: Jan 1995 Quantity Note

18.		Reasoning about Knowledge Author: Fagin, Ronald Halpern, Joseph Y. Moses, Yoram Vardi, Moshe Y. ISBN: 978-0-262-06162-9 Book Format: Hardback List Price: USD $75.00 Publisher: MIT Press Publication Date: Aug 1995 Quantity Note

19.		Finite-Model Theory and Its Applications Author: Vardi, Moshe Y. ISBN: 978-3-540-00428-8 Book Format: Hardback List Price: AUD $170.95 Publisher: Springer Publication Date: Jan 2007 Quantity Note