Treffer 1 – 17 von 17 für Suche 'Kutsche, Ralf-Detlef 1955-', Suchdauer: 0,12s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  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
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    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 Fernleihe Bestellen


    Gespeichert in:
  3. 3
    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 Fernleihe Bestellen


    Gespeichert in:
  4. 4
    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    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
    Volltext öffnen
    Buch Fernleihe Bestellen


    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
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    Gespeichert in:
  12. 12
    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 Fernleihe Bestellen


    Gespeichert in:
  13. 13
    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 Fernleihe Bestellen


    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 öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    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 Fernleihe Bestellen


    Gespeichert in:
  16. 16
    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- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    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 Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: