Viimati ilmunud raamatud https://www.kriso.ee Wed, 30 Apr 2025 00:00:00 GMT Wed, 30 Apr 2025 00:00:00 GMT Modeling Complex Processes Through Nature-Analogous Methods: Artificial Intelligence and Artificial Life 2025 ed. https://www.kriso.ee/modeling-complex-processes-through-nature-analogous-db-9783658465094.html <a href="https://www.kriso.ee/modeling-complex-processes-through-nature-analogous-db-9783658465094.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978365/9783658465094.jpg" align="left" hspace="5" > </a>Christina Klüver, Jürgen Klüver, Jörn Schmidt<br>ISBN: 9783658465094<br> Kirjastus: Springer<br> Formaat: Pehme köide, Ilmumisaeg: 30-Apr-2025<br> Hind: 71,86 € https://www.kriso.ee/db/9783658465094.html Wed, 30 Apr 2025 00:00:00 GMT Formal Ontology in Information Systems: Proceedings of the Twelfth International Conference (FOIS 2021) https://www.kriso.ee/formal-ontology-information-systems-proceedings-twelfth-db-9781643682488.html <a href="https://www.kriso.ee/formal-ontology-information-systems-proceedings-twelfth-db-9781643682488.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978164/9781643682488.jpg" align="left" hspace="5" > </a>Fabian Neuhaus, Boyan Brodaric<br>ISBN: 9781643682488<br> Kirjastus: IOS Press,US<br> Formaat: Pehme köide, Ilmumisaeg: 29-Apr-2025<br> Hind: 167,50 € https://www.kriso.ee/db/9781643682488.html Tue, 29 Apr 2025 00:00:00 GMT Formal Methods for Multi-Agent Feedback Control Systems https://www.kriso.ee/formal-methods-multi-agent-feedback-control-db-9780262049719.html <a href="https://www.kriso.ee/formal-methods-multi-agent-feedback-control-db-9780262049719.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978026/9780262049719.jpg" align="left" hspace="5" > </a>Lars Lindemann, Dimos V. Dimarogonas<br>ISBN: 9780262049719<br> Kirjastus: MIT Press<br> Formaat: Pehme köide, Ilmumisaeg: 29-Apr-2025<br> Hind: 117,55 € https://www.kriso.ee/db/9780262049719.html Tue, 29 Apr 2025 00:00:00 GMT Formal Ontology in Information Systems: Proceedings of the 13th International Conference (FOIS 2023) https://www.kriso.ee/formal-ontology-information-systems-proceedings-13th-db-9781643684680.html <a href="https://www.kriso.ee/formal-ontology-information-systems-proceedings-13th-db-9781643684680.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978164/9781643684680.jpg" align="left" hspace="5" > </a>Nathalie Aussenac-Gilles, Torsten Hahmann, Antony Galton<br>ISBN: 9781643684680<br> Kirjastus: IOS Press,US<br> Formaat: Pehme köide, Ilmumisaeg: 29-Apr-2025<br> Hind: 197,20 € https://www.kriso.ee/db/9781643684680.html Tue, 29 Apr 2025 00:00:00 GMT Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday https://www.kriso.ee/rebeca-actor-analysis-action-essays-dedicated-db-9783031851339.html <a href="https://www.kriso.ee/rebeca-actor-analysis-action-essays-dedicated-db-9783031851339.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031851339.jpg" align="left" hspace="5" > </a>Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott<br>ISBN: 9783031851339<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 21-Mar-2025<br> Hind: 63,52 € https://www.kriso.ee/db/9783031851339.html Fri, 21 Mar 2025 00:00:00 GMT Formal Methods for Multi-Agent Feedback Control Systems https://www.kriso.ee/formal-methods-multi-agent-feedback-control-db-9780262382793.html <a href="https://www.kriso.ee/formal-methods-multi-agent-feedback-control-db-9780262382793.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Lars Lindemann, Dimos V Dimarogonas<br>ISBN: 9780262382793<br> Kirjastus: MIT Press<br> Formaat: Muu formaat, Ilmumisaeg: 01-Mar-2025<br> Hind: 0,00 € https://www.kriso.ee/db/9780262382793.html Sat, 01 Mar 2025 00:00:00 GMT Formal Methods for Multi-Agent Feedback Control Systems https://www.kriso.ee/formal-methods-multi-agent-feedback-control-db-9780262382809.html <a href="https://www.kriso.ee/formal-methods-multi-agent-feedback-control-db-9780262382809.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978026/9780262382809.jpg" align="left" hspace="5" > </a>Lars Lindemann, Dimos V Dimarogonas<br>ISBN: 9780262382809<br> Kirjastus: MIT Press<br> Formaat: Muu formaat, Ilmumisaeg: 01-Mar-2025<br> Hind: 0,00 € https://www.kriso.ee/db/9780262382809.html Sat, 01 Mar 2025 00:00:00 GMT Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career 2025 ed. https://www.kriso.ee/real-time-such-essays-dedicated-wang-db-9783031737503.html <a href="https://www.kriso.ee/real-time-such-essays-dedicated-wang-db-9783031737503.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031737503.jpg" align="left" hspace="5" > </a>Susanne Graf, Paul Pettersson, Bernhard Steffen<br>ISBN: 9783031737503<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 05-Oct-2024<br> Hind: 48,70 € https://www.kriso.ee/db/9783031737503.html Sat, 05 Oct 2024 00:00:00 GMT Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 1315, 2024, Proceedings 2025 ed. https://www.kriso.ee/integrated-formal-methods-19th-international-conference-db-9783031765537.html <a href="https://www.kriso.ee/integrated-formal-methods-19th-international-conference-db-9783031765537.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031765537.jpg" align="left" hspace="5" > </a>Nikolai Kosmatov, Laura Kovács<br>ISBN: 9783031765537<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 13-Nov-2023<br> Hind: 122,82 € https://www.kriso.ee/db/9783031765537.html Mon, 13 Nov 2023 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 2731, 2024, Proceedings, Part I 2025 ed. https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783031737084.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783031737084.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031737084.jpg" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783031737084<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 09-Oct-2023<br> Hind: 70,93 € https://www.kriso.ee/db/9783031737084.html Mon, 09 Oct 2023 00:00:00 GMT Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 910, 2024, Proceedings 2024 ed. https://www.kriso.ee/formal-aspects-component-software-20th-international-db-9783031712609.html <a href="https://www.kriso.ee/formal-aspects-component-software-20th-international-db-9783031712609.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031712609.jpg" align="left" hspace="5" > </a>Diego Marmsoler, Meng Sun<br>ISBN: 9783031712609<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 08-Sep-2023<br> Hind: 48,70 € https://www.kriso.ee/db/9783031712609.html Fri, 08 Sep 2023 00:00:00 GMT Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings 2024 ed. https://www.kriso.ee/formal-methods-teaching-6th-formal-methods-db-9783031713781.html <a href="https://www.kriso.ee/formal-methods-teaching-6th-formal-methods-db-9783031713781.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031713781.jpg" align="left" hspace="5" > </a>Emil Sekerinski, Leila Ribeiro<br>ISBN: 9783031713781<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 05-Sep-2023<br> Hind: 37,58 € https://www.kriso.ee/db/9783031713781.html Tue, 05 Sep 2023 00:00:00 GMT Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday 1st ed. 2023 https://www.kriso.ee/theories-programming-formal-methods-essays-dedicated-db-9783031404351.html <a href="https://www.kriso.ee/theories-programming-formal-methods-essays-dedicated-db-9783031404351.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031404351.jpg" align="left" hspace="5" > </a>Jonathan P. Bowen, Qin Li, Qiwen Xu<br>ISBN: 9783031404351<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 10-Aug-2023<br> Hind: 67,23 € https://www.kriso.ee/db/9783031404351.html Thu, 10 Aug 2023 00:00:00 GMT Complex Data Analytics with Formal Concept Analysis 2022 ed. https://www.kriso.ee/complex-data-analytics-formal-concept-analysis-db-9783030932800.html <a href="https://www.kriso.ee/complex-data-analytics-formal-concept-analysis-db-9783030932800.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030932800.jpg" align="left" hspace="5" > </a>Rokia Missaoui, Léonard Kwuida, Talel Abdessalem<br>ISBN: 9783030932800<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 01-Jul-2023<br> Hind: 150,61 € https://www.kriso.ee/db/9783030932800.html Sat, 01 Jul 2023 00:00:00 GMT Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Second Edition 2022 https://www.kriso.ee/formal-verification-floating-point-hardware-design-db-9783030871833.html <a href="https://www.kriso.ee/formal-verification-floating-point-hardware-design-db-9783030871833.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030871833.jpg" align="left" hspace="5" > </a>David M. Russinoff<br>ISBN: 9783030871833<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 05-Mar-2023<br> Hind: 104,29 € https://www.kriso.ee/db/9783030871833.html Sun, 05 Mar 2023 00:00:00 GMT