OtiumSessione
Sessione
Non abbiamo ancora una biografia di Dirk Siefkes.
Pubblicato in Tedesco · Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Formalisieren und Beweisen
2013
Sozialgeschichte der Informatik
2013
Pioniere der Informatik
1998
Gi-4.Jahrestagung
2013
Formale Methoden und kleine Systeme
2012
Büchi's monadic second order successor arithmetic
2013
Pioniere der Informatik
1999
Decidable Theories : Vol. 1
2006
Finite Automata, Their Algebras and Grammars
2013