Suchergebnisse - Löwe, Michael

Treffer filtern
  1. 1
    Buchumschlag

    Extended algebraic graph transformation
    von Löwe, Michael

    Veröffentlicht 1991
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Mathematical programming via augmented lagrangians: an introduction with computer programs
    von Pierre, Donald Arthur, Lowe, Michael J.

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Dynamics in information systems: specification, construction, and correctness ; an algebraic approach
    von Classen, Ingo, Gogolla, Martin, Löwe, Michael

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Higher order object nets and their application to workflow modeling
    von Löwe, Michael, Wikarski, Dietmar, Han, Yanbo

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    The Korso case study for software engineering with formal methods
    von Cornelius, Felix, Hußmann, Heinrich 1959-2022, Löwe, Michael

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Process modelling and control with higher-order-nets
    von Löwe, Michael, Han, Yanbo

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Ein Fallbeispiel für KorSo: IST-Analyse für HDMS-A
    von Cornelius, Felix, Klar, Marcus, Löwe, Michael

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Implementing algebraic specifications by graph transformation systems
    von Löwe, Michael

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    On the storage capacity of Hopfield models with weakly correlated patterns
    von Löwe, Michael

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Theorie funktionaler Ersetzungssysteme: eine Übersicht
    von Löwe, Michael, Müller, Jürgen

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Dynamic abstract data types based on algebraic graph transformations
    von Ehrig, Hartmut 1944-2016, Löwe, Michael, Orejas, Fernando

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Algebraische Graphersetzung: mathematische Modellierung und Konfluenz
    von Löwe, Michael, Müller, Jürgen

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Parametric algebraic specifications with Gentzen formulas: free functor semantics and correctness
    von Löwe, Michael, Wolter, Uwe

    Veröffentlicht 1992
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Algebraic approach to graph transformation based on single pushout derivations with partial morphisms
    von Löwe, Michael

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Daniel Hoffman
    von Lowe, Michael

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts
    von Ehrig, Hartmut 1944-2016, Korff, Martin, Löwe, Michael

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Parallel and distributed derivations in the single-pushout-approach
    von Ehrig, Hartmut 1944-2016, Löwe, Michael

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Algebraic development of a syntax directed editor
    von Classen, Ingo, Löwe, Michael

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Algebraische Spezifikation in UNIVERS am Beispiel der Struktur eines Versionsgraphen
    von Löwe, Michael 1956-2019

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Business information at work
    von Lowe, Michael

    Veröffentlicht 1999
    Buch


    Gespeichert in:

Suchwerkzeuge: