Reasoning About Knowledge A Bradford Book Autor Ronald Fagin et al. 5 feb 2004 Paperback Preț: 557.57 lei 43-57 zile
Finite Model Theory and Its Applications Texts in Theoretical Computer Science. An EATCS Series Autor Erich Grädel et al. 24 apr 2007 Hardback Preț: 600.75 lei 750.93 lei 43-57 zile -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 Paperback Preț: 337.85 lei 422.31 lei 43-57 zile -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 Paperback Preț: 658.84 lei 823.56 lei 43-57 zile -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 Paperback Preț: 341.30 lei 426.63 lei 43-57 zile -20%