Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing – SAT 2018

PDF
English
Year: 2018
Author: Olaf Beyersdorff, Christoph M. Wintersteiger

Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

PDF
English
Year: 2018
Author: Beyersdorff, Olaf; Wintersteiger, Christoph M

Digitaltechnik — Eine praxisnahe Einführung

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

Digitaltechnik — Eine praxisnahe Einfuhrung

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

Mathematics for Computation (M4C)

PDF
English
Year: 2023
Author: Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster

Lectures on Logic and Computation: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

PDF
English
Year: 2012
Author: Olaf Beyersdorff, Oliver Kutz (auth.), Nick Bezhanishvili, Valentin Goranko (eds.)

Lectures on Logic and Computation: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

PDF
English
Year: 2012
Author: Olaf Beyersdorff, Oliver Kutz (auth.), Nick Bezhanishvili, Valentin Goranko (eds.)

Mathematics For Computation (m4c)

PDF
English
Year: 2023
Author: Marco Benini (editor), Olaf Beyersdorff (editor), Michael Rathjen (editor), Peter Michael Schuster (editor)

Perspektiven der Jungenarbeit: Konzepte und Impulse aus der Praxis

PDF
German
Year: 2003
Author: Olaf Jantz, Christoph Grote (auth.), Olaf Jantz, Christoph Grote (eds.)

Die Entwicklung des Systems Erde

PDF
German
Year: 2016
Author: Olaf Elicki, Christoph Breitkreuz (auth.)