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
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)
Urogenital Imaging (Direct Diagnosis in Radiology)
  • PDF
  • English
  • Year: 2008
  • Author: Bernd Hamm, Patrick Asbach, Dirk Beyersdorff, Patrick Hein, Uta Lemke
Aesthetic Individualism and Practical Intellect_American allegory in Emerson, Thoreau, Adams, and James
  • PDF
  • English
  • Year: 2016
  • Author: Olaf Hansen
Fehlerkorrigierende Codes: Konstruieren, Anwenden, Decodieren
  • PDF
  • German
  • Year: 2017
  • Author: Olaf Manz
Landscape and Power in Geographical Space as a Social-Aesthetic Construct
  • PDF
  • English
  • Year: 2018
  • Author: Olaf Kühne
search