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

Thomas A. Henzinger

We need a photo of Thomas A. Henzinger

6 works Add another?

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

  • Cover of: Handbook of Model Checking

    First published in 2017 — 3 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: Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings

    First published in 2013 — 3 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: Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

    First published in 2010 — 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: Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

    First published in 2007 — 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: Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings

    First published in 2003 — 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: Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ...

    First published in 2013 — 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 Thomas A. Henzinger

Subjects

Software engineering, Algebra, Bioinformatics, Biology, Computation by Abstract Devices, Computational Biology/Bioinformatics, Computer Appl. in Life Sciences, Computer science, Computer science, mathematics, Computer simulation, Computer software, development, Data processing, Logic, symbolic and mathematical, Simulation and Modeling, Symbolic and Algebraic Manipulation

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7916675A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
May 19, 2020 Created by ImportBot import new book