Viimati ilmunud raamatud https://www.kriso.ee Tue, 31 May 2022 00:00:00 GMT Tue, 31 May 2022 00:00:00 GMT Decidability of Parameterized Verification https://www.kriso.ee/decidability-parameterized-verification-db-9783031020117e.html <a href="https://www.kriso.ee/decidability-parameterized-verification-db-9783031020117e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov<br>ISBN: 9783031020117<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 31-May-2022<br> Hind: 49,39 € https://www.kriso.ee/db/97830310201172e.html Tue, 31 May 2022 00:00:00 GMT Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers https://www.kriso.ee/software-verification-13th-international-conference-vstte-db-9783030955618e.html <a href="https://www.kriso.ee/software-verification-13th-international-conference-vstte-db-9783030955618e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina<br>ISBN: 9783030955618<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 21-Feb-2022<br> Hind: 61,74 € https://www.kriso.ee/db/97830309556182e.html Mon, 21 Feb 2022 00:00:00 GMT Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers https://www.kriso.ee/software-verification-13th-international-conference-vstte-db-9783030955618e.html <a href="https://www.kriso.ee/software-verification-13th-international-conference-vstte-db-9783030955618e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina<br>ISBN: 9783030955618<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 21-Feb-2022<br> Hind: 61,74 € https://www.kriso.ee/db/97830309556186e.html Mon, 21 Feb 2022 00:00:00 GMT Handbook of Model Checking https://www.kriso.ee/handbook-model-checking-db-9783319105758e.html <a href="https://www.kriso.ee/handbook-model-checking-db-9783319105758e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978331/9783319105758.jpg" align="left" hspace="5" > </a>Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem<br>ISBN: 9783319105758<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 18-May-2018<br> Hind: 147,58 € https://www.kriso.ee/db/97833191057582e.html Fri, 18 May 2018 00:00:00 GMT Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings https://www.kriso.ee/hardware-software-verification-testing-12th-international-db-9783319490526e.html <a href="https://www.kriso.ee/hardware-software-verification-testing-12th-international-db-9783319490526e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Roderick Bloem, Eli Arbel<br>ISBN: 9783319490526<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 31-Oct-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97833194905262e.html Mon, 31 Oct 2016 00:00:00 GMT Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings https://www.kriso.ee/computer-aided-verification-26th-international-conference-db-9783319088679e.html <a href="https://www.kriso.ee/computer-aided-verification-26th-international-conference-db-9783319088679e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Armin Biere, Roderick Bloem<br>ISBN: 9783319088679<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 28-Jun-2014<br> Hind: 110,53 € https://www.kriso.ee/db/97833190886792e.html Sat, 28 Jun 2014 00:00:00 GMT Trusted Systems: 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings https://www.kriso.ee/trusted-systems-5th-international-conference-intrust-db-9783319034911e.html <a href="https://www.kriso.ee/trusted-systems-5th-international-conference-intrust-db-9783319034911e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Roderick Bloem, Peter Lipp<br>ISBN: 9783319034911<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 25-Nov-2013<br> Hind: 55,56 € https://www.kriso.ee/db/97833190349112e.html Mon, 25 Nov 2013 00:00:00 GMT