Viimati ilmunud raamatud

Verification, Validation, and Uncertainty Quantification in Scientific Computing 2nd Revised edition

Thu, 03 Apr 2025 00:00:00 GMT

William L. Oberkampf, Christopher J. Roy
ISBN: 9781316516133
Kirjastus: Cambridge University Press
Formaat: K�va k�ide, Ilmumisaeg: 03-Apr-2025
Hind: 151,30 �

Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Mon, 18 Nov 2024 00:00:00 GMT

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mari�lle Stoelinga, Matthias Volk
ISBN: 9783031757778
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 18-Nov-2024
Hind: 67,23 �

Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Wed, 13 Nov 2024 00:00:00 GMT

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mari�lle Stoelinga, Matthias Volk
ISBN: 9783031757747
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Nov-2024
Hind: 63,52 �

Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Wed, 13 Nov 2024 00:00:00 GMT

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mari�lle Stoelinga, Matthias Volk
ISBN: 9783031757822
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Nov-2024
Hind: 70,93 �

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines

Thu, 08 Jun 2023 00:00:00 GMT

Louise A. Dennis, Michael Fisher
ISBN: 9781108484992
Kirjastus: Cambridge University Press
Formaat: K�va k�ide, Ilmumisaeg: 08-Jun-2023
Hind: 97,29 �

Program Proofs

Tue, 07 Mar 2023 00:00:00 GMT

K. Rustan M. Leino, Kaleb Leino
ISBN: 9780262546232
Kirjastus: MIT Press
Formaat: Pehme k�ide, Ilmumisaeg: 07-Mar-2023
Hind: 93,25 �

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 1722, 2023, Proceedings, Part II 1st ed. 2023

Mon, 18 Jul 2022 00:00:00 GMT

Constantin Enea, Akash Lal
ISBN: 9783031377020
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 18-Jul-2022
Hind: 39,43 �

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 1722, 2023, Proceedings, Part III 1st ed. 2023

Sun, 17 Jul 2022 00:00:00 GMT

Constantin Enea, Akash Lal
ISBN: 9783031377082
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 17-Jul-2022
Hind: 39,43 �

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 1722, 2023, Proceedings, Part I 1st ed. 2023

Sun, 17 Jul 2022 00:00:00 GMT

Constantin Enea, Akash Lal
ISBN: 9783031377051
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 17-Jul-2022
Hind: 39,43 �

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 1617, 2023, Proceedings 1st ed. 2023

Mon, 17 Jan 2022 00:00:00 GMT

Cezara Dragoi, Michael Emmi, Jingbo Wang
ISBN: 9783031249495
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 17-Jan-2022
Hind: 71,86 �

Automated Verification of Concurrent Search Structures

Tue, 01 Jun 2021 00:00:00 GMT

Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies
ISBN: 9781636391281
Kirjastus: Morgan & Claypool Publishers
Formaat: Pehme k�ide, Ilmumisaeg: 01-Jun-2021
Hind: 102,03 �

Automated Verification of Concurrent Search Structures

Tue, 01 Jun 2021 00:00:00 GMT

Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies
ISBN: 9781636391304
Kirjastus: Morgan & Claypool Publishers
Formaat: K�va k�ide, Ilmumisaeg: 01-Jun-2021
Hind: 130,38 �

Algorithms for Verifying Deep Neural Networks

Thu, 11 Feb 2021 00:00:00 GMT

Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett, Mykel J. Kochenderfer
ISBN: 9781680837865
Kirjastus: now publishers Inc
Formaat: Pehme k�ide, Ilmumisaeg: 11-Feb-2021
Hind: 117,55 �

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 1618, 2022, Proceedings 1st ed. 2022

Thu, 14 Jan 2021 00:00:00 GMT

Bernd Finkbeiner, Thomas Wies
ISBN: 9783030945824
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 14-Jan-2021
Hind: 85,76 �

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 2426, 2021, Proceedings 1st ed. 2021

Mon, 10 Aug 2020 00:00:00 GMT

Alberto Lluch Lafuente, Anastasia Mavridou
ISBN: 9783030852474
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 10-Aug-2020
Hind: 48,70 �