Author books / Книги автора Armin Biere,David Parker » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Armin Biere,David Parker

book 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...

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...

epub

Author: Armin Biere, David Parker
Language: English
Year: 2020

00

13.02.2024

0

0

book Handbook of Satisfiability

Handbook of Satisfiability

pdf

Author: Armin Biere Marijn Heule Hans van Maaren Toby Walsh
Language: English
Year: 2021

00

12.02.2024

0

0

book Handbook of satisfiability

Handbook of satisfiability

pdf

Author: Armin Biere
Language: English
Year: 2021

00

12.02.2024

0

0

book Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

pdf

Author: Armin Biere (auth.) Esra Erdem Fangzhen Lin Torsten Schaub (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik — Eine praxisnahe Einführung

pdf

Author: Prof. Dr. Armin Biere Prof. Dr. Daniel Kroening Georg Weissenbacher Christoph M. Wintersteiger (auth.)
Language: German
Year: 2008

00

06.02.2024

0

0

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

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

pdf

Author: Armin Biere Carla P. Gomes
Language: English
Year: 2006

00

29.01.2024

0

0

book 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

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

pdf

Author: Armin Biere Roderick Bloem (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Digitaltechnik — Eine praxisnahe Einfuhrung

Digitaltechnik — Eine praxisnahe Einfuhrung

pdf

Author: Prof. Dr. Armin Biere Prof. Dr. Daniel Kroening Georg Weissenbacher Christoph M. Wintersteiger (auth.)
Language: German
Year: 2008

00

27.01.2024

0

0

book Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

pdf

Author: David Harel (auth.) Armin Biere Amir Nahir Tanja Vos (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

pdf

Author: Armin Biere (auth.) Kerstin Eder João Lourenço Onn Shehory (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0