Cărți de Moshe Y Vardi

Reasoning About Knowledge

A Bradford Book

Autor Ronald Fagin et al.

5 feb 2004

Preț: 372^.13 lei 432^.72 lei

3-5 săpt. | 7-11 zile

-14%

Finite Model Theory and Its Applications

Texts in Theoretical Computer Science. An EATCS Series

Autor Erich Grädel et al.

24 apr 2007

Preț: 588^.61 lei 735^.76 lei

6-8 săpt.

-20%

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Lecture Notes in Computer Science, nr. 2529

Editat de Doron A. Peled et al.

28 oct 2002

Preț: 331^.04 lei 413^.81 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 1427

Editat de Alan J. Hu et al.

3 iun 1998

Preț: 645^.52 lei 806^.89 lei

6-8 săpt.

-20%

Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

Lecture Notes in Computer Science, nr. 893

Editat de Georg Gottlob et al.

3 ian 1995

Preț: 334^.43 lei 418^.04 lei

6-8 săpt.

-20%