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
Digitaltechnik — Eine praxisnahe Einführung
- German
- Year: 2008
- Author: Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
Non-identifier Based Adaptive Control in Mechatronics: Theory and Application
- English
- Year: 2017
- Author: Christoph M. Hackl (auth.)
Dante and Milton : Envisioned Visionaries
- English
- Year: 2016
- Author: Christoph Singer; Christoph Lehner
The Honorable Merchant – Between Modesty and Risk-Taking: Intercultural and Literary Aspects
- English
- Year: 2019
- Author: Christoph Lütge, Christoph Strosetzki
Zwischen Bescheidenheit und Risiko: Der Ehrbare Kaufmann im Fokus der Kulturen
- German-English
- Year: 2017
- Author: Christoph Lütge, Christoph Strosetzki (eds.)
Kirche mit anderen: Bemühungen um die Ökumene in Rumänien
- German
- Year: 2014
- Author: Christoph Klein
Anthropologie im Anthropozän: Theoriebausteine für das 21. Jahrhundert
- German
- Year: 2022
- Author: Christoph Antweiler