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
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
Digitaltechnik — Eine praxisnahe Einführung
- German
- Year: 2008
- Author: Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)