Viimati ilmunud raamatud https://www.kriso.ee Mon, 09 Sep 2024 00:00:00 GMT Mon, 09 Sep 2024 00:00:00 GMT Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings https://www.kriso.ee/tests-proofs-18th-international-conference-tap-db-9783031720444e.html <a href="https://www.kriso.ee/tests-proofs-18th-international-conference-tap-db-9783031720444e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Marieke Huisman, Falk Howar<br>ISBN: 9783031720444<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 09-Sep-2024<br> Hind: 135,84 € https://www.kriso.ee/db/97830317204442e.html Mon, 09 Sep 2024 00:00:00 GMT Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings https://www.kriso.ee/tests-proofs-18th-international-conference-tap-db-9783031720444e.html <a href="https://www.kriso.ee/tests-proofs-18th-international-conference-tap-db-9783031720444e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Marieke Huisman, Falk Howar<br>ISBN: 9783031720444<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 09-Sep-2024<br> Hind: 135,84 € https://www.kriso.ee/db/97830317204446e.html Mon, 09 Sep 2024 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