Armin Biere – författare
Visar alla böcker från författaren Armin Biere. Handla med fri frakt och snabb leverans.
18 produkter
Tools and Algorithms for the Construction and Analysis of Systems
Inbunden, 2020
881 kr
Lägg i varukorg
Tools and Algorithms for the Construction and Analysis of Systems
Inbunden, 2020
822 kr
Lägg i varukorg
Handbook of Satisfiability
Second Edition
Av Armin Biere, Hans van Maaren m. fl.
Inbunden, 2021
3940 kr
Lägg i varukorg
Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional …
Handbook of Satisfiability
Second Edition
Av Armin Biere, Hans van Maaren m. fl.
2021
3229 kr
Lägg i varukorg
Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional …
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 I
Häftad, 2020
453 kr
Lägg i varukorg
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 Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and …
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
Häftad, 2020
453 kr
Lägg i varukorg
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 Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and …
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Av Armin Biere, Carsten Lutz m. fl.
Häftad, 2026
453 kr
Lägg i varukorg
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 …
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
Av Armin Biere, Carsten Lutz m. fl.
Häftad, 2026
453 kr
Lägg i varukorg
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 …
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
Av Armin Biere, Roderick Bloem
Häftad, 2014
1122 kr
Lägg i varukorg
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 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and …
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
Av Roderick Bloem, Armin Biere
E-bok, 2014
1502 kr
Lägg i varukorg
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 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and …
Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Av Armin Biere, Carla P. Gomes
Häftad, 2006
548 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issues in …
Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Av Carla P. Gomes, Armin Biere
E-bok, 2006
734 kr
Lägg i varukorg
Digitaltechnik - Eine praxisnahe Einführung
Av Armin Biere, Daniel Kröning m. fl.
Häftad, 2008
310 kr
Lägg i varukorg
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: Tool-orientierter Ansatz - Verwendung der Hardwarebeschreibungssprache Verilog - Einführung in …
Digitaltechnik - Eine praxisnahe Einführung
Av Christoph M. Wintersteiger, Georg Weissenbacher m. fl.
E-bok, 2008
263 kr
Lägg i varukorg
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: Tool-orientierter Ansatz - Verwendung der Hardwarebeschreibungssprache Verilog - Einführung in …
Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Av Armin Biere, Amir Nahir m. fl.
Häftad, 2013
520 kr
Lägg i varukorg
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 presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. …
Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Av Tanja Vos, Amir Nahir m. fl.
E-bok, 2013
672 kr
Lägg i varukorg
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 presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. …
