Search Results - Schmitz, Lothar 1949-

  • Showing 1 – 17 results of 17
Filter by
  1. 1
    Cover Image

    Establishing properties of frameworks and their applications: a case study using alloy and object-z
    by Heger, Christian, Schmitz, Lothar 1949-

    Published 2009
    Read online (freely available)
    Table of Contents
    Book


    Saved in:
  2. 2
    Cover Image

    Watching the objects within a compiler
    by Schmitz, Lothar 1949-

    Published 1991
    Book


    Saved in:
  3. 3
    Cover Image

    Zur Gestaltung und Implementierung einiger rechnergestützter Lernwerkzeuge
    by Schmitz, Lothar 1949-

    Published 1990
    Book


    Saved in:
  4. 4
    Cover Image

    Syntaxbasierte Programmierwerkzeuge
    by Schmitz, Lothar 1949-

    Published 1995
    Table of Contents
    Book


    Saved in:
  5. 5
    Cover Image

    Class inheritance and program transformations
    by Schmitz, Lothar 1949-

    Published 1990
    Book


    Saved in:
  6. 6
    Cover Image

    Wiederverwendbarkeit in Ada und Smalltalk: Vergleich an einem Beispiel aus der Bürowelt
    by Schmitz, Lothar 1949-

    Published 1989
    Book


    Saved in:
  7. 7
    Cover Image

    An efficient recognizer for the Boolean closure of context-free languages
    by Heilbrunner, Stephan 1947-1996, Schmitz, Lothar 1949-

    Published 1988
    Book


    Saved in:
  8. 8
    Cover Image

    Rigorous derivation of a sophisticated algorithm: smoothshort
    by Furbach, Ulrich 1948-, Schmitz, Lothar 1949-

    Published 1983
    Book


    Saved in:
  9. 9
    Cover Image

    Theorie kettenfreier LR-Zerteiler
    by Schmitz, Lothar 1949-

    Published 1982
    Thesis/Dissertation Book


    Saved in:
  10. 10
    Cover Image

    An improved transitive closure algorithm
    by Schmitz, Lothar 1949-

    Published 1982
    Book


    Saved in:
  11. 11
    Cover Image

    Rigorous program development with control abstractions: a case study
    by Schmitz, Lothar 1949-

    Published 1996
    Book


    Saved in:
  12. 12
    Cover Image

    SIC '95 report and user manual
    by Schmitz, Lothar 1949-, Schulter, Frank, Laak, Jens van

    Published 1995
    Book


    Saved in:
  13. 13
    Cover Image

    Exploring Ada concepts and techniques
    by Heilbrunner, Stephan 1947-1996, Mast, Andreas, Schmitz, Lothar 1949-

    Published 1987
    Book


    Saved in:
  14. 14
    Cover Image

    Adapting the Early-Harrison algorithm to a class of non-context-free grammars
    by Schmitz, Lothar 1949-

    Published 1987
    Book


    Saved in:
  15. 15
    Cover Image

    Programmentwicklung mit Kontrollabstraktionen
    by Schmitz, Lothar 1949-

    Published 2011
    Order via interlibrary loan
    Thesis/Dissertation Book


    Saved in:
  16. 16
    Cover Image

    Adapting the Early-Harrison algorithm to a class of non-context-free grammars
    by Schmitz, Lothar 1949-

    Published 1986
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    An exercise in program synthesis: algorithms for computing the transitive closure of a relation
    by Schmitz, Lothar 1949-

    Published 1978
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: