search for books and compare prices
Dirk Siefkes has written 9 work(s)
Search for other authors with the same name
displaying 1 to 9 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9781461388555 Cover for 9781461389309 Cover for 9783540648574 Cover for 9783824443000 Cover for 9783528051990 Cover for 9783528047573 Cover for 9783662391044 Cover for 9783540049098 Cover for 9783662358481
Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions
cover image for 9781461388555
By Dirk Siefkes (editor)
See complete details on each edition (1 edition listed)

Paperback:

9781461388555 | Reprint edition (Springer Verlag, June 29, 2012), cover price $119.00

The Collected Works of J. Richard Buchi
cover image for 9781461389309
By Dirk Siefkes (editor)
See complete details on each edition (1 edition listed)

Paperback:

9781461389309 | Reprint edition (Springer-Verlag New York Inc, November 10, 2011), cover price $119.00

Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview
cover image for 9783540648574
By Anette Braun (editor), Peter Eulenhofer (editor), Dirk Siefkes (editor), Heike Stach (editor) and Klaus St?tler (editor)
See complete details on each edition (1 edition listed)

Hardcover:

9783540648574 | Springer-Verlag New York Inc, October 31, 2005, cover price $39.99

Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen
cover image for 9783824443000
By Dirk Siefkes (contributor)
See complete details on each edition (1 edition listed)

Paperback:

9783824443000 | Springer Verlag, July 13, 1998, cover price $69.99

Formale Methoden Und Kleine Systeme: Lernen, Leben Und Arbeiten in Formalen Umgebungen
cover image for 9783528051990
By Dirk Siefkes
See complete details on each edition (1 edition listed)

Paperback:

9783528051990 | Springer Verlag, February 29, 2012, cover price $69.99

Formalisieren Und Beweisen: Logik Fur Informatiker
cover image for 9783528047573
By Dirk Siefkes
See complete details on each edition (1 edition listed)

Paperback:

9783528047573 | Vieweg + Teubner Verlag, January 1, 1990, cover price $59.99

Gi-4.jahrestagung: Berlin, 9.-12. Oktober 1974
cover image for 9783662391044
By Dirk Siefkes
See complete details on each edition (1 edition listed)

Paperback:

9783662391044 | Springer-Verlag New York Inc, January 1, 1975, cover price $69.99

Decidable Theories: Buchi`s Monadic Second Order Successor Arithmetic
cover image for 9783540049098
Product Description: Book by Siefkes, Dirk
By Dirk Siefkes
See complete details on each edition (1 edition listed)

Paperback:

9783540049098 | Springer Verlag, January 1, 1970, cover price $39.95 | About this edition: Book by Siefkes, Dirk

Bchi's Monadic Second Order Successor Arithmetic
cover image for 9783662358481
By Dirk Siefkes
See complete details on each edition (1 edition listed)

Paperback:

9783662358481, titled "B�chi's Monadic Second Order Successor Arithmetic" | Springer Verlag, January 1, 1970, cover price $69.99

displaying 1 to 9 | at end