search result

Cover von A type-oriented approach to the specification and formal semantics of a distributed, heterogeneous object system
Author: Kutsche, Ralf-Detlef Search for this author
Year: 1994
Publisher: Berlin, TU
Media group: DISSERTATION
Cover von Grundlagen des maschinellen Beweisens
eine Einführung für Informatiker und Mathematiker
Author: Hofbauer, Dieter; Kutsche, Ralf-Detlef Search for this author
Year: 1989
Publisher: Braunschweig, Vieweg
Media group: MONOGRAPHIE
Cover von Model-based software and data integration
first international workshop : Berlin, Germany, April 1 - 3, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Communications in computer and information science; 8
Media group: MONOGRAPHIE
Cover von Fundamental approaches to software engineering
5th international conference, FASE 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002, proceedings
Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2306
Media group: MONOGRAPHIE
Cover von Business Intelligence
4th European Summer School, eBISS 2014, Berlin, Germany, July 6 - 11, 2014, Tutorial Lectures
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in business information processing; 205
Media group: MONOGRAPHIE
Cover von Information Systems
Modeling, Development, and Integration : Third International United Information Systems Conference, Sydney, Australia, April 21 - 24, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in business information processing; 20
Media group: MONOGRAPHIE
OPEN V 11.1.0.0