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%
Cărți de Armin Biere
Theory and Applications of Satisfiability Testing - SAT 2006
Editat de Armin Biere et al.
26 iul 2006
Paperback
Preț: 329.14 lei 411.42 lei
6-8 săpt.
-20%
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Editat de Armin Biere et al.
4 aug 2014
Paperback
Preț: 649.69 lei 812.12 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
Editat de Armin Biere et al.
18 apr 2020
Paperback
Preț: 272.35 lei 340.44 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Editat de Armin Biere et al.
19 iul 2013
Paperback
Preț: 292.40 lei 365.50 lei
6-8 săpt.
-20%
Handbook of Satisfiability
Editat de Armin Biere et al.
19 mai 2021
Hardback
Preț: 1888.61 lei 2075.39 lei
3-5 săpt. | 6-10 zile
-9%