Viimati ilmunud raamatud https://www.kriso.ee Fri, 15 Dec 2023 00:00:00 GMT Fri, 15 Dec 2023 00:00:00 GMT CyberSecurity in a DevOps Environment: From Requirements to Monitoring https://www.kriso.ee/cybersecurity-devops-environment-from-requirements-monitoring-db-9783031422126e.html <a href="https://www.kriso.ee/cybersecurity-devops-environment-from-requirements-monitoring-db-9783031422126e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato<br>ISBN: 9783031422126<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 15-Dec-2023<br> Hind: 196,98 € https://www.kriso.ee/db/97830314221262e.html Fri, 15 Dec 2023 00:00:00 GMT CyberSecurity in a DevOps Environment: From Requirements to Monitoring https://www.kriso.ee/cybersecurity-devops-environment-from-requirements-monitoring-db-9783031422126e.html <a href="https://www.kriso.ee/cybersecurity-devops-environment-from-requirements-monitoring-db-9783031422126e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato<br>ISBN: 9783031422126<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 15-Dec-2023<br> Hind: 196,98 € https://www.kriso.ee/db/97830314221266e.html Fri, 15 Dec 2023 00:00:00 GMT Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Vasteras, Sweden, October 16-18, 2023, Proceedings https://www.kriso.ee/engineering-computer-based-systems-8th-international-db-9783031492525e.html <a href="https://www.kriso.ee/engineering-computer-based-systems-8th-international-db-9783031492525e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Jan Kofro, Tiziana Margaria, Cristina Seceleanu<br>ISBN: 9783031492525<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 28-Nov-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830314925252e.html Tue, 28 Nov 2023 00:00:00 GMT Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Vasteras, Sweden, October 16-18, 2023, Proceedings https://www.kriso.ee/engineering-computer-based-systems-8th-international-db-9783031492525e.html <a href="https://www.kriso.ee/engineering-computer-based-systems-8th-international-db-9783031492525e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Jan Kofro, Tiziana Margaria, Cristina Seceleanu<br>ISBN: 9783031492525<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 28-Nov-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830314925256e.html Tue, 28 Nov 2023 00:00:00 GMT Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings https://www.kriso.ee/tests-proofs-17th-international-conference-tap-db-9783031388286e.html <a href="https://www.kriso.ee/tests-proofs-17th-international-conference-tap-db-9783031388286e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Virgile Prevosto, Cristina Seceleanu<br>ISBN: 9783031388286<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 19-Jul-2023<br> Hind: 55,56 € https://www.kriso.ee/db/97830313882862e.html Wed, 19 Jul 2023 00:00:00 GMT Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings https://www.kriso.ee/tests-proofs-17th-international-conference-tap-db-9783031388286e.html <a href="https://www.kriso.ee/tests-proofs-17th-international-conference-tap-db-9783031388286e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Virgile Prevosto, Cristina Seceleanu<br>ISBN: 9783031388286<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 19-Jul-2023<br> Hind: 55,56 € https://www.kriso.ee/db/97830313882866e.html Wed, 19 Jul 2023 00:00:00 GMT Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings https://www.kriso.ee/critical-systems-formal-methods-automated-verification-db-9783319671130e.html <a href="https://www.kriso.ee/critical-systems-formal-methods-automated-verification-db-9783319671130e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti<br>ISBN: 9783319671130<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 02-Sep-2017<br> Hind: 55,56 € https://www.kriso.ee/db/97833196711302e.html Sat, 02 Sep 2017 00:00:00 GMT Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings https://www.kriso.ee/critical-systems-formal-methods-automated-verification-db-9783319671130e.html <a href="https://www.kriso.ee/critical-systems-formal-methods-automated-verification-db-9783319671130e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti<br>ISBN: 9783319671130<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 02-Sep-2017<br> Hind: 55,56 € https://www.kriso.ee/db/97833196711306e.html Sat, 02 Sep 2017 00:00:00 GMT