Siefkes, D. (ed.); Braun, A. (ed.); Eulenhöfer, P. (ed.); Stach, H. (ed.); Städtler, K. (ed.) Pioneers of information science. Their biographies in interviews. (Pioniere der Informatik. Ihre Lebensgeschichte im Interview. Interviews mit F. L. Bauer, C. Floyd, J. Weizenbaum, N. Wirth und H. Zemanek. Geleitwort von Wilfried Brauer.) (German) Zbl 0914.01013 Berlin: Springer. xiii, 143 p. (1999). Reviewer: A.C.Lewis (Indianapolis) MSC: 01A70 68-03 01-02 PDF BibTeX XML Cite \textit{D. Siefkes} (ed.) et al., Pioniere der Informatik. Ihre Lebensgeschichte im Interview. Interviews mit F. L. Bauer, C. Floyd, J. Weizenbaum, N. Wirth und H. Zemanek. Geleitwort von Wilfried Brauer. Berlin: Springer (1999; Zbl 0914.01013) Full Text: DOI
Coy, Wolfgang (ed.); Nake, Frieder (ed.); Pflüger, Jörg-Martin (ed.); Rolf, Arno (ed.); Seetzen, Jürgen (ed.); Siefkes, Dirk (ed.); Stransfeld, Reinhard (ed.) View points of computer science. (Sichtweisen der Informatik.) (German) Zbl 0812.68057 Theorie der Informatik. Wiesbaden etc.: Vieweg. VIII, 409 p. (1992). MSC: 68-06 00B15 68T01 68T99 PDF BibTeX XML Cite \textit{W. Coy} (ed.) et al., Sichtweisen der Informatik. Wiesbaden etc.: Vieweg (1992; Zbl 0812.68057)
Siefkes, Dirk Formal methods and small systems. Learning, living and working in formal environments. (Formale Methoden und kleine Systeme. Lernen, leben und arbeiten in formalen Umgebungen.) (German) Zbl 0899.68010 Theorie der Informatik. Wiesbaden: Vieweg. viii, 190 p. (1992). MSC: 68M99 68-01 PDF BibTeX XML Cite \textit{D. Siefkes}, Formale Methoden und kleine Systeme. Lernen, leben und arbeiten in formalen Umgebungen. Wiesbaden: Vieweg (1992; Zbl 0899.68010)
Siefkes, Dirk Formalisieren und Beweisen. Logik für Informatiker. (Formalizing and proving. Logic for computer scientists). (German) Zbl 0705.68003 Wiesbaden: Vieweg & Sohn. XIII, 259 p. DM 39.80 (1990). Reviewer: U.Schöning MSC: 68-01 68N17 68T27 68T15 PDF BibTeX XML Cite \textit{D. Siefkes}, Formalisieren und Beweisen. Logik für Informatiker. (Formalizing and proving. Logic for computer scientists). Wiesbaden: Vieweg \&| Sohn (1990; Zbl 0705.68003)
Büchi, J. R.; Siefkes, Dirk (ed.) Finite automata, their algebras and grammars. Towards a theory of formal expressions. (English) Zbl 0715.68062 New York etc.: Springer-Verlag. XXII, 316 p. DM 138.00 (1989). Reviewer: G.Slutzki MSC: 68Q70 68Q42 68-01 PDF BibTeX XML Cite \textit{J. R. Büchi} and \textit{D. Siefkes} (ed.), Finite automata, their algebras and grammars. Towards a theory of formal expressions. New York etc.: Springer-Verlag (1989; Zbl 0715.68062)
Siefkes, D. (ed.) GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974. (German) Zbl 0293.00023 Lecture Notes in Computer Science. 26. Berlin-Heidelberg-New York: Springer-Verlag. IX, 748 p. DM 49.00 (1975). MSC: 00Bxx 68-06 PDF BibTeX XML
Büchi, J. Richard; Siefkes, Dirk The monadic second order theory of all countable ordinals. (English) Zbl 0298.02050 Lecture Notes in Mathematics. 328. Decidable Theories II. Berlin-Heidelberg-New York: Springer-Verlag. VI, 217 p. DM 20.00; $ 7.40 (1973). MSC: 03B25 03B15 03-02 03D05 PDF BibTeX XML Full Text: DOI
Siefkes, Dirk Büchi’s monadic second order successor arithmetic. (English) Zbl 0399.03011 Lecture Notes in Mathematics. 120. Berlin-Heidelberg-New York: Springer-Verlag. XII, 130 p. (1970). MSC: 03B25 03C35 03C10 11U05 03B15 03-02 PDF BibTeX XML Cite \textit{D. Siefkes}, Büchi's monadic second order successor arithmetic. Berlin-Heidelberg-New York: Springer-Verlag (1970; Zbl 0399.03011) Full Text: DOI