Viimati ilmunud raamatud https://www.kriso.ee Sun, 01 Oct 2023 00:00:00 GMT Sun, 01 Oct 2023 00:00:00 GMT Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings https://www.kriso.ee/runtime-verification-23rd-international-conference-rv-db-9783031442674e.html <a href="https://www.kriso.ee/runtime-verification-23rd-international-conference-rv-db-9783031442674e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Panagiotis Katsaros, Laura Nenzi<br>ISBN: 9783031442674<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Oct-2023<br> Hind: 74,09 € https://www.kriso.ee/db/97830314426742e.html Sun, 01 Oct 2023 00:00:00 GMT Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings https://www.kriso.ee/runtime-verification-23rd-international-conference-rv-db-9783031442674e.html <a href="https://www.kriso.ee/runtime-verification-23rd-international-conference-rv-db-9783031442674e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Panagiotis Katsaros, Laura Nenzi<br>ISBN: 9783031442674<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 01-Oct-2023<br> Hind: 74,09 € https://www.kriso.ee/db/97830314426746e.html Sun, 01 Oct 2023 00:00:00 GMT Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings https://www.kriso.ee/model-checking-software-29th-international-symposium-db-9783031321573e.html <a href="https://www.kriso.ee/model-checking-software-29th-international-symposium-db-9783031321573e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Georgiana Caltais, Christian Schilling<br>ISBN: 9783031321573<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 01-May-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830313215732e.html Mon, 01 May 2023 00:00:00 GMT Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings https://www.kriso.ee/model-checking-software-29th-international-symposium-db-9783031321573e.html <a href="https://www.kriso.ee/model-checking-software-29th-international-symposium-db-9783031321573e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Georgiana Caltais, Christian Schilling<br>ISBN: 9783031321573<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 01-May-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830313215736e.html Mon, 01 May 2023 00:00:00 GMT Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers https://www.kriso.ee/verified-software-theories-tools-experiments-14th-db-9783031258039e.html <a href="https://www.kriso.ee/verified-software-theories-tools-experiments-14th-db-9783031258039e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Akash Lal, Stefano Tonetta<br>ISBN: 9783031258039<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 31-Jan-2023<br> Hind: 55,56 € https://www.kriso.ee/db/97830312580392e.html Tue, 31 Jan 2023 00:00:00 GMT Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers https://www.kriso.ee/verified-software-theories-tools-experiments-14th-db-9783031258039e.html <a href="https://www.kriso.ee/verified-software-theories-tools-experiments-14th-db-9783031258039e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Akash Lal, Stefano Tonetta<br>ISBN: 9783031258039<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 31-Jan-2023<br> Hind: 55,56 € https://www.kriso.ee/db/97830312580396e.html Tue, 31 Jan 2023 00:00:00 GMT Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings https://www.kriso.ee/software-verification-formal-methods-ml-enabled-db-9783031212222e.html <a href="https://www.kriso.ee/software-verification-formal-methods-ml-enabled-db-9783031212222e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi<br>ISBN: 9783031212222<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 15-Dec-2022<br> Hind: 67,91 € https://www.kriso.ee/db/97830312122222e.html Thu, 15 Dec 2022 00:00:00 GMT Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings https://www.kriso.ee/software-verification-formal-methods-ml-enabled-db-9783031212222e.html <a href="https://www.kriso.ee/software-verification-formal-methods-ml-enabled-db-9783031212222e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi<br>ISBN: 9783031212222<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 15-Dec-2022<br> Hind: 67,91 € https://www.kriso.ee/db/97830312122226e.html Thu, 15 Dec 2022 00:00:00 GMT Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings https://www.kriso.ee/runtime-verification-22nd-international-conference-rv-db-9783031171963e.html <a href="https://www.kriso.ee/runtime-verification-22nd-international-conference-rv-db-9783031171963e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Thao Dang, Volker Stolz<br>ISBN: 9783031171963<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 23-Sep-2022<br> Hind: 74,09 € https://www.kriso.ee/db/97830311719632e.html Fri, 23 Sep 2022 00:00:00 GMT Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings https://www.kriso.ee/runtime-verification-22nd-international-conference-rv-db-9783031171963e.html <a href="https://www.kriso.ee/runtime-verification-22nd-international-conference-rv-db-9783031171963e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Thao Dang, Volker Stolz<br>ISBN: 9783031171963<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 23-Sep-2022<br> Hind: 74,09 € https://www.kriso.ee/db/97830311719636e.html Fri, 23 Sep 2022 00:00:00 GMT Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings https://www.kriso.ee/model-checking-software-28th-international-symposium-db-9783031150777e.html <a href="https://www.kriso.ee/model-checking-software-28th-international-symposium-db-9783031150777e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Owolabi Legunsen, Grigore Rosu<br>ISBN: 9783031150777<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 22-Aug-2022<br> Hind: 110,53 € https://www.kriso.ee/db/97830311507772e.html Mon, 22 Aug 2022 00:00:00 GMT Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings https://www.kriso.ee/model-checking-software-28th-international-symposium-db-9783031150777e.html <a href="https://www.kriso.ee/model-checking-software-28th-international-symposium-db-9783031150777e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Owolabi Legunsen, Grigore Rosu<br>ISBN: 9783031150777<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 22-Aug-2022<br> Hind: 110,53 € https://www.kriso.ee/db/97830311507776e.html Mon, 22 Aug 2022 00:00:00 GMT Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I https://www.kriso.ee/computer-aided-verification-34th-international-conference-db-9783031131851e.html <a href="https://www.kriso.ee/computer-aided-verification-34th-international-conference-db-9783031131851e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Sharon Shoham, Yakir Vizel<br>ISBN: 9783031131851<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 06-Aug-2022<br> Hind: 4,08 € https://www.kriso.ee/db/97830311318512e.html Sat, 06 Aug 2022 00:00:00 GMT Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I https://www.kriso.ee/computer-aided-verification-34th-international-conference-db-9783031131851e.html <a href="https://www.kriso.ee/computer-aided-verification-34th-international-conference-db-9783031131851e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Sharon Shoham, Yakir Vizel<br>ISBN: 9783031131851<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 06-Aug-2022<br> Hind: 4,08 € https://www.kriso.ee/db/97830311318516e.html Sat, 06 Aug 2022 00:00:00 GMT Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II https://www.kriso.ee/computer-aided-verification-34th-international-conference-db-9783031131882e.html <a href="https://www.kriso.ee/computer-aided-verification-34th-international-conference-db-9783031131882e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Sharon Shoham, Yakir Vizel<br>ISBN: 9783031131882<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 05-Aug-2022<br> Hind: 4,08 € https://www.kriso.ee/db/97830311318822e.html Fri, 05 Aug 2022 00:00:00 GMT