Home Advanced Search

Advanced Search - Page 1

Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
  • PDF
  • German
  • Year: 1989
  • Author: Dieter Hofbauer, Ralf-Detlef Kutsche (auth.)
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
  • PDF
  • German
  • Year: 1991
  • Author: Dieter Hofbauer, Ralf-Detlef Kutsche (auth.)
Model-Based Software and Data Integration: First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Miroslaw Malek (auth.), Ralf-Detlef Kutsche, Nikola Milanovic (eds.)
Model-Based Software and Data Integration (Communications in Computer and Information Science, 8)
  • PDF
  • English
  • Year: 2008
  • Author: Ralf-Detlef Kutsche, Nikola Milanovic