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 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 Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings https://www.kriso.ee/critical-systems-formal-methods-automated-verification-db-9783319459431e.html <a href="https://www.kriso.ee/critical-systems-formal-methods-automated-verification-db-9783319459431e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp<br>ISBN: 9783319459431<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 12-Sep-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97833194594312e.html Mon, 12 Sep 2016 00:00:00 GMT Computer Safety, Reliability, and Security: 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings https://www.kriso.ee/computer-safety-reliability-security-34th-international-db-9783319242552e.html <a href="https://www.kriso.ee/computer-safety-reliability-security-34th-international-db-9783319242552e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Floor Koornneef, Coen van Gulijk<br>ISBN: 9783319242552<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 15-Sep-2015<br> Hind: 55,56 € https://www.kriso.ee/db/97833192425522e.html Tue, 15 Sep 2015 00:00:00 GMT Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings https://www.kriso.ee/computer-safety-reliability-security-safecomp-2015-db-9783319242491e.html <a href="https://www.kriso.ee/computer-safety-reliability-security-safecomp-2015-db-9783319242491e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Floor Koornneef, Coen van Gulijk<br>ISBN: 9783319242491<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 09-Sep-2015<br> Hind: 55,56 € https://www.kriso.ee/db/97833192424912e.html Wed, 09 Sep 2015 00:00:00 GMT