Suchergebnisse - Kutsche, Ralf-Detlef 1955-

  • Treffer 1 – 17 von 17
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1994
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    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


    Gespeichert in:
  5. 5
    Buchumschlag

    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


    Gespeichert in:
  6. 6
    Buchumschlag

    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


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    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
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    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


    Gespeichert in:
  10. 10
    Buchumschlag

    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
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    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
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 2008
    Weitere beteiligte Personen: “… Kutsche, Ralf-Detlef 1955- …”
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    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 beteiligte Personen: “… Kutsche, Ralf-Detlef 1955- …”
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

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

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


    Gespeichert in:
  17. 17
    Buchumschlag

    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 beteiligte Personen: “… Kutsche, Ralf-Detlef 1955- …”
    Inhaltsverzeichnis
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: