It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
August 25, 2008 | History
Edit

Dirk Siefkes

11 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions

    First published in 2013 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

    First published in 2012 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Decidable Theories : Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

    First published in 2006 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Pioniere der Informatik: Ihre Lebensgeschichte im Interview

    First published in 1999 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Sozialgeschichte der Informatik: Kulturelle Praktiken und Orientierungen

    First published in 1998 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Pioniere der Informatik: Ihre Lebensgeschichte im Interview

    First published in 1998 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

    First published in 1992 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formalisieren und Beweisen: Logik für Informatiker

    First published in 1990 4 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Gi-4.Jahrestagung: Berlin, 9.-12. Oktober 1974

    First published in 1975 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Büchi's monadic second order successor arithmetic.

    First published in 1970 3 editions in 2 languages
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: BFuchi's monadic second order successor arithmetic

    First published in 1970 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Dirk Siefkes
Subjects
Biography, Computer scientists, Formalisierung, Kleines System, Logic, symbolic and mathematical, Predicate calculus, Professions, great britain, Sequential machine theory, Symbolic and mathematical Logic
Places
Austria, Germany, Switzerland
People
Christiane Floyd (1943-), Friedrich L. Bauer (1924-), Heinz Zemanek (1920-), Joseph Weizenbaum (1923-2008), Niklaus Wirth (15.02.1934-)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL782472A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 25, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import