Viimati ilmunud raamatud https://www.kriso.ee Sat, 22 Oct 2022 00:00:00 GMT Sat, 22 Oct 2022 00:00:00 GMT Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings https://www.kriso.ee/automated-technology-verification-analysis-20th-international-db-9783031199929e.html <a href="https://www.kriso.ee/automated-technology-verification-analysis-20th-international-db-9783031199929e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Ahmed Bouajjani, Luká Holík, Zhilin Wu<br>ISBN: 9783031199929<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 22-Oct-2022<br> Hind: 80,26 € https://www.kriso.ee/db/97830311999292e.html Sat, 22 Oct 2022 00:00:00 GMT Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings https://www.kriso.ee/automated-technology-verification-analysis-20th-international-db-9783031199929e.html <a href="https://www.kriso.ee/automated-technology-verification-analysis-20th-international-db-9783031199929e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Ahmed Bouajjani, Luká Holík, Zhilin Wu<br>ISBN: 9783031199929<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 22-Oct-2022<br> Hind: 80,26 € https://www.kriso.ee/db/97830311999296e.html Sat, 22 Oct 2022 00:00:00 GMT Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings https://www.kriso.ee/automated-reasoning-11th-international-joint-conference-db-9783031107696e.html <a href="https://www.kriso.ee/automated-reasoning-11th-international-joint-conference-db-9783031107696e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Jasmin Blanchette, Laura Kovács, Dirk Pattinson<br>ISBN: 9783031107696<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Aug-2022<br> Hind: 4,08 € https://www.kriso.ee/db/97830311076962e.html Mon, 01 Aug 2022 00:00:00 GMT Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings https://www.kriso.ee/automated-reasoning-11th-international-joint-conference-db-9783031107696e.html <a href="https://www.kriso.ee/automated-reasoning-11th-international-joint-conference-db-9783031107696e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Jasmin Blanchette, Laura Kovács, Dirk Pattinson<br>ISBN: 9783031107696<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 01-Aug-2022<br> Hind: 4,08 € https://www.kriso.ee/db/97830311076966e.html Mon, 01 Aug 2022 00:00:00 GMT Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings https://www.kriso.ee/automated-technology-verification-analysis-19th-international-db-9783030888855e.html <a href="https://www.kriso.ee/automated-technology-verification-analysis-19th-international-db-9783030888855e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Zhe Hou, Vijay Ganesh<br>ISBN: 9783030888855<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 13-Oct-2021<br> Hind: 80,26 € https://www.kriso.ee/db/97830308888552e.html Wed, 13 Oct 2021 00:00:00 GMT Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings https://www.kriso.ee/automated-technology-verification-analysis-19th-international-db-9783030888855e.html <a href="https://www.kriso.ee/automated-technology-verification-analysis-19th-international-db-9783030888855e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Zhe Hou, Vijay Ganesh<br>ISBN: 9783030888855<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 13-Oct-2021<br> Hind: 80,26 € https://www.kriso.ee/db/97830308888556e.html Wed, 13 Oct 2021 00:00:00 GMT Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings https://www.kriso.ee/automated-reasoning-analytic-tableaux-related-methods-db-9783030860592e.html <a href="https://www.kriso.ee/automated-reasoning-analytic-tableaux-related-methods-db-9783030860592e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Anupam Das, Sara Negri<br>ISBN: 9783030860592<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 31-Aug-2021<br> Hind: 55,56 € https://www.kriso.ee/db/97830308605922e.html Tue, 31 Aug 2021 00:00:00 GMT Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings https://www.kriso.ee/automated-reasoning-analytic-tableaux-related-methods-db-9783030860592e.html <a href="https://www.kriso.ee/automated-reasoning-analytic-tableaux-related-methods-db-9783030860592e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Anupam Das, Sara Negri<br>ISBN: 9783030860592<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 31-Aug-2021<br> Hind: 55,56 € https://www.kriso.ee/db/97830308605926e.html Tue, 31 Aug 2021 00:00:00 GMT Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings https://www.kriso.ee/automated-deduction-cade-28-28th-international-db-9783030798765e.html <a href="https://www.kriso.ee/automated-deduction-cade-28-28th-international-db-9783030798765e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>André Platzer, Geoff Sutcliffe<br>ISBN: 9783030798765<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 07-Jul-2021<br> Hind: 4,08 € https://www.kriso.ee/db/97830307987652e.html Wed, 07 Jul 2021 00:00:00 GMT Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings https://www.kriso.ee/automated-deduction-cade-28-28th-international-db-9783030798765e.html <a href="https://www.kriso.ee/automated-deduction-cade-28-28th-international-db-9783030798765e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>André Platzer, Geoff Sutcliffe<br>ISBN: 9783030798765<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 07-Jul-2021<br> Hind: 4,08 € https://www.kriso.ee/db/97830307987656e.html Wed, 07 Jul 2021 00:00:00 GMT Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings https://www.kriso.ee/automated-technology-verification-analysis-18th-international-db-9783030591526e.html <a href="https://www.kriso.ee/automated-technology-verification-analysis-18th-international-db-9783030591526e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Dang Van Hung, Oleg Sokolsky<br>ISBN: 9783030591526<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 12-Oct-2020<br> Hind: 55,56 € https://www.kriso.ee/db/97830305915262e.html Mon, 12 Oct 2020 00:00:00 GMT Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings https://www.kriso.ee/automated-technology-verification-analysis-18th-international-db-9783030591526e.html <a href="https://www.kriso.ee/automated-technology-verification-analysis-18th-international-db-9783030591526e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Dang Van Hung, Oleg Sokolsky<br>ISBN: 9783030591526<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 12-Oct-2020<br> Hind: 55,56 € https://www.kriso.ee/db/97830305915266e.html Mon, 12 Oct 2020 00:00:00 GMT Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I https://www.kriso.ee/automated-reasoning-10th-international-joint-conference-db-9783030510749e.html <a href="https://www.kriso.ee/automated-reasoning-10th-international-joint-conference-db-9783030510749e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Nicolas Peltier, Viorica Sofronie-Stokkermans<br>ISBN: 9783030510749<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 30-Jun-2020<br> Hind: 86,44 € https://www.kriso.ee/db/97830305107492e.html Tue, 30 Jun 2020 00:00:00 GMT Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I https://www.kriso.ee/automated-reasoning-10th-international-joint-conference-db-9783030510749e.html <a href="https://www.kriso.ee/automated-reasoning-10th-international-joint-conference-db-9783030510749e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Nicolas Peltier, Viorica Sofronie-Stokkermans<br>ISBN: 9783030510749<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 30-Jun-2020<br> Hind: 86,44 € https://www.kriso.ee/db/97830305107496e.html Tue, 30 Jun 2020 00:00:00 GMT Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II https://www.kriso.ee/automated-reasoning-10th-international-joint-conference-db-9783030510541e.html <a href="https://www.kriso.ee/automated-reasoning-10th-international-joint-conference-db-9783030510541e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Nicolas Peltier, Viorica Sofronie-Stokkermans<br>ISBN: 9783030510541<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 29-Jun-2020<br> Hind: 80,26 € https://www.kriso.ee/db/97830305105412e.html Mon, 29 Jun 2020 00:00:00 GMT