It looks like you're offline.
Open Library logo
additional options menu
Last edited by ImportBot
June 8, 2020 | History

Thomas Wies

We need a photo of Thomas Wies

5 works Add another?

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

  • Cover of: Automated Verification of Concurrent Search Structures

    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: Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

    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: Networked Systems: 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings

    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: Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

    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: Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ...

    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 Wies

Lists

ID Numbers

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
June 8, 2020 Created by ImportBot import new book