Viimati ilmunud raamatud https://www.kriso.ee Thu, 04 Sep 2025 00:00:00 GMT Thu, 04 Sep 2025 00:00:00 GMT Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions Second Edition 2026 https://www.kriso.ee/thinking-programs-logical-modeling-reasoning-about-db-9783031997044.html <a href="https://www.kriso.ee/thinking-programs-logical-modeling-reasoning-about-db-9783031997044.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031997044.jpg" align="left" hspace="5" > </a>Wolfgang Schreiner<br>ISBN: 9783031997044<br> Kirjastus: Springer International Publishing AG<br> Formaat: Kõva köide, Ilmumisaeg: 04-Sep-2025<br> Hind: 67,23 € https://www.kriso.ee/db/9783031997044.html Thu, 04 Sep 2025 00:00:00 GMT Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker 2023 ed. https://www.kriso.ee/concrete-abstractions-formalizing-analyzing-discrete-theories-db-9783031249365.html <a href="https://www.kriso.ee/concrete-abstractions-formalizing-analyzing-discrete-theories-db-9783031249365.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031249365.jpg" align="left" hspace="5" > </a>Wolfgang Schreiner<br>ISBN: 9783031249365<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 13-Apr-2024<br> Hind: 53,33 € https://www.kriso.ee/db/9783031249365.html Sat, 13 Apr 2024 00:00:00 GMT Integration in Finite Terms: Fundamental Sources 2022 ed. https://www.kriso.ee/integration-finite-terms-fundamental-sources-2022-db-9783030987695.html <a href="https://www.kriso.ee/integration-finite-terms-fundamental-sources-2022-db-9783030987695.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030987695.jpg" align="left" hspace="5" > </a>Clemens G. Raab, Michael F. Singer<br>ISBN: 9783030987695<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 08-Jun-2023<br> Hind: 159,88 € https://www.kriso.ee/db/9783030987695.html Thu, 08 Jun 2023 00:00:00 GMT Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker 2023 ed. https://www.kriso.ee/concrete-abstractions-formalizing-analyzing-discrete-theories-db-9783031249334.html <a href="https://www.kriso.ee/concrete-abstractions-formalizing-analyzing-discrete-theories-db-9783031249334.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031249334.jpg" align="left" hspace="5" > </a>Wolfgang Schreiner<br>ISBN: 9783031249334<br> Kirjastus: Springer International Publishing AG<br> Formaat: Kõva köide, Ilmumisaeg: 12-Apr-2023<br> Hind: 71,86 € https://www.kriso.ee/db/9783031249334.html Wed, 12 Apr 2023 00:00:00 GMT Anti-Differentiation and the Calculation of Feynman Amplitudes 2021 ed. https://www.kriso.ee/anti-differentiation-calculation-feynman-amplitudes-2021-db-9783030802219.html <a href="https://www.kriso.ee/anti-differentiation-calculation-feynman-amplitudes-2021-db-9783030802219.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030802219.jpg" align="left" hspace="5" > </a>Johannes Blümlein, Carsten Schneider<br>ISBN: 9783030802219<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 28-Nov-2022<br> Hind: 150,61 € https://www.kriso.ee/db/9783030802219.html Mon, 28 Nov 2022 00:00:00 GMT Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions 2021 ed. https://www.kriso.ee/thinking-programs-logical-modeling-reasoning-about-db-9783030805098.html <a href="https://www.kriso.ee/thinking-programs-logical-modeling-reasoning-about-db-9783030805098.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030805098.jpg" align="left" hspace="5" > </a>Wolfgang Schreiner<br>ISBN: 9783030805098<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 24-Oct-2022<br> Hind: 67,23 € https://www.kriso.ee/db/9783030805098.html Mon, 24 Oct 2022 00:00:00 GMT Integration in Finite Terms: Fundamental Sources 2022 ed. https://www.kriso.ee/integration-finite-terms-fundamental-sources-2022-db-9783030987664.html <a href="https://www.kriso.ee/integration-finite-terms-fundamental-sources-2022-db-9783030987664.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030987664.jpg" align="left" hspace="5" > </a>Clemens G. Raab, Michael F. Singer<br>ISBN: 9783030987664<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Kõva köide, Ilmumisaeg: 07-Jun-2022<br> Hind: 159,88 € https://www.kriso.ee/db/9783030987664.html Tue, 07 Jun 2022 00:00:00 GMT Invitation to Analytic Combinatorics: From One to Several Variables 1st ed. 2021 https://www.kriso.ee/invitation-analytic-combinatorics-from-several-variables-db-9783030670825.html <a href="https://www.kriso.ee/invitation-analytic-combinatorics-from-several-variables-db-9783030670825.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030670825.jpg" align="left" hspace="5" > </a>Stephen Melczer<br>ISBN: 9783030670825<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 24-Dec-2021<br> Hind: 132,08 € https://www.kriso.ee/db/9783030670825.html Fri, 24 Dec 2021 00:00:00 GMT Anti-Differentiation and the Calculation of Feynman Amplitudes 2021 ed. https://www.kriso.ee/anti-differentiation-calculation-feynman-amplitudes-2021-db-9783030802189.html <a href="https://www.kriso.ee/anti-differentiation-calculation-feynman-amplitudes-2021-db-9783030802189.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030802189.jpg" align="left" hspace="5" > </a>Johannes Blümlein, Carsten Schneider<br>ISBN: 9783030802189<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Kõva köide, Ilmumisaeg: 27-Nov-2021<br> Hind: 150,61 € https://www.kriso.ee/db/9783030802189.html Sat, 27 Nov 2021 00:00:00 GMT Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions 2021 ed. https://www.kriso.ee/thinking-programs-logical-modeling-reasoning-about-db-9783030805067.html <a href="https://www.kriso.ee/thinking-programs-logical-modeling-reasoning-about-db-9783030805067.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030805067.jpg" align="left" hspace="5" > </a>Wolfgang Schreiner<br>ISBN: 9783030805067<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Kõva köide, Ilmumisaeg: 23-Oct-2021<br> Hind: 95,02 € https://www.kriso.ee/db/9783030805067.html Sat, 23 Oct 2021 00:00:00 GMT Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday 2020 ed. https://www.kriso.ee/algorithmic-combinatorics-enumerative-combinatorics-special-functions-db-9783030445614.html <a href="https://www.kriso.ee/algorithmic-combinatorics-enumerative-combinatorics-special-functions-db-9783030445614.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030445614.jpg" align="left" hspace="5" > </a>Veronika Pillwein, Carsten Schneider<br>ISBN: 9783030445614<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 30-Sep-2021<br> Hind: 95,02 € https://www.kriso.ee/db/9783030445614.html Thu, 30 Sep 2021 00:00:00 GMT Invitation to Analytic Combinatorics: From One to Several Variables 1st ed. 2021 https://www.kriso.ee/invitation-analytic-combinatorics-from-several-variables-db-9783030670795.html <a href="https://www.kriso.ee/invitation-analytic-combinatorics-from-several-variables-db-9783030670795.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030670795.jpg" align="left" hspace="5" > </a>Stephen Melczer<br>ISBN: 9783030670795<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Kõva köide, Ilmumisaeg: 23-Dec-2020<br> Hind: 132,08 € https://www.kriso.ee/db/9783030670795.html Wed, 23 Dec 2020 00:00:00 GMT Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday 2020 ed. https://www.kriso.ee/algorithmic-combinatorics-enumerative-combinatorics-special-functions-db-9783030445584.html <a href="https://www.kriso.ee/algorithmic-combinatorics-enumerative-combinatorics-special-functions-db-9783030445584.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030445584.jpg" align="left" hspace="5" > </a>Veronika Pillwein, Carsten Schneider<br>ISBN: 9783030445584<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Kõva köide, Ilmumisaeg: 29-Sep-2020<br> Hind: 95,02 € https://www.kriso.ee/db/9783030445584.html Tue, 29 Sep 2020 00:00:00 GMT Introduction to Computational Origami 1st ed. 2020 https://www.kriso.ee/introduction-computational-origami-1st-ed-2020-db-9783319591889.html <a href="https://www.kriso.ee/introduction-computational-origami-1st-ed-2020-db-9783319591889.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978331/9783319591889.jpg" align="left" hspace="5" > </a>Tetsuo Ida<br>ISBN: 9783319591889<br> Kirjastus: Springer International Publishing AG<br> Formaat: Kõva köide, Ilmumisaeg: 14-Aug-2020<br> Hind: 159,88 € https://www.kriso.ee/db/9783319591889.html Fri, 14 Aug 2020 00:00:00 GMT Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory 2019 ed. https://www.kriso.ee/elliptic-integrals-elliptic-functions-modular-forms-db-9783030044794.html <a href="https://www.kriso.ee/elliptic-integrals-elliptic-functions-modular-forms-db-9783030044794.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030044794.jpg" align="left" hspace="5" > </a>Johannes Blümlein, Carsten Schneider, Peter Paule<br>ISBN: 9783030044794<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Kõva köide, Ilmumisaeg: 15-Feb-2019<br> Hind: 206,20 € https://www.kriso.ee/db/9783030044794.html Fri, 15 Feb 2019 00:00:00 GMT