Home Advanced Search
Advanced Search - Page 1
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
- English
- Year: 2018
- Author: Beyersdorff, Olaf; Wintersteiger, Christoph M
Theory and Applications of Satisfiability Testing – SAT 2018
- English
- Year: 2018
- Author: Olaf Beyersdorff, Christoph M. Wintersteiger
Mathematics for Computation (M4C)
- English
- Year: 2023
- Author: Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster
Mathematics For Computation (m4c)
- English
- Year: 2023
- Author: Marco Benini (editor), Olaf Beyersdorff (editor), Michael Rathjen (editor), Peter Michael Schuster (editor)
Sozialgeschichte Erlanger Professoren 1743-1933
- German
- Year: 2001
- Author: Olaf Willett
The Baltic States under Stalinist Rule
- English
- Year: 2016
- Author: Olaf Mertelsmann
Beschimpft Österreich!: Der Skandal um die Staatspreisrede Thomas Bernhards im März 1968
- German
- Year: 2016
- Author: Olaf Lahayne
Shimon An-Ski: Der Khurbn in Polen, Galizien und der Bukowina: Tagebuchaufzeichnungen aus dem Ersten Weltkrieg.
- German
- Year: 2019
- Author: Olaf Terpitz
Yiddish and the Field of Translation: Agents, Strategies, Concepts and Discourses across Time and Space. In cooperation with Marianne Windsperger
- English
- Year: 2020
- Author: Olaf Terpitz