It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by MARC Bot
June 29, 2019 | History
Edit

Frank Ortmeier

We need a photo of Frank Ortmeier

6 works Add another?

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

  • Cover of: Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

    First published in 2012 — 4 editions
    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: Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

    First published in 2014 — 2 editions
    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: Computer Safety, Reliability, and Security : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

    First published in 2014 — 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: Computer Safety, Reliability, and Security : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings

    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: Formale Sicherheitsanalyse

    First published in 2006 — 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: Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

    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
We need a photo of Frank Ortmeier

Subjects

Computer science, Computer security, Software engineering, Algorithm Analysis and Problem Complexity, Computer Communication Networks, Computer networks, Computer software, Computers and Society, Congresses, Data protection, Logic design, Logics and Meanings of Programs, Reliability, Systems and Data Security, Artificial Intelligence (incl. Robotics), Artificial intelligence, Computer systems, Computers, Computers, reliability, Formal methods (Computer science), Industrial safety, Mathematical Logic and Formal Languages, Operating systems (computers), Programming Languages, Compilers, Interpreters, Reliability (engineering)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7558077A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
June 29, 2019 Created by MARC Bot import new book