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

Your search for Laura Kovács

  1. Cover: Intelligent Computer Mathematics - Springer
    Andrea Kohlhase | Laura Kovács
    Intelligent Computer Mathematics
    17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
    08/2024
    Springer
    9783031669972 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  2. Cover: Integrated Formal Methods - Springer
    Nikolai Kosmatov | Laura Kovács
    Integrated Formal Methods
    19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
    11/2024
    Springer
    9783031765544 (ISBN)
    E-Book
    PDF
    Other editions
    €149.79
    Available for download
  3. Cover: Reachability Problems - Springer
    Laura Kovács | Ana Sokolova
    Reachability Problems
    18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
    09/2024
    Springer
    9783031726217 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  4. Cover: Tests and Proofs - Springer
    Laura Kovács | Karl Meinke
    Tests and Proofs
    16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
    06/2022
    Springer
    9783031098277 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Intelligent Computer Mathematics - Springer
    Andrea Kohlhase | Laura Kovács
    Intelligent Computer Mathematics
    17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
    08/2024
    Springer
    9783031669965 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €117.69
    Shipment within 15-20 days
  6. Cover: Integrated Formal Methods - Springer
    Nikolai Kosmatov | Laura Kovács
    Integrated Formal Methods
    19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
    11/2024
    Springer
    9783031765537 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €149.79
    Shipment within 15-20 days
  7. Cover: Reachability Problems - Springer
    Laura Kovács | Ana Sokolova
    Reachability Problems
    18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
    09/2024
    Springer
    9783031726200 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €69.54
    Shipment within 15-20 days
  8. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Bernd Finkbeiner | Laura Kovács
    Tools and Algorithms for the Construction and Analysis of Systems
    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
    04/2024
    Springer
    9783031572555 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  9. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Bernd Finkbeiner | Laura Kovács
    Tools and Algorithms for the Construction and Analysis of Systems
    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
    04/2024
    Springer
    9783031572456 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  10. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Bernd Finkbeiner | Laura Kovács
    Tools and Algorithms for the Construction and Analysis of Systems
    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
    04/2024
    Springer
    9783031572487 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  11. Cover: Automated Reasoning - Springer
    Jasmin Blanchette | Laura Kovács | Dirk Pattinson
    Automated Reasoning
    11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
    07/2022
    Springer
    9783031107689 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  12. Cover: Tests and Proofs - Springer
    Laura Kovács | Karl Meinke
    Tests and Proofs
    16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
    06/2022
    Springer
    9783031098260 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days