Suchergebnisse - Schmitz, Lothar 1949-

Establishing properties of frameworks and their applications: a case study using alloy and object-z

von Heger, Christian, Schmitz, Lothar 1949-

Online lesen (frei zugänglich)
Inhaltsverzeichnis

Watching the objects within a compiler

von Schmitz, Lothar 1949-

Zur Gestaltung und Implementierung einiger rechnergestützter Lernwerkzeuge

von Schmitz, Lothar 1949-

Syntaxbasierte Programmierwerkzeuge

von Schmitz, Lothar 1949-

Inhaltsverzeichnis

Class inheritance and program transformations

von Schmitz, Lothar 1949-

Wiederverwendbarkeit in Ada und Smalltalk: Vergleich an einem Beispiel aus der Bürowelt

von Schmitz, Lothar 1949-

An efficient recognizer for the Boolean closure of context-free languages

von Heilbrunner, Stephan 1947-1996, Schmitz, Lothar 1949-

Rigorous derivation of a sophisticated algorithm: smoothshort

von Furbach, Ulrich 1948-, Schmitz, Lothar 1949-

Theorie kettenfreier LR-Zerteiler

von Schmitz, Lothar 1949-

An improved transitive closure algorithm

von Schmitz, Lothar 1949-

Rigorous program development with control abstractions: a case study

von Schmitz, Lothar 1949-

SIC '95 report and user manual

von Schmitz, Lothar 1949-, Schulter, Frank, Laak, Jens van

Exploring Ada concepts and techniques

von Heilbrunner, Stephan 1947-1996, Mast, Andreas, Schmitz, Lothar 1949-

Adapting the Early-Harrison algorithm to a class of non-context-free grammars

von Schmitz, Lothar 1949-

Programmentwicklung mit Kontrollabstraktionen

von Schmitz, Lothar 1949-

Per Fernleihe bestellen

Adapting the Early-Harrison algorithm to a class of non-context-free grammars

von Schmitz, Lothar 1949-

Per Fernleihe bestellen

An exercise in program synthesis: algorithms for computing the transitive closure of a relation

von Schmitz, Lothar 1949-

Per Fernleihe bestellen