Dirk Siefkes

Gi-4.Jahrestagung
Dirk Siefkes · 1975
פרטי הספר
- שנה
- 1975
- הוצאה
- Springer
- מהדורות
- 2
- עמודים
- 760
- ISBN
- 9783662391044
מקור הנתונים: Wikidata
עוד של Dirk Siefkes
Dirk Siefkes

Formale Methoden und kleine Systeme
Dirk Siefkes · 2012
Dirk Siefkes

Pioniere der Informatik
Dirk Siefkes · 1998
Dirk Siefkes

Formalisieren und Beweisen
Dirk Siefkes · 1992
Dirk Siefkes

Formale Methoden und kleine Systeme
Dirk Siefkes · 1992
Dirk Siefkes
Sozialgeschichte der Informatik
Dirk Siefkes · 2013
Dirk Siefkes
Büchi's monadic second order successor arithmetic
Dirk Siefkes · 1970