Cărți de Armin Biere

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

Lecture Notes in Computer Science, nr. 12079

Editat de Armin Biere et al.

18 apr 2020

Preț: 278^.32 lei 347^.91 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

Lecture Notes in Computer Science, nr. 8559

Editat de Armin Biere et al.

4 aug 2014

Preț: 664^.43 lei 830^.54 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

Lecture Notes in Computer Science, nr. 7857

Editat de Armin Biere et al.

19 iul 2013

Preț: 298^.84 lei 373^.55 lei

6-8 săpt.

-20%

Digitaltechnik - Eine praxisnahe Einführung

Autor Armin Biere et al.

29 feb 2008

Preț: 182^.72 lei 228^.41 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4121

Editat de Armin Biere et al.

26 iul 2006

Preț: 335^.57 lei 419^.46 lei

6-8 săpt.

-20%