It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by EdwardBot
May 22, 2009 | History
Edit

E. Börger

We need a photo of E. Börger

Born 1946

9 works Add another?

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

  • Cover of: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science)

    First published in 1996 — 2 editions
    Locate

    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: Zur Philosophie der mathematischen Erkenntnis

    First published in 1981 — 1 edition
    Locate

    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: Architecture design and validation methods

    First published in 2000 — 1 edition
    Borrow Listen

    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: The classical decision problem

    First published in 1997 — 1 edition
    Locate

    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: Degree complexity and many-one equivalence of decision problems for algorithmic systems: nach einer zweistündigen Vorlesung

    First published in 1976 — 1 edition
    Locate

    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: Computability, complexity, logic

    First published in 1989 — 1 edition
    Locate

    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: Specification and validation methods

    First published in 1995 — 1 edition
    Borrow Listen

    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: Trends in theoretical computer science

    First published in 1988 — 1 edition
    Borrow Listen

    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: Computation theory and logic

    First published in 1987 — 1 edition
    Locate

    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 E. Börger

Born 1946

Subjects

Computational complexity, Machine theory, Symbolic and mathematical Logic, Algorithms, Automates mathématiques, Théorie des, Automatic control, Complexitat de càlcul (Informàtica), Complexité de calcul (Informatique), Computable functions, Computer architecture, Computer science, Computers, Data processing, Decidability (Mathematical logic), Design and construction, Electronic data processing, Integrated circuits, Integrated circuits, very large scale integration, Mathematics, Philosophy, Programming languages (Electronic computers), Recursive functions, Steam-boilers, Théorie des automates, Very large scale integration

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1009394A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
May 22, 2009 Edited by EdwardBot merge authors
August 20, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import