Risultati per: dirk-siefkes (5)

Formale Methoden und kleine Systeme
Lernen, leben und arbeiten in formalen Umgebungen
di Dirk Siefkes
Springer & Verlag
fuori catalogo (5) - 1992

Sichtweisen der Informatik
di Wolfgang Coy; Frieder Nake; Jörg-Martin Pflüger; Arno Rolf; Jürgen Seetzen; Dirk Siefkes; Reinhard Stransfeld
Springer & Verlag
fuori catalogo (5) - 1992

Formalisieren und beweisen
Logik für Informatiker
di Dirk Siefkes
Springer & Verlag
fuori catalogo (5) - 1990

Finite Automata, Their Algebras and Grammars
Towards a Theory of Formal Expressions
di J. Richard Büchi; Dirk Siefkes
Springer & Verlag
fuori catalogo (5) - 1989

The Collected Works
di J. Richard Büchi; Saunders Mac Lane; Dirk Siefkes
Springer & Verlag
fuori catalogo (5) - 1989