Cărți de Moshe Y Vardi

Reasoning About Knowledge

A Bradford Book

Autor Ronald Fagin et al.

5 feb 2004

Preț: 536^.20 lei

6-8 săpt.

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Editat de Doron A. Peled et al.

28 oct 2002

Preț: 325^.69 lei 407^.10 lei

6-8 săpt.

-20%

Finite Model Theory and Its Applications

Texts in Theoretical Computer Science. An EATCS Series

Autor Erich Grädel et al.

24 apr 2007

Preț: 577^.57 lei 721^.96 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ț: 328^.29 lei 410^.37 lei

6-8 săpt.

-20%

Computer Aided Verification

Editat de Alan J. Hu et al.

3 iun 1998

Preț: 635^.65 lei 794^.57 lei

6-8 săpt.

-20%