It looks like you're offline.
Donate
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?

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: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science)

    First published in 1996 2 editions 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: Trends in theoretical computer science

    First published in 1988 1 edition in 1 language — 1 previewable
    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: Zur Philosophie der mathematischen Erkenntnis

    First published in 1981 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: Computation theory and logic

    First published in 1987 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: Architecture design and validation methods

    First published in 2000 1 edition in 1 language — 1 previewable
    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: Specification and validation methods

    First published in 1995 1 edition in 1 language — 1 previewable
    Checked Out

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

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

    First published in 1976 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
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, Data processing, Decidability (Mathematical logic), Design and construction, Integrated circuits, Integrated circuits, very large scale integration, Mathematics, Philosophy, Programming languages (Electronic computers), 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