Reasoning About Knowledge A Bradford Book Autor Ronald Fagin et al. 5 feb 2004 Paperback Preț: 536.20 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ț: 577.52 lei 721.90 lei 43-57 zile -20%
Formal Techniques for Networked and Distributed Systems - FORTE 2002 Editat de Doron A. Peled et al. 28 oct 2002 Paperback Preț: 326.68 lei 408.36 lei 43-57 zile -20%
Computer Aided Verification Editat de Alan J. Hu et al. 3 iun 1998 Paperback Preț: 635.65 lei 794.57 lei 43-57 zile -20%
Database Theory - ICDT '95 Editat de Georg Gottlob et al. 3 ian 1995 Paperback Preț: 330.96 lei 413.70 lei 43-57 zile -20%