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

Martin Steffen

We need a photo of Martin Steffen

6 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: Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings

    First published in 2011 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: Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science)

    First published in 2005 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: Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: Cosim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

    First published in 2020 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: Untersuchungen zu retrovirus-abhängigen genomischen Veränderungen bei transformierten Zellen

    First published in 1985 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: Die Schlacht bei Minden: Weltpolitik und Lokalgeschichte

    First published in 2008 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: Higher-order subtyping

    First published in 1994 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 Martin Steffen

Subjects
Object-oriented programming (Computer science), Computer networks, Computer programming, Computer science, Congresses, Distributed processing, Electronic data processing, Formal methods (Computer science), History, Lambda calculus, Logic design, Minden, Battle of, Germany, 1759, Operating systems (Computers), Seven Years' War, 1756-1763, Software engineering
Places
Minden (Ecclesiastical principality)
Time
18th century

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL5566012A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
October 20, 2008 Created by ImportBot Imported from Talis record