Viimati ilmunud raamatud https://www.kriso.ee Mon, 18 Sep 2023 00:00:00 GMT Mon, 18 Sep 2023 00:00:00 GMT Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings https://www.kriso.ee/testing-software-systems-35th-ifip-wg-db-9783031432408e.html <a href="https://www.kriso.ee/testing-software-systems-35th-ifip-wg-db-9783031432408e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi<br>ISBN: 9783031432408<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 18-Sep-2023<br> Hind: 74,09 € https://www.kriso.ee/db/97830314324086e.html Mon, 18 Sep 2023 00:00:00 GMT Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings https://www.kriso.ee/testing-software-systems-35th-ifip-wg-db-9783031432408e.html <a href="https://www.kriso.ee/testing-software-systems-35th-ifip-wg-db-9783031432408e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi<br>ISBN: 9783031432408<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 18-Sep-2023<br> Hind: 74,09 € https://www.kriso.ee/db/97830314324082e.html Mon, 18 Sep 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 Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings https://www.kriso.ee/model-checking-software-29th-international-symposium-db-9783031321573e.html <a href="https://www.kriso.ee/model-checking-software-29th-international-symposium-db-9783031321573e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Georgiana Caltais, Christian Schilling<br>ISBN: 9783031321573<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 01-May-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830313215732e.html Mon, 01 May 2023 00:00:00 GMT Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings https://www.kriso.ee/model-checking-software-29th-international-symposium-db-9783031321573e.html <a href="https://www.kriso.ee/model-checking-software-29th-international-symposium-db-9783031321573e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Georgiana Caltais, Christian Schilling<br>ISBN: 9783031321573<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 01-May-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830313215736e.html Mon, 01 May 2023 00:00:00 GMT Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings https://www.kriso.ee/model-checking-software-28th-international-symposium-db-9783031150777e.html <a href="https://www.kriso.ee/model-checking-software-28th-international-symposium-db-9783031150777e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Owolabi Legunsen, Grigore Rosu<br>ISBN: 9783031150777<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 22-Aug-2022<br> Hind: 110,53 € https://www.kriso.ee/db/97830311507772e.html Mon, 22 Aug 2022 00:00:00 GMT Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings https://www.kriso.ee/model-checking-software-28th-international-symposium-db-9783031150777e.html <a href="https://www.kriso.ee/model-checking-software-28th-international-symposium-db-9783031150777e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Owolabi Legunsen, Grigore Rosu<br>ISBN: 9783031150777<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 22-Aug-2022<br> Hind: 110,53 € https://www.kriso.ee/db/97830311507776e.html Mon, 22 Aug 2022 00:00:00 GMT Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings https://www.kriso.ee/tests-proofs-16th-international-conference-tap-db-9783031098277e.html <a href="https://www.kriso.ee/tests-proofs-16th-international-conference-tap-db-9783031098277e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Laura Kovács, Karl Meinke<br>ISBN: 9783031098277<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 21-Jun-2022<br> Hind: 55,56 € https://www.kriso.ee/db/97830310982772e.html Tue, 21 Jun 2022 00:00:00 GMT Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings https://www.kriso.ee/tests-proofs-16th-international-conference-tap-db-9783031098277e.html <a href="https://www.kriso.ee/tests-proofs-16th-international-conference-tap-db-9783031098277e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Laura Kovács, Karl Meinke<br>ISBN: 9783031098277<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 21-Jun-2022<br> Hind: 55,56 € https://www.kriso.ee/db/97830310982776e.html Tue, 21 Jun 2022 00:00:00 GMT Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings https://www.kriso.ee/testing-software-systems-33rd-ifip-wg-db-9783031046735e.html <a href="https://www.kriso.ee/testing-software-systems-33rd-ifip-wg-db-9783031046735e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>David Clark, Hector Menendez, Ana Rosa Cavalli<br>ISBN: 9783031046735<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 09-May-2022<br> Hind: 98,18 € https://www.kriso.ee/db/97830310467352e.html Mon, 09 May 2022 00:00:00 GMT Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings https://www.kriso.ee/testing-software-systems-33rd-ifip-wg-db-9783031046735e.html <a href="https://www.kriso.ee/testing-software-systems-33rd-ifip-wg-db-9783031046735e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>David Clark, Hector Menendez, Ana Rosa Cavalli<br>ISBN: 9783031046735<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 09-May-2022<br> Hind: 98,18 € https://www.kriso.ee/db/97830310467356e.html Mon, 09 May 2022 00:00:00 GMT Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings https://www.kriso.ee/runtime-verification-21st-international-conference-rv-db-9783030884949e.html <a href="https://www.kriso.ee/runtime-verification-21st-international-conference-rv-db-9783030884949e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Lu Feng, Dana Fisman<br>ISBN: 9783030884949<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 05-Oct-2021<br> Hind: 80,26 € https://www.kriso.ee/db/97830308849492e.html Tue, 05 Oct 2021 00:00:00 GMT Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings https://www.kriso.ee/runtime-verification-21st-international-conference-rv-db-9783030884949e.html <a href="https://www.kriso.ee/runtime-verification-21st-international-conference-rv-db-9783030884949e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Lu Feng, Dana Fisman<br>ISBN: 9783030884949<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 05-Oct-2021<br> Hind: 80,26 € https://www.kriso.ee/db/97830308849496e.html Tue, 05 Oct 2021 00:00:00 GMT Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings https://www.kriso.ee/model-checking-software-27th-international-symposium-db-9783030846299e.html <a href="https://www.kriso.ee/model-checking-software-27th-international-symposium-db-9783030846299e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Alfons Laarman, Ana Sokolova<br>ISBN: 9783030846299<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 02-Aug-2021<br> Hind: 55,56 € https://www.kriso.ee/db/97830308462992e.html Mon, 02 Aug 2021 00:00:00 GMT