Home Advanced Search

Advanced Search - Page 1

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
Digitaltechnik — Eine praxisnahe Einführung
  • PDF
  • German
  • Year: 2008
  • Author: Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
Digitaltechnik — Eine praxisnahe Einfuhrung
  • PDF
  • German
  • Year: 2008
  • Author: Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
Germany and the League of Nations
  • PDF
  • English
  • Year: 1976
  • Author: Christoph M. Kimmich
Geometric and solid modeling
  • PDF
  • English
  • Year: 1989
  • Author: Christoph M. Hoffmann
Non-identifier Based Adaptive Control in Mechatronics: Theory and Application
  • PDF
  • English
  • Year: 2017
  • Author: Christoph M. Hackl (auth.)
Group-Theoretic Algorithms and Graph Isomorphism
  • DJVU
  • English
  • Year: 1982
  • Author: Christoph M. Hoffmann (eds.)
Group-Theoretic Algorithms and Graph Isomorphism
  • PDF
  • English
  • Year: 1982
  • Author: Christoph M. Hoffmann (eds.)
Group-Theoretic Algorithms and Graph Isomorphism
  • PDF
  • English
  • Year: 1982
  • Author: Christoph M. Hoffmann (eds.)
search