Viimati ilmunud raamatud https://www.kriso.ee Thu, 19 Aug 2021 00:00:00 GMT 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: 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 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 Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings https://www.kriso.ee/software-engineering-resilient-systems-11th-international-db-9783030308568e.html <a href="https://www.kriso.ee/software-engineering-resilient-systems-11th-international-db-9783030308568e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Radu Calinescu, Felicita Di Giandomenico<br>ISBN: 9783030308568<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 10-Sep-2019<br> Hind: 55,56 € https://www.kriso.ee/db/97830303085682e.html Tue, 10 Sep 2019 00:00:00 GMT Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings https://www.kriso.ee/software-engineering-resilient-systems-11th-international-db-9783030308568e.html <a href="https://www.kriso.ee/software-engineering-resilient-systems-11th-international-db-9783030308568e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Radu Calinescu, Felicita Di Giandomenico<br>ISBN: 9783030308568<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 10-Sep-2019<br> Hind: 55,56 € https://www.kriso.ee/db/97830303085686e.html Tue, 10 Sep 2019 00:00:00 GMT Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures https://www.kriso.ee/engineering-trustworthy-software-systems-third-international-db-9783030029289e.html <a href="https://www.kriso.ee/engineering-trustworthy-software-systems-third-international-db-9783030029289e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Jonathan P. Bowen, Zhiming Liu, Zili Zhang<br>ISBN: 9783030029289<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 12-Nov-2018<br> Hind: 55,56 € https://www.kriso.ee/db/97830300292892e.html Mon, 12 Nov 2018 00:00:00 GMT Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures https://www.kriso.ee/engineering-trustworthy-software-systems-third-international-db-9783030029289e.html <a href="https://www.kriso.ee/engineering-trustworthy-software-systems-third-international-db-9783030029289e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Jonathan P. Bowen, Zhiming Liu, Zili Zhang<br>ISBN: 9783030029289<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 12-Nov-2018<br> Hind: 55,56 € https://www.kriso.ee/db/97830300292896e.html Mon, 12 Nov 2018 00:00:00 GMT Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Vasteras, Sweden, September 18, 2018, Proceedings https://www.kriso.ee/computer-safety-reliability-security-safecomp-2018-db-9783319992297e.html <a href="https://www.kriso.ee/computer-safety-reliability-security-safecomp-2018-db-9783319992297e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch<br>ISBN: 9783319992297<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 03-Sep-2018<br> Hind: 86,44 € https://www.kriso.ee/db/97833199922972e.html Mon, 03 Sep 2018 00:00:00 GMT Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Vasteras, Sweden, September 18, 2018, Proceedings https://www.kriso.ee/computer-safety-reliability-security-safecomp-2018-db-9783319992297e.html <a href="https://www.kriso.ee/computer-safety-reliability-security-safecomp-2018-db-9783319992297e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch<br>ISBN: 9783319992297<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 03-Sep-2018<br> Hind: 86,44 € https://www.kriso.ee/db/97833199922976e.html Mon, 03 Sep 2018 00:00:00 GMT Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings https://www.kriso.ee/formal-methods-industrial-critical-systems-23rd-db-9783030002442e.html <a href="https://www.kriso.ee/formal-methods-industrial-critical-systems-23rd-db-9783030002442e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Falk Howar, Jií Barnat<br>ISBN: 9783030002442<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 29-Aug-2018<br> Hind: 55,56 € https://www.kriso.ee/db/97830300024426e.html Wed, 29 Aug 2018 00:00:00 GMT Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings https://www.kriso.ee/formal-methods-industrial-critical-systems-23rd-db-9783030002442e.html <a href="https://www.kriso.ee/formal-methods-industrial-critical-systems-23rd-db-9783030002442e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Falk Howar, Jií Barnat<br>ISBN: 9783030002442<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 29-Aug-2018<br> Hind: 55,56 € https://www.kriso.ee/db/97830300024422e.html Wed, 29 Aug 2018 00:00:00 GMT Reliable Software Technologies - Ada-Europe 2018: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings https://www.kriso.ee/reliable-software-technologies-ada-europe-2018-db-9783319924328e.html <a href="https://www.kriso.ee/reliable-software-technologies-ada-europe-2018-db-9783319924328e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>António Casimiro, Pedro M. Ferreira<br>ISBN: 9783319924328<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 11-Jun-2018<br> Hind: 55,56 € https://www.kriso.ee/db/97833199243282e.html Mon, 11 Jun 2018 00:00:00 GMT Reliable Software Technologies - Ada-Europe 2018: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings https://www.kriso.ee/reliable-software-technologies-ada-europe-2018-db-9783319924328e.html <a href="https://www.kriso.ee/reliable-software-technologies-ada-europe-2018-db-9783319924328e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>António Casimiro, Pedro M. Ferreira<br>ISBN: 9783319924328<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 11-Jun-2018<br> Hind: 55,56 € https://www.kriso.ee/db/97833199243286e.html Mon, 11 Jun 2018 00:00:00 GMT Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings https://www.kriso.ee/model-based-safety-assessment-5th-international-db-9783319641195e.html <a href="https://www.kriso.ee/model-based-safety-assessment-5th-international-db-9783319641195e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Marco Bozzano, Yannis Papadopoulos<br>ISBN: 9783319641195<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Sep-2017<br> Hind: 55,56 € https://www.kriso.ee/db/97833196411952e.html Fri, 01 Sep 2017 00:00:00 GMT