6 Ebooks by Armin Biere
Armin Biere & Roderick Bloem: Computer Aided Verification
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July …
PDF
Inggeris
DRM
€114.58
Armin Biere & Carla P. Gomes: Theory and Applications of Satisfiability Testing – SAT 2006
…
PDF
Inggeris
DRM
€57.76
Armin Biere & Daniel Kroning: Digitaltechnik – Eine praxisnahe Einführung
Dieses Einführungswerk in die Digitaltechnik wurde speziell für Bachelorstudenten entwickelt. Es enthält viele auf den Anfänger zugeschnittene praktische Anwendungen. Folgende Aspekte sind einmalig: …
PDF
Jerman
DRM
€21.33
Armin Biere & Amir Nahir: Hardware and Software: Verification and Testing
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presente …
PDF
Inggeris
DRM
€51.48
Armin Biere & David Parker: Tools and Algorithms for the Construction and Analysis of Systems
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in …
PDF
Inggeris
DRM
€3.85
Armin Biere & David Parker: Tools and Algorithms for the Construction and Analysis of Systems
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in …
PDF
Inggeris
DRM
€3.85
