Viimati ilmunud raamatud https://www.kriso.ee Fri, 13 Oct 2023 00:00:00 GMT Fri, 13 Oct 2023 00:00:00 GMT Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 89, 2024, Proceedings 2024 ed. https://www.kriso.ee/model-checking-software-30th-international-symposium-db-9783031661488.html <a href="https://www.kriso.ee/model-checking-software-30th-international-symposium-db-9783031661488.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031661488.jpg" align="left" hspace="5" > </a>Thomas Neele, Anton Wijs<br>ISBN: 9783031661488<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 13-Oct-2023<br> Hind: 48,70 € https://www.kriso.ee/db/9783031661488.html Fri, 13 Oct 2023 00:00:00 GMT Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 2627, 2023, Proceedings 1st ed. 2023 https://www.kriso.ee/model-checking-software-29th-international-symposium-db-9783031321566.html <a href="https://www.kriso.ee/model-checking-software-29th-international-symposium-db-9783031321566.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031321566.jpg" align="left" hspace="5" > </a>Georgiana Caltais, Christian Schilling<br>ISBN: 9783031321566<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 02-May-2022<br> Hind: 53,33 € https://www.kriso.ee/db/9783031321566.html Mon, 02 May 2022 00:00:00 GMT Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings 1st ed. 2022 https://www.kriso.ee/model-checking-software-28th-international-symposium-db-9783031150760.html <a href="https://www.kriso.ee/model-checking-software-28th-international-symposium-db-9783031150760.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031150760.jpg" align="left" hspace="5" > </a>Owolabi Legunsen, Grigore Rosu<br>ISBN: 9783031150760<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 23-Aug-2021<br> Hind: 95,02 € https://www.kriso.ee/db/9783031150760.html Mon, 23 Aug 2021 00:00:00 GMT Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings 1st ed. 2021 https://www.kriso.ee/model-checking-software-27th-international-symposium-db-9783030846282.html <a href="https://www.kriso.ee/model-checking-software-27th-international-symposium-db-9783030846282.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030846282.jpg" align="left" hspace="5" > </a>Alfons Laarman, Ana Sokolova<br>ISBN: 9783030846282<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 03-Aug-2020<br> Hind: 48,70 € https://www.kriso.ee/db/9783030846282.html Mon, 03 Aug 2020 00:00:00 GMT System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019, Munich, Germany, September 1617, 2019, Proceedings 2019 ed. https://www.kriso.ee/system-analysis-modeling-languages-methods-tools-db-9783030306892.html <a href="https://www.kriso.ee/system-analysis-modeling-languages-methods-tools-db-9783030306892.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030306892.jpg" align="left" hspace="5" > </a>Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt<br>ISBN: 9783030306892<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 07-Sep-2018<br> Hind: 48,70 € https://www.kriso.ee/db/9783030306892.html Fri, 07 Sep 2018 00:00:00 GMT Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings 1st ed. 2018 https://www.kriso.ee/model-checking-software-25th-international-symposium-db-9783319941103.html <a href="https://www.kriso.ee/model-checking-software-25th-international-symposium-db-9783319941103.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978331/9783319941103.jpg" align="left" hspace="5" > </a>María del Mar Gallardo, Pedro Merino<br>ISBN: 9783319941103<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 17-Jun-2017<br> Hind: 48,70 € https://www.kriso.ee/db/9783319941103.html Sat, 17 Jun 2017 00:00:00 GMT Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings 1st ed. 2016 https://www.kriso.ee/model-checking-software-23rd-international-symposium-db-9783319325811.html <a href="https://www.kriso.ee/model-checking-software-23rd-international-symposium-db-9783319325811.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978331/9783319325811.jpg" align="left" hspace="5" > </a>Dragan Bonaki, Anton Wijs<br>ISBN: 9783319325811<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 08-Apr-2015<br> Hind: 48,71 € https://www.kriso.ee/db/9783319325811.html Wed, 08 Apr 2015 00:00:00 GMT