Siefkes, Dirk books & textbook
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)
Vieweg+Teubner Verlag /1990-01-01 Perfect Paperback / 275 Pages
isbn-10: 3528047577 / isbn-13: 9783528047573
The Collected Works of J. Richard Büchi
Büchi, J. Richard Richard Mac Lane, Saunders Siefkes, Dirk
Springer /2011-11-10 Paperback / 712 Pages
isbn-10: 1461389305 / isbn-13: 9781461389309
Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions
Büchi, J. Richard Richard Siefkes, Dirk
Springer /2012-06-29 Paperback / 338 Pages
isbn-10: 1461388554 / isbn-13: 9781461388555
Büchi s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics) (German Edition)
Springer /1970-01-01 Paperback / 145 Pages
isbn-10: 3662358484 / isbn-13: 9783662358481
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics, 120)
Springer /1970-01-01 Paperback / 148 Pages
isbn-10: 3540049096 / isbn-13: 9783540049098
Sozialgeschichte der Informatik: Kulturelle Praktiken und Orientierungen (Studien zur Wissenschafts- und Technikforschung) (German Edition)
Deutscher Universitätsverlag /1998-07-13 Paperback / 324 Pages
isbn-10: 3824443007 / isbn-13: 9783824443000
Pioniere der Informatik: Ihre Lebensgeschichte im Interview (German Edition)
Siefkes, Dirk Braun, Anette Eulenhöfer, Peter Stach, Heike Städtler, Klaus Brauer, W.
Springer /2012-11-05 Paperback / 156 Pages
isbn-10: 3642636608 / isbn-13: 9783642636608
Gi-4.Jahrestagung: Berlin, 9.-12. Oktober 1974 (Lecture Notes in Computer Science, 26) (German Edition)
Springer /1975-01-01 Paperback / 760 Pages
isbn-10: 366239104X / isbn-13: 9783662391044
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)
Vieweg+Teubner Verlag /1992-01-01 Paperback / 280 Pages
isbn-10: 3528147571 / isbn-13: 9783528147570
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen (XTheorie der Informatik) (German Edition)
Vieweg+Teubner Verlag /1992-10-01 Paperback / 198 Pages
isbn-10: 352805199X / isbn-13: 9783528051990
