13 results
Type of media (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
13 results

Your search for Thomas Wies

  1. Cover: On the Pursuit of Insight and Elegance - Springer
    Daniel Dietsch | Andrey Rybalchenko | Martin Schäf
    On the Pursuit of Insight and Elegance
    Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
    01/2026
    Springer
    9783032137111 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Bernd Finkbeiner | Thomas Wies
    Verification, Model Checking, and Abstract Interpretation
    23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
    01/2022
    Springer
    9783030945831 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Networked Systems - Springer
    David Mohaisen | Thomas Wies
    Networked Systems
    11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
    07/2023
    Springer
    9783031377655 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  4. Cover: Verified Software. Theories, Tools, and Experiments - Springer
    Andrei Paskevich | Thomas Wies
    Verified Software. Theories, Tools, and Experiments
    9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
    12/2017
    Springer
    9783319723082 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Automated Verification of Concurrent Search Structures - Springer
    Siddharth Krishna | Nisarg Patel | Dennis Shasha
    Automated Verification of Concurrent Search Structures
    05/2022
    Springer
    9783031018060 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  6. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Bernd Finkbeiner | Thomas Wies
    Verification, Model Checking, and Abstract Interpretation
    23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
    01/2022
    Springer
    9783030945824 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €96.29
    Shipment within 7-9 days
  7. Cover: Automated Verification of Concurrent Search Structures - Morgan & Claypool Publishers
    Siddharth Krishna | Nisarg Patel | Dennis Shasha
    Automated Verification of Concurrent Search Structures
    06/2021
    Morgan & Claypool Publishers
    9781636391304 (ISBN)
    Book
    Hardback
    €140.40
    Shipment within 15-20 days
  8. Cover: Automated Verification of Concurrent Search Structures - Morgan & Claypool Publishers
    Siddharth Krishna | Nisarg Patel | Dennis Shasha
    Automated Verification of Concurrent Search Structures
    06/2021
    Morgan & Claypool Publishers
    9781636391281 (ISBN)
    Book
    Paperback/Softback
    €111.00
    Shipment within 15-20 days
  9. Cover: On the Pursuit of Insight and Elegance - Springer
    Daniel Dietsch | Andrey Rybalchenko | Martin Schäf
    On the Pursuit of Insight and Elegance
    Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
    01/2026
    Springer
    9783032137104 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  10. Cover: Verified Software. Theories, Tools, and Experiments - Springer
    Andrei Paskevich | Thomas Wies
    Verified Software. Theories, Tools, and Experiments
    9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
    12/2017
    Springer
    9783319723075 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Networked Systems - Springer
    David Mohaisen | Thomas Wies
    Networked Systems
    11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
    07/2023
    Springer
    9783031377648 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 15-20 days
  12. Cover: Programming Languages and Systems - Springer
    Thomas Wies
    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
    04/2023
    Springer
    9783031300431 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  13. Cover: Automated Verification of Concurrent Search Structures - Springer
    Siddharth Krishna | Nisarg Patel | Dennis Shasha
    Automated Verification of Concurrent Search Structures
    06/2021
    Springer
    9783031006784 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €58.84
    Shipment within 15-20 days