Viimati ilmunud raamatud https://www.kriso.ee Thu, 24 Apr 2025 00:00:00 GMT Thu, 24 Apr 2025 00:00:00 GMT Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas Second Edition 2025 https://www.kriso.ee/simple-type-theory-practical-logic-expressing-db-9783031853517.html <a href="https://www.kriso.ee/simple-type-theory-practical-logic-expressing-db-9783031853517.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031853517.jpg" align="left" hspace="5" > </a>William M. Farmer<br>ISBN: 9783031853517<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: Kõva köide, Ilmumisaeg: 24-Apr-2025<br> Hind: 71,86 € https://www.kriso.ee/db/9783031853517.html Thu, 24 Apr 2025 00:00:00 GMT Multi-valued Logic for Decision-Making Under Uncertainty 2024 ed. https://www.kriso.ee/multi-valued-logic-decision-making-under-db-9783031747618.html <a href="https://www.kriso.ee/multi-valued-logic-decision-making-under-db-9783031747618.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031747618.jpg" align="left" hspace="5" > </a>Evgeny Kagan, Alexander Rybalov, Ronald Yager<br>ISBN: 9783031747618<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: Kõva köide, Ilmumisaeg: 18-Feb-2025<br> Hind: 187,67 € https://www.kriso.ee/db/9783031747618.html Tue, 18 Feb 2025 00:00:00 GMT Structural Decision Diagrams in Digital Test: Theory and Applications https://www.kriso.ee/structural-decision-diagrams-digital-test-theory-db-9783031447365.html <a href="https://www.kriso.ee/structural-decision-diagrams-digital-test-theory-db-9783031447365.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031447365.jpg" align="left" hspace="5" > </a>Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman<br>ISBN: 9783031447365<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: Pehme köide, Ilmumisaeg: 16-Feb-2025<br> Hind: 206,20 € https://www.kriso.ee/db/9783031447365.html Sun, 16 Feb 2025 00:00:00 GMT Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis https://www.kriso.ee/petri-net-primer-compendium-core-model-db-9783031482809.html <a href="https://www.kriso.ee/petri-net-primer-compendium-core-model-db-9783031482809.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031482809.jpg" align="left" hspace="5" > </a>Eike Best, Raymond Devillers<br>ISBN: 9783031482809<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: Pehme köide, Ilmumisaeg: 10-Feb-2025<br> Hind: 57,96 € https://www.kriso.ee/db/9783031482809.html Mon, 10 Feb 2025 00:00:00 GMT Category Theory Using Haskell: An Introduction with Moggi and Yoneda 2024 ed. https://www.kriso.ee/category-theory-using-haskell-introduction-moggi-db-9783031685378.html <a href="https://www.kriso.ee/category-theory-using-haskell-introduction-moggi-db-9783031685378.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031685378.jpg" align="left" hspace="5" > </a>Shuichi Yukita<br>ISBN: 9783031685378<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: Kõva köide, Ilmumisaeg: 07-Dec-2024<br> Hind: 187,67 € https://www.kriso.ee/db/9783031685378.html Sat, 07 Dec 2024 00:00:00 GMT Guide to Software Verification with Frama-C: Core Components, Usages, and Applications 2024 ed. https://www.kriso.ee/guide-software-verification-frama-c-core-db-9783031556074.html <a href="https://www.kriso.ee/guide-software-verification-frama-c-core-db-9783031556074.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031556074.jpg" align="left" hspace="5" > </a>Nikolai Kosmatov, Virgile Prevosto, Julien Signoles<br>ISBN: 9783031556074<br> Kirjastus: Springer International Publishing AG<br> Formaat: Kõva köide, Ilmumisaeg: 10-Jul-2024<br> Hind: 62,59 € https://www.kriso.ee/db/9783031556074.html Wed, 10 Jul 2024 00:00:00 GMT Algorithms for Constructing Computably Enumerable Sets 2023 ed. https://www.kriso.ee/algorithms-constructing-computably-enumerable-sets-2023-db-9783031269066.html <a href="https://www.kriso.ee/algorithms-constructing-computably-enumerable-sets-2023-db-9783031269066.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031269066.jpg" align="left" hspace="5" > </a>Kenneth J. Supowit<br>ISBN: 9783031269066<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: Pehme köide, Ilmumisaeg: 11-Jun-2024<br> Hind: 57,96 € https://www.kriso.ee/db/9783031269066.html Tue, 11 Jun 2024 00:00:00 GMT Structural Decision Diagrams in Digital Test: Theory and Applications 2024 ed. https://www.kriso.ee/structural-decision-diagrams-digital-test-theory-db-9783031447334.html <a href="https://www.kriso.ee/structural-decision-diagrams-digital-test-theory-db-9783031447334.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031447334.jpg" align="left" hspace="5" > </a>Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman<br>ISBN: 9783031447334<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: Kõva köide, Ilmumisaeg: 30-Jan-2024<br> Hind: 206,20 € https://www.kriso.ee/db/9783031447334.html Tue, 30 Jan 2024 00:00:00 GMT Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis 2024 ed. https://www.kriso.ee/petri-net-primer-compendium-core-model-db-9783031482779.html <a href="https://www.kriso.ee/petri-net-primer-compendium-core-model-db-9783031482779.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031482779.jpg" align="left" hspace="5" > </a>Eike Best, Raymond Devillers<br>ISBN: 9783031482779<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: Kõva köide, Ilmumisaeg: 24-Jan-2024<br> Hind: 76,49 € https://www.kriso.ee/db/9783031482779.html Wed, 24 Jan 2024 00:00:00 GMT Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas 2023 ed. https://www.kriso.ee/simple-type-theory-practical-logic-expressing-db-9783031211140.html <a href="https://www.kriso.ee/simple-type-theory-practical-logic-expressing-db-9783031211140.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031211140.jpg" align="left" hspace="5" > </a>William M. Farmer<br>ISBN: 9783031211140<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: Pehme köide, Ilmumisaeg: 03-Jan-2024<br> Hind: 57,96 € https://www.kriso.ee/db/9783031211140.html Wed, 03 Jan 2024 00:00:00 GMT Algorithms for Constructing Computably Enumerable Sets 2023 ed. https://www.kriso.ee/algorithms-constructing-computably-enumerable-sets-2023-db-9783031269035.html <a href="https://www.kriso.ee/algorithms-constructing-computably-enumerable-sets-2023-db-9783031269035.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031269035.jpg" align="left" hspace="5" > </a>Kenneth J. Supowit<br>ISBN: 9783031269035<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: Kõva köide, Ilmumisaeg: 24-May-2023<br> Hind: 57,96 € https://www.kriso.ee/db/9783031269035.html Wed, 24 May 2023 00:00:00 GMT Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas 2023 ed. https://www.kriso.ee/simple-type-theory-practical-logic-expressing-db-9783031211119.html <a href="https://www.kriso.ee/simple-type-theory-practical-logic-expressing-db-9783031211119.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031211119.jpg" align="left" hspace="5" > </a>William M. Farmer<br>ISBN: 9783031211119<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: Kõva köide, Ilmumisaeg: 02-Jan-2023<br> Hind: 101,92 € https://www.kriso.ee/db/9783031211119.html Mon, 02 Jan 2023 00:00:00 GMT