Viimati ilmunud raamatud https://www.kriso.ee Mon, 17 Feb 2025 00:00:00 GMT Mon, 17 Feb 2025 00:00:00 GMT Multi-valued Logic for Decision-Making Under Uncertainty https://www.kriso.ee/multi-valued-logic-decision-making-under-db-9783031747625e.html <a href="https://www.kriso.ee/multi-valued-logic-decision-making-under-db-9783031747625e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Evgeny Kagan, Alexander Rybalov, Ronald Yager<br>ISBN: 9783031747625<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: PDF+DRM, Ilmumisaeg: 17-Feb-2025<br> Hind: 222,29 € https://www.kriso.ee/db/97830317476252e.html Mon, 17 Feb 2025 00:00:00 GMT Multi-valued Logic for Decision-Making Under Uncertainty https://www.kriso.ee/multi-valued-logic-decision-making-under-db-9783031747625e.html <a href="https://www.kriso.ee/multi-valued-logic-decision-making-under-db-9783031747625e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Evgeny Kagan, Alexander Rybalov, Ronald Yager<br>ISBN: 9783031747625<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 17-Feb-2025<br> Hind: 222,29 € https://www.kriso.ee/db/97830317476256e.html Mon, 17 Feb 2025 00:00:00 GMT Category Theory Using Haskell: An Introduction with Moggi and Yoneda https://www.kriso.ee/category-theory-using-haskell-introduction-moggi-db-9783031685385e.html <a href="https://www.kriso.ee/category-theory-using-haskell-introduction-moggi-db-9783031685385e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Shuichi Yukita<br>ISBN: 9783031685385<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: PDF+DRM, Ilmumisaeg: 06-Dec-2024<br> Hind: 222,29 € https://www.kriso.ee/db/97830316853852e.html Fri, 06 Dec 2024 00:00:00 GMT Category Theory Using Haskell: An Introduction with Moggi and Yoneda https://www.kriso.ee/category-theory-using-haskell-introduction-moggi-db-9783031685385e.html <a href="https://www.kriso.ee/category-theory-using-haskell-introduction-moggi-db-9783031685385e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Shuichi Yukita<br>ISBN: 9783031685385<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 06-Dec-2024<br> Hind: 222,29 € https://www.kriso.ee/db/97830316853856e.html Fri, 06 Dec 2024 00:00:00 GMT Guide to Software Verification with Frama-C: Core Components, Usages, and Applications https://www.kriso.ee/guide-software-verification-frama-c-core-db-9783031556081e.html <a href="https://www.kriso.ee/guide-software-verification-frama-c-core-db-9783031556081e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Nikolai Kosmatov, Virgile Prevosto, Julien Signoles<br>ISBN: 9783031556081<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 09-Jul-2024<br> Hind: 67,91 € https://www.kriso.ee/db/97830315560812e.html Tue, 09 Jul 2024 00:00:00 GMT Guide to Software Verification with Frama-C: Core Components, Usages, and Applications https://www.kriso.ee/guide-software-verification-frama-c-core-db-9783031556081e.html <a href="https://www.kriso.ee/guide-software-verification-frama-c-core-db-9783031556081e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Nikolai Kosmatov, Virgile Prevosto, Julien Signoles<br>ISBN: 9783031556081<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 09-Jul-2024<br> Hind: 67,91 € https://www.kriso.ee/db/97830315560816e.html Tue, 09 Jul 2024 00:00:00 GMT Structural Decision Diagrams in Digital Test: Theory and Applications https://www.kriso.ee/structural-decision-diagrams-digital-test-theory-db-9783031447341e.html <a href="https://www.kriso.ee/structural-decision-diagrams-digital-test-theory-db-9783031447341e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman<br>ISBN: 9783031447341<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: PDF+DRM, Ilmumisaeg: 29-Jan-2024<br> Hind: 246,38 € https://www.kriso.ee/db/97830314473412e.html Mon, 29 Jan 2024 00:00:00 GMT Structural Decision Diagrams in Digital Test: Theory and Applications https://www.kriso.ee/structural-decision-diagrams-digital-test-theory-db-9783031447341e.html <a href="https://www.kriso.ee/structural-decision-diagrams-digital-test-theory-db-9783031447341e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman<br>ISBN: 9783031447341<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 29-Jan-2024<br> Hind: 246,38 € https://www.kriso.ee/db/97830314473416e.html Mon, 29 Jan 2024 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-9783031482786e.html <a href="https://www.kriso.ee/petri-net-primer-compendium-core-model-db-9783031482786e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Eike Best, Raymond Devillers<br>ISBN: 9783031482786<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: PDF+DRM, Ilmumisaeg: 23-Jan-2024<br> Hind: 86,44 € https://www.kriso.ee/db/97830314827862e.html Tue, 23 Jan 2024 00:00:00 GMT Algorithms for Constructing Computably Enumerable Sets https://www.kriso.ee/algorithms-constructing-computably-enumerable-sets-db-9783031269042e.html <a href="https://www.kriso.ee/algorithms-constructing-computably-enumerable-sets-db-9783031269042e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Kenneth J. Supowit<br>ISBN: 9783031269042<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: PDF+DRM, Ilmumisaeg: 23-May-2023<br> Hind: 67,91 € https://www.kriso.ee/db/97830312690422e.html Tue, 23 May 2023 00:00:00 GMT Algorithms for Constructing Computably Enumerable Sets https://www.kriso.ee/algorithms-constructing-computably-enumerable-sets-db-9783031269042e.html <a href="https://www.kriso.ee/algorithms-constructing-computably-enumerable-sets-db-9783031269042e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Kenneth J. Supowit<br>ISBN: 9783031269042<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 23-May-2023<br> Hind: 67,91 € https://www.kriso.ee/db/97830312690426e.html Tue, 23 May 2023 00:00:00 GMT Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas https://www.kriso.ee/simple-type-theory-practical-logic-expressing-db-9783031211126e.html <a href="https://www.kriso.ee/simple-type-theory-practical-logic-expressing-db-9783031211126e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>William M. Farmer<br>ISBN: 9783031211126<br> Kirjastus: Birkhauser Verlag AG<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Jan-2023<br> Hind: 67,91 € https://www.kriso.ee/db/97830312111262e.html Sun, 01 Jan 2023 00:00:00 GMT