Viimati ilmunud raamatud https://www.kriso.ee Mon, 30 Oct 2023 00:00:00 GMT Mon, 30 Oct 2023 00:00:00 GMT Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings https://www.kriso.ee/software-engineering-formal-methods-21st-international-db-9783031471155e.html <a href="https://www.kriso.ee/software-engineering-formal-methods-21st-international-db-9783031471155e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Carla Ferreira, Tim A. C. Willemse<br>ISBN: 9783031471155<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 30-Oct-2023<br> Hind: 67,91 € https://www.kriso.ee/db/97830314711552e.html Mon, 30 Oct 2023 00:00:00 GMT Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings https://www.kriso.ee/software-engineering-formal-methods-21st-international-db-9783031471155e.html <a href="https://www.kriso.ee/software-engineering-formal-methods-21st-international-db-9783031471155e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Carla Ferreira, Tim A. C. Willemse<br>ISBN: 9783031471155<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 30-Oct-2023<br> Hind: 67,91 € https://www.kriso.ee/db/97830314711556e.html Mon, 30 Oct 2023 00:00:00 GMT Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings https://www.kriso.ee/computer-performance-engineering-stochastic-modelling-19th-db-9783031431852e.html <a href="https://www.kriso.ee/computer-performance-engineering-stochastic-modelling-19th-db-9783031431852e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031431852.jpg" align="left" hspace="5" > </a>Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo<br>ISBN: 9783031431852<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 06-Oct-2023<br> Hind: 80,26 € https://www.kriso.ee/db/97830314318522e.html Fri, 06 Oct 2023 00:00:00 GMT Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings https://www.kriso.ee/computer-performance-engineering-stochastic-modelling-19th-db-9783031431852e.html <a href="https://www.kriso.ee/computer-performance-engineering-stochastic-modelling-19th-db-9783031431852e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031431852.jpg" align="left" hspace="5" > </a>Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo<br>ISBN: 9783031431852<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 06-Oct-2023<br> Hind: 80,26 € https://www.kriso.ee/db/97830314318526e.html Fri, 06 Oct 2023 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings https://www.kriso.ee/formal-modeling-analysis-timed-systems-21st-db-9783031426261e.html <a href="https://www.kriso.ee/formal-modeling-analysis-timed-systems-21st-db-9783031426261e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Laure Petrucci, Jeremy Sproston<br>ISBN: 9783031426261<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 28-Aug-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830314262612e.html Mon, 28 Aug 2023 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings https://www.kriso.ee/formal-modeling-analysis-timed-systems-21st-db-9783031426261e.html <a href="https://www.kriso.ee/formal-modeling-analysis-timed-systems-21st-db-9783031426261e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Laure Petrucci, Jeremy Sproston<br>ISBN: 9783031426261<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 28-Aug-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830314262616e.html Mon, 28 Aug 2023 00:00:00 GMT Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings https://www.kriso.ee/formal-concept-analysis-17th-international-conference-db-9783031359491e.html <a href="https://www.kriso.ee/formal-concept-analysis-17th-international-conference-db-9783031359491e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Dominik Dürrschnabel, Domingo López Rodríguez<br>ISBN: 9783031359491<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 05-Jul-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830313594912e.html Wed, 05 Jul 2023 00:00:00 GMT Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings https://www.kriso.ee/formal-concept-analysis-17th-international-conference-db-9783031359491e.html <a href="https://www.kriso.ee/formal-concept-analysis-17th-international-conference-db-9783031359491e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Dominik Dürrschnabel, Domingo López Rodríguez<br>ISBN: 9783031359491<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 05-Jul-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830313594916e.html Wed, 05 Jul 2023 00:00:00 GMT Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings https://www.kriso.ee/descriptional-complexity-formal-systems-25th-ifip-db-9783031343261e.html <a href="https://www.kriso.ee/descriptional-complexity-formal-systems-25th-ifip-db-9783031343261e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Henning Bordihn, Nicholas Tran, György Vaszil<br>ISBN: 9783031343261<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 23-Jun-2023<br> Hind: 67,91 € https://www.kriso.ee/db/97830313432612e.html Fri, 23 Jun 2023 00:00:00 GMT Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings https://www.kriso.ee/descriptional-complexity-formal-systems-25th-ifip-db-9783031343261e.html <a href="https://www.kriso.ee/descriptional-complexity-formal-systems-25th-ifip-db-9783031343261e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Henning Bordihn, Nicholas Tran, György Vaszil<br>ISBN: 9783031343261<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 23-Jun-2023<br> Hind: 67,91 € https://www.kriso.ee/db/97830313432616e.html Fri, 23 Jun 2023 00:00:00 GMT Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings https://www.kriso.ee/formal-techniques-distributed-objects-components-systems-db-9783031353550e.html <a href="https://www.kriso.ee/formal-techniques-distributed-objects-components-systems-db-9783031353550e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Marieke Huisman, António Ravara<br>ISBN: 9783031353550<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 09-Jun-2023<br> Hind: 74,09 € https://www.kriso.ee/db/97830313535502e.html Fri, 09 Jun 2023 00:00:00 GMT Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings https://www.kriso.ee/formal-techniques-distributed-objects-components-systems-db-9783031353550e.html <a href="https://www.kriso.ee/formal-techniques-distributed-objects-components-systems-db-9783031353550e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Marieke Huisman, António Ravara<br>ISBN: 9783031353550<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 09-Jun-2023<br> Hind: 74,09 € https://www.kriso.ee/db/97830313535506e.html Fri, 09 Jun 2023 00:00:00 GMT NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings https://www.kriso.ee/nasa-formal-methods-15th-international-symposium-db-9783031331701e.html <a href="https://www.kriso.ee/nasa-formal-methods-15th-international-symposium-db-9783031331701e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Kristin Yvonne Rozier, Swarat Chaudhuri<br>ISBN: 9783031331701<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 02-Jun-2023<br> Hind: 98,18 € https://www.kriso.ee/db/97830313317012e.html Fri, 02 Jun 2023 00:00:00 GMT NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings https://www.kriso.ee/nasa-formal-methods-15th-international-symposium-db-9783031331701e.html <a href="https://www.kriso.ee/nasa-formal-methods-15th-international-symposium-db-9783031331701e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Kristin Yvonne Rozier, Swarat Chaudhuri<br>ISBN: 9783031331701<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 02-Jun-2023<br> Hind: 98,18 € https://www.kriso.ee/db/97830313317016e.html Fri, 02 Jun 2023 00:00:00 GMT Formal Methods: 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings https://www.kriso.ee/formal-methods-25th-international-symposium-fm-db-9783031274817e.html <a href="https://www.kriso.ee/formal-methods-25th-international-symposium-fm-db-9783031274817e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Marsha Chechik, Joost-Pieter Katoen, Martin Leucker<br>ISBN: 9783031274817<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 02-Mar-2023<br> Hind: 110,53 € https://www.kriso.ee/db/97830312748172e.html Thu, 02 Mar 2023 00:00:00 GMT