Home Advanced Search

Advanced Search - Page 1

Mathematics for Computation (M4C)
  • PDF
  • English
  • Year: 2023
  • Author: Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster
Mathematics For Computation (m4c)
  • PDF
  • English
  • Year: 2023
  • Author: Marco Benini (editor), Olaf Beyersdorff (editor), Michael Rathjen (editor), Peter Michael Schuster (editor)
Digitale Echtzeitsimulation: Simulation einer Hochspannungs-Gleichstrom-Übertragung
  • PDF
  • German
  • Year: 1993
  • Author: Olaf Rathjen (auth.)
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
Constructive Adpositional Grammars: Foundations of Constructive Linguistics
  • PDF
  • English
  • Year: 2011
  • Author: Federico Gobbo, Marco Benini
Constructive Adpositional Grammars: Foundation of Constructive Linguistics
  • PDF
  • English
  • Year: 2011
  • Author: Federico Gobbo and Marco Benini
The Legacy of Kurt Schütte
  • PDF
  • English
  • Year: 2020
  • Author: Reinhard Kahle, Michael Rathjen
Essential Winetasting: The Complete Practical Winetasting Course
  • EPUB
  • English
  • Year: 2017
  • Author: Schuster, Michael
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.)
search