Author

Dirk Siefkes

10 books found

Cover of Finite Automata, Their Algebras and Grammars

Finite Automata, Their Algebras and Grammars

J. Richard Büchi, Dirk Siefkes · First published 2013

Cover of Formale Methoden und kleine Systeme

Formale Methoden und kleine Systeme

Dirk Siefkes · First published 1992 · Latest edition 2012

Cover of Decidable Theories : Vol. 1

Decidable Theories : Vol. 1

Gert H. Müller, Dirk Siefkes · First published 2006

Cover of Pioniere der Informatik

Pioniere der Informatik

W. Brauer, Dirk Siefkes, Anette Braun, Peter Eulenhöfer, Heike Stach · First published 1999

Cover of Pioniere der Informatik

Pioniere der Informatik

Dirk Siefkes · First published 1998

Cover of Sozialgeschichte der Informatik

Sozialgeschichte der Informatik

Dirk Siefkes · First published 1998

Cover of Formalisieren und Beweisen

Formalisieren und Beweisen

Dirk Siefkes · First published 1990

Cover of Gi-4.Jahrestagung

Gi-4.Jahrestagung

Dirk Siefkes · First published 1975

Cover of BFuchi's monadic second order successor arithmetic

BFuchi's monadic second order successor arithmetic

Dirk Siefkes · First published 1970

Cover of Büchi's monadic second order successor arithmetic

Büchi's monadic second order successor arithmetic

Dirk Siefkes · First published 1970