Treffer 1 - 17 von 17 für Suche 'Kutsche, Ralf-Detlef 1955-', Suchdauer: 0,73s Treffer weiter einschränken
  1. 1
    Model-based semantic conflict analysis for software- and data-integration scenarios

    Model-based semantic conflict analysis for software- and data-integration scenarios von Agt-Rickauer, Henning, Bauhoff, Gregor, Widiker, Jürgen, Kutsche, Ralf-Detlef 1955-, Milanovic, Nikola 1976-

    Veröffentlicht 2009
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Eine Methode zur Spezifikation von Sicherheitsanforderungen mit URL vorgestellt an einem Beispiel aus der medizinischen Forschung

    Eine Methode zur Spezifikation von Sicherheitsanforderungen mit URL vorgestellt an einem Beispiel aus der medizinischen Forschung von Böhning, Christian, Kutsche, Ralf-Detlef 1955-, Schirmer, Ute

    Veröffentlicht 2000
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Grundlagen des maschinellen Beweisens eine Einführung für Informatiker und Mathematiker

    Grundlagen des maschinellen Beweisens eine Einführung für Informatiker und Mathematiker von Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Grundlagen des maschinellen Beweises eine Einführung für Informatiker und Mathematiker

    Grundlagen des maschinellen Beweises eine Einführung für Informatiker und Mathematiker von Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Grundlagen des maschinellen Beweises eine Einführung für Informatiker und Mathematiker

    Grundlagen des maschinellen Beweises eine Einführung für Informatiker und Mathematiker von Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Metamodels and transformations for software and data integration

    Metamodels and transformations for software and data integration von Agt-Rickauer, Henning, Bauhoff, Gregor, Kumpe, Daniel, Kutsche, Ralf-Detlef 1955-, Milanovic, Nikola 1976-, Shtelma, Michael, Widiker, Jürgen

    Veröffentlicht 2010
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Metamodels and transformations for software and data integration

    Metamodels and transformations for software and data integration von Agt-Rickauer, Henning, Bauhoff, Gregor, Kumpe, Daniel, Kutsche, Ralf-Detlef 1955-, Milanovic, Nikola 1976-, Shtelma, Michael, Widiker, Jürgen

    Veröffentlicht 2010
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Objektbasierte Integration einer externen heterogenen Informationsbasis computergestützte Informationssysteme am Fachbereich 13 (Informatik) der Technischen Universität Berlin

    Objektbasierte Integration einer externen heterogenen Informationsbasis computergestützte Informationssysteme am Fachbereich 13 (Informatik) der Technischen Universität Berlin von Busse, Susanne 1971-, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1997
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Informationsmodellierung im Rahmen eines Umweltinformationssystems CIS, computergestützte Informationssysteme am Fachbereich 13 (Informatik) der Technischen Universität Berlin

    Informationsmodellierung im Rahmen eines Umweltinformationssystems CIS, computergestützte Informationssysteme am Fachbereich 13 (Informatik) der Technischen Universität Berlin von Kutsche, Ralf-Detlef 1955-, Schöning, Carsten, Wasserroth, Susanne

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A type-oriented approach to the specification and formal semantics of a distributed, heterogeneous object system

    A type-oriented approach to the specification and formal semantics of a distributed, heterogeneous object system von Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1994
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Grundlagen des maschinellen Beweisens eine Einführung für Informatiker und Mathematiker

    Grundlagen des maschinellen Beweisens eine Einführung für Informatiker und Mathematiker von Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Proving inductive theorems based on term rewriting systems

    Proving inductive theorems based on term rewriting systems von Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Completeness proofs for logic programming refutations and derivations for ground clauses

    Completeness proofs for logic programming refutations and derivations for ground clauses von Siefkes, Dirk 1938-2016, Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Big Data Management and Analytics 9th European Summer School, eBISS 2019, Berlin, Germany, June 30 – July 5, 2019, Revised Selected Papers

    Big Data Management and Analytics 9th European Summer School, eBISS 2019, Berlin, Germany, June 30 – July 5, 2019, Revised Selected Papers

    Veröffentlicht 2020
    Weitere Verfasser: “… Kutsche, Ralf-Detlef 1955- …”

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008 ; Proceedings

    Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008 ; Proceedings

    Veröffentlicht 2008
    Weitere Verfasser: “… Kutsche, Ralf-Detlef 1955- …”
    DE-634
    DE-M347
    DE-473
    DE-703
    DE-706
    DE-355
    DE-739
    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  16. 16
    4. Workshop "Föderierte Datenbanken" Berlin, November 1999

    4. Workshop "Föderierte Datenbanken" Berlin, November 1999

    Veröffentlicht 1999
    Weitere Verfasser: “… Kutsche, Ralf-Detlef 1955- …”
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Big data management and analytics 9th European Summer School, eBISS 2019, Berlin, Germany, June 30-July 5, 2019: revised selected papers

    Big data management and analytics 9th European Summer School, eBISS 2019, Berlin, Germany, June 30-July 5, 2019: revised selected papers

    Veröffentlicht 2020
    Weitere Verfasser: “… Kutsche, Ralf-Detlef 1955- …”
    Inhaltsverzeichnis
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: