Home Advanced Search

Advanced Search - Page 1

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.)
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 (Communications in Computer and Information Science, 8)
  • PDF
  • English
  • Year: 2008
  • Author: Ralf-Detlef Kutsche, Nikola Milanovic
Design Research Now: Essays and Selected Projects
  • PDF
  • English
  • Year: 2007
  • Author: Ralf Michel (auth.), Ralf Michel (eds.)
Functional, Object-Oriented, and Concurrent Programming
  • EPUB
  • English
  • Year: 2023
  • Author: Michel Charpentier