Digitaltechnik - Eine praxisnahe Einführung Autor Armin Biere et al. 29 feb 2008 Paperback Preț: 178.58 lei 223.22 lei 6-8 săpt. -20%
Theory and Applications of Satisfiability Testing - SAT 2006 Editat de Armin Biere et al. 26 iul 2006 Paperback Preț: 330.15 lei 412.69 lei 6-8 săpt. -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ț: 275.08 lei 343.84 lei 6-8 săpt. -20%
Computer Aided Verification Lecture Notes in Computer Science, nr. 8559 Editat de Armin Biere et al. 4 aug 2014 Paperback Preț: 655.23 lei 819.04 lei 6-8 săpt. -20%
Hardware and Software: Verification and Testing Editat de Armin Biere et al. 19 iul 2013 Paperback Preț: 294.52 lei 368.14 lei 6-8 săpt. -20%