Reasoning About Knowledge
Autor Ronald Fagin et al.
5 feb 2004
Paperback
Preț: 372.13 lei 432.72 lei
3-5 săpt. | 4-10 zile
-14%
Cărți de Moshe Y Vardi
Finite Model Theory and Its Applications
Autor Erich Grädel et al.
24 apr 2007
Hardback
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
Editat de Doron A. Peled et al.
28 oct 2002
Paperback
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
Editat de Alan J. Hu et al.
3 iun 1998
Paperback
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
Editat de Georg Gottlob et al.
3 ian 1995
Paperback
Preț: 334.43 lei 418.04 lei
6-8 săpt.
-20%