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
Der außergerichtliche Sanierungskonsortialkredit: Haftung des Sanierungskreditkonsortiums und der Sanierungskreditkonsorten bei der Kündigung des Sanierungskonsortialkredites
- German
- Year: 2008
- Author: Hentschel, Olaf M.
Kommutative Algebra
- German
- Year: 2018
- Author: Olaf M. Schnürer
Algebraische D-Moduln
- German
- Year: 2019
- Author: Olaf M. Schnürer
Die Entwicklung des Systems Erde
- German
- Year: 2016
- Author: Olaf Elicki, Christoph Breitkreuz (auth.)
Timescapes of Waiting: Spaces of Stasis, Delay and Deferral
- English
- Year: 2019
- Author: Christoph Singer; Robert Wirth; Olaf Berwald
Digital geoarchaeology: new techniques for interdisciplinary human-environmental research
- EPUB
- English
- Author: Christoph Siart, Markus Forbriger;Olaf Bubenzer
