Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications (IOS Press) Editat de Armin Biere et al. 19 mai 2021 Hardback Preț: 1952.38 lei 2145.47 lei 22-36 zile | 6-12 zile -9%
Theory and Applications of Satisfiability Testing - SAT 2006 Editat de Armin Biere et al. 26 iul 2006 Paperback Preț: 343.33 lei 429.17 lei 43-57 zile -20%
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science, nr. 12079 Editat de Armin Biere et al. 18 apr 2020 Paperback Preț: 286.04 lei 357.54 lei 43-57 zile -20%
Computer Aided Verification Lecture Notes in Computer Science, nr. 8559 Editat de Armin Biere et al. 4 aug 2014 Paperback Preț: 681.55 lei 851.94 lei 43-57 zile -20%
Hardware and Software: Verification and Testing Editat de Armin Biere et al. 19 iul 2013 Paperback Preț: 306.25 lei 382.82 lei 43-57 zile -20%