Viimati ilmunud raamatud https://www.kriso.ee Mon, 16 Jan 2023 00:00:00 GMT Mon, 16 Jan 2023 00:00:00 GMT Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings https://www.kriso.ee/verification-model-checking-abstract-interpretation-24th-db-9783031249501e.html <a href="https://www.kriso.ee/verification-model-checking-abstract-interpretation-24th-db-9783031249501e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Cezara Dragoi, Michael Emmi, Jingbo Wang<br>ISBN: 9783031249501<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 16-Jan-2023<br> Hind: 80,26 € https://www.kriso.ee/db/97830312495012e.html Mon, 16 Jan 2023 00:00:00 GMT Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings https://www.kriso.ee/verification-model-checking-abstract-interpretation-24th-db-9783031249501e.html <a href="https://www.kriso.ee/verification-model-checking-abstract-interpretation-24th-db-9783031249501e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Cezara Dragoi, Michael Emmi, Jingbo Wang<br>ISBN: 9783031249501<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 16-Jan-2023<br> Hind: 80,26 € https://www.kriso.ee/db/97830312495016e.html Mon, 16 Jan 2023 00:00:00 GMT Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings https://www.kriso.ee/verification-model-checking-abstract-interpretation-23rd-db-9783030945831e.html <a href="https://www.kriso.ee/verification-model-checking-abstract-interpretation-23rd-db-9783030945831e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Bernd Finkbeiner, Thomas Wies<br>ISBN: 9783030945831<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 13-Jan-2022<br> Hind: 98,18 € https://www.kriso.ee/db/97830309458312e.html Thu, 13 Jan 2022 00:00:00 GMT Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings https://www.kriso.ee/verification-model-checking-abstract-interpretation-23rd-db-9783030945831e.html <a href="https://www.kriso.ee/verification-model-checking-abstract-interpretation-23rd-db-9783030945831e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Bernd Finkbeiner, Thomas Wies<br>ISBN: 9783030945831<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 13-Jan-2022<br> Hind: 98,18 € https://www.kriso.ee/db/97830309458316e.html Thu, 13 Jan 2022 00:00:00 GMT Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings https://www.kriso.ee/formal-methods-industrial-critical-systems-26th-db-9783030852481e.html <a href="https://www.kriso.ee/formal-methods-industrial-critical-systems-26th-db-9783030852481e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Alberto Lluch Lafuente, Anastasia Mavridou<br>ISBN: 9783030852481<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 19-Aug-2021<br> Hind: 55,56 € https://www.kriso.ee/db/97830308524812e.html Thu, 19 Aug 2021 00:00:00 GMT Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings https://www.kriso.ee/formal-methods-industrial-critical-systems-26th-db-9783030852481e.html <a href="https://www.kriso.ee/formal-methods-industrial-critical-systems-26th-db-9783030852481e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Alberto Lluch Lafuente, Anastasia Mavridou<br>ISBN: 9783030852481<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 19-Aug-2021<br> Hind: 55,56 € https://www.kriso.ee/db/97830308524816e.html Thu, 19 Aug 2021 00:00:00 GMT Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers https://www.kriso.ee/software-verification-12th-international-conference-vstte-db-9783030636180e.html <a href="https://www.kriso.ee/software-verification-12th-international-conference-vstte-db-9783030636180e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel<br>ISBN: 9783030636180<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 05-Dec-2020<br> Hind: 55,56 € https://www.kriso.ee/db/97830306361802e.html Sat, 05 Dec 2020 00:00:00 GMT Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers https://www.kriso.ee/software-verification-12th-international-conference-vstte-db-9783030636180e.html <a href="https://www.kriso.ee/software-verification-12th-international-conference-vstte-db-9783030636180e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel<br>ISBN: 9783030636180<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 05-Dec-2020<br> Hind: 55,56 € https://www.kriso.ee/db/97830306361806e.html Sat, 05 Dec 2020 00:00:00 GMT Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings https://www.kriso.ee/formal-methods-industrial-critical-systems-25th-db-9783030582982e.html <a href="https://www.kriso.ee/formal-methods-industrial-critical-systems-25th-db-9783030582982e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Maurice H. ter Beek, Dejan Nikovi<br>ISBN: 9783030582982<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 28-Aug-2020<br> Hind: 55,56 € https://www.kriso.ee/db/97830305829822e.html Fri, 28 Aug 2020 00:00:00 GMT Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings https://www.kriso.ee/formal-methods-industrial-critical-systems-25th-db-9783030582982e.html <a href="https://www.kriso.ee/formal-methods-industrial-critical-systems-25th-db-9783030582982e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Maurice H. ter Beek, Dejan Nikovi<br>ISBN: 9783030582982<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 28-Aug-2020<br> Hind: 55,56 € https://www.kriso.ee/db/97830305829826e.html Fri, 28 Aug 2020 00:00:00 GMT Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I https://www.kriso.ee/computer-aided-verification-32nd-international-conference-db-9783030532888e.html <a href="https://www.kriso.ee/computer-aided-verification-32nd-international-conference-db-9783030532888e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Shuvendu K. Lahiri, Chao Wang<br>ISBN: 9783030532888<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 15-Jul-2020<br> Hind: 4,08 € https://www.kriso.ee/db/97830305328882e.html Wed, 15 Jul 2020 00:00:00 GMT Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I https://www.kriso.ee/computer-aided-verification-32nd-international-conference-db-9783030532888e.html <a href="https://www.kriso.ee/computer-aided-verification-32nd-international-conference-db-9783030532888e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Shuvendu K. Lahiri, Chao Wang<br>ISBN: 9783030532888<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 15-Jul-2020<br> Hind: 4,08 € https://www.kriso.ee/db/97830305328886e.html Wed, 15 Jul 2020 00:00:00 GMT Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II https://www.kriso.ee/computer-aided-verification-32nd-international-conference-db-9783030532918e.html <a href="https://www.kriso.ee/computer-aided-verification-32nd-international-conference-db-9783030532918e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Shuvendu K. Lahiri, Chao Wang<br>ISBN: 9783030532918<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 15-Jul-2020<br> Hind: 4,08 € https://www.kriso.ee/db/97830305329182e.html Wed, 15 Jul 2020 00:00:00 GMT Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II https://www.kriso.ee/computer-aided-verification-32nd-international-conference-db-9783030532918e.html <a href="https://www.kriso.ee/computer-aided-verification-32nd-international-conference-db-9783030532918e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Shuvendu K. Lahiri, Chao Wang<br>ISBN: 9783030532918<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 15-Jul-2020<br> Hind: 4,08 € https://www.kriso.ee/db/97830305329186e.html Wed, 15 Jul 2020 00:00:00 GMT Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers https://www.kriso.ee/cyber-physical-systems-model-based-design-db-9783030411312e.html <a href="https://www.kriso.ee/cyber-physical-systems-model-based-design-db-9783030411312e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Roger Chamberlain, Martin Edin Grimheden, Walid Taha<br>ISBN: 9783030411312<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 17-Feb-2020<br> Hind: 55,56 € https://www.kriso.ee/db/97830304113122e.html Mon, 17 Feb 2020 00:00:00 GMT