Dirk Siefkes

Dirk Siefkes (* 16. April 1938 in Dessau; † 19. März 2016) war ein deutscher Mathematiker und Informatiker. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 39 für Suche 'Siefkes, Dirk 1938-2016', Suchdauer: 0,10s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Sozialgeschichte und kulturelle Theorie der Informatik

    Sozialgeschichte und kulturelle Theorie der Informatik von Siefkes, Dirk 1938-2016

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Formalisieren und beweisen Logik für Informatiker

    Formalisieren und beweisen Logik für Informatiker von Siefkes, Dirk 1938-2016

    Veröffentlicht 1992
    Inhaltsverzeichnis
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Using inductive counting to simulate nondeterministic computation

    Using inductive counting to simulate nondeterministic computation von Buntrock, Gerhard, Hemachandra, Lane A., Siefkes, Dirk 1938-2016

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    How to communicate proofs or programs

    How to communicate proofs or programs von Siefkes, Dirk 1938-2016

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Büchi's monadic second order successor arithmetic

    Büchi's monadic second order successor arithmetic von Siefkes, Dirk 1938-2016

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Büchi's Monadic Second Order Successor Arithmetic

    Büchi's Monadic Second Order Successor Arithmetic von Siefkes, Dirk 1938-2016

    Veröffentlicht 1970
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Theorie der Informatik zwischen den Stühlen Gegensätze in der Informatik durchmustern und füreinander fruchtbar machen

    Theorie der Informatik zwischen den Stühlen Gegensätze in der Informatik durchmustern und füreinander fruchtbar machen von Siefkes, Dirk 1938-2016

    Veröffentlicht 2007
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Hybridization in computer science

    Hybridization in computer science von Siefkes, Dirk 1938-2016

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Die Rolle von Schemata in der Informatik als kultureller Entwicklung

    Die Rolle von Schemata in der Informatik als kultureller Entwicklung von Siefkes, Dirk 1938-2016

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Sozialgeschichte der Informatik Kulturelle Praktiken und Orientierungen

    Sozialgeschichte der Informatik Kulturelle Praktiken und Orientierungen von Siefkes, Dirk 1938-2016

    Veröffentlicht 1998
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Formale Methoden und kleine Systeme Lernen, leben und arbeiten in formalen Umgebungen

    Formale Methoden und kleine Systeme Lernen, leben und arbeiten in formalen Umgebungen von Siefkes, Dirk 1938-2016

    Veröffentlicht 1993
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Formalisieren und Beweisen Logik für Informatiker

    Formalisieren und Beweisen Logik für Informatiker von Siefkes, Dirk 1938-2016

    Veröffentlicht 1992
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  13. 13
    People's bearings on computers and Turn towards imagination

    People's bearings on computers and Turn towards imagination von Siefkes, Dirk 1938-2016

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Sinn im Formalen? Wie wir mit Maschinen und Formalismen umgehen

    Sinn im Formalen? Wie wir mit Maschinen und Formalismen umgehen von Siefkes, Dirk 1938-2016

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Formalisieren und Beweisen Logik für Informatiker

    Formalisieren und Beweisen Logik für Informatiker von Siefkes, Dirk 1938-2016

    Veröffentlicht 1990
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Completeness proofs for logic programming refutations and derivations for ground clauses

    Completeness proofs for logic programming refutations and derivations for ground clauses von Siefkes, Dirk 1938-2016

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    GI-4.Jahrestagung Berlin, 9.–12. Oktober 1974

    GI-4.Jahrestagung Berlin, 9.–12. Oktober 1974 von Siefkes, Dirk 1938-2016

    Veröffentlicht 1975

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  18. 18
    The monadic second order theory of all countable ordinals

    The monadic second order theory of all countable ordinals von Büchi, Julius Richard 1924-1984, Siefkes, Dirk 1938-2016

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    The monadic second order theory of all countable ordinals

    The monadic second order theory of all countable ordinals von Büchi, Julius Richard 1924-1984, Siefkes, Dirk 1938-2016

    Veröffentlicht 1973
    Weitere Verfasser: “… Siefkes, Dirk 1938-2016 …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Büchi's monadic second order successor arithmetic

    Büchi's monadic second order successor arithmetic von Siefkes, Dirk 1938-2016

    Veröffentlicht 1970
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: