Viimati ilmunud raamatud https://www.kriso.ee Tue, 11 Apr 2023 00:00:00 GMT Tue, 11 Apr 2023 00:00:00 GMT Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker https://www.kriso.ee/concrete-abstractions-formalizing-analyzing-discrete-theories-db-9783031249341e.html <a href="https://www.kriso.ee/concrete-abstractions-formalizing-analyzing-discrete-theories-db-9783031249341e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Wolfgang Schreiner<br>ISBN: 9783031249341<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 11-Apr-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830312493412e.html Tue, 11 Apr 2023 00:00:00 GMT Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker https://www.kriso.ee/concrete-abstractions-formalizing-analyzing-discrete-theories-db-9783031249341e.html <a href="https://www.kriso.ee/concrete-abstractions-formalizing-analyzing-discrete-theories-db-9783031249341e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Wolfgang Schreiner<br>ISBN: 9783031249341<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 11-Apr-2023<br> Hind: 61,74 € https://www.kriso.ee/db/97830312493416e.html Tue, 11 Apr 2023 00:00:00 GMT Integration in Finite Terms: Fundamental Sources https://www.kriso.ee/integration-finite-terms-fundamental-sources-db-9783030987671e.html <a href="https://www.kriso.ee/integration-finite-terms-fundamental-sources-db-9783030987671e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Clemens G. Raab, Michael F. Singer<br>ISBN: 9783030987671<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 06-Jun-2022<br> Hind: 184,63 € https://www.kriso.ee/db/97830309876712e.html Mon, 06 Jun 2022 00:00:00 GMT Anti-Differentiation and the Calculation of Feynman Amplitudes https://www.kriso.ee/anti-differentiation-calculation-feynman-amplitudes-db-9783030802196e.html <a href="https://www.kriso.ee/anti-differentiation-calculation-feynman-amplitudes-db-9783030802196e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Johannes Blümlein, Carsten Schneider<br>ISBN: 9783030802196<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 26-Nov-2021<br> Hind: 172,28 € https://www.kriso.ee/db/97830308021962e.html Fri, 26 Nov 2021 00:00:00 GMT Anti-Differentiation and the Calculation of Feynman Amplitudes https://www.kriso.ee/anti-differentiation-calculation-feynman-amplitudes-db-9783030802196e.html <a href="https://www.kriso.ee/anti-differentiation-calculation-feynman-amplitudes-db-9783030802196e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Johannes Blümlein, Carsten Schneider<br>ISBN: 9783030802196<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 26-Nov-2021<br> Hind: 172,28 € https://www.kriso.ee/db/97830308021966e.html Fri, 26 Nov 2021 00:00:00 GMT Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions https://www.kriso.ee/thinking-programs-logical-modeling-reasoning-about-db-9783030805074e.html <a href="https://www.kriso.ee/thinking-programs-logical-modeling-reasoning-about-db-9783030805074e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Wolfgang Schreiner<br>ISBN: 9783030805074<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 22-Oct-2021<br> Hind: 74,09 € https://www.kriso.ee/db/97830308050742e.html Fri, 22 Oct 2021 00:00:00 GMT Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions https://www.kriso.ee/thinking-programs-logical-modeling-reasoning-about-db-9783030805074e.html <a href="https://www.kriso.ee/thinking-programs-logical-modeling-reasoning-about-db-9783030805074e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Wolfgang Schreiner<br>ISBN: 9783030805074<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 22-Oct-2021<br> Hind: 74,09 € https://www.kriso.ee/db/97830308050746e.html Fri, 22 Oct 2021 00:00:00 GMT Invitation to Analytic Combinatorics: From One to Several Variables https://www.kriso.ee/invitation-analytic-combinatorics-from-several-variables-db-9783030670801e.html <a href="https://www.kriso.ee/invitation-analytic-combinatorics-from-several-variables-db-9783030670801e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Stephen Melczer<br>ISBN: 9783030670801<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 22-Dec-2020<br> Hind: 147,58 € https://www.kriso.ee/db/97830306708012e.html Tue, 22 Dec 2020 00:00:00 GMT Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday https://www.kriso.ee/algorithmic-combinatorics-enumerative-combinatorics-special-functions-db-9783030445591e.html <a href="https://www.kriso.ee/algorithmic-combinatorics-enumerative-combinatorics-special-functions-db-9783030445591e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Veronika Pillwein, Carsten Schneider<br>ISBN: 9783030445591<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 28-Sep-2020<br> Hind: 110,53 € https://www.kriso.ee/db/97830304455912e.html Mon, 28 Sep 2020 00:00:00 GMT Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday https://www.kriso.ee/algorithmic-combinatorics-enumerative-combinatorics-special-functions-db-9783030445591e.html <a href="https://www.kriso.ee/algorithmic-combinatorics-enumerative-combinatorics-special-functions-db-9783030445591e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Veronika Pillwein, Carsten Schneider<br>ISBN: 9783030445591<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 28-Sep-2020<br> Hind: 110,53 € https://www.kriso.ee/db/97830304455916e.html Mon, 28 Sep 2020 00:00:00 GMT Introduction to Computational Origami https://www.kriso.ee/introduction-computational-origami-db-9783319591896e.html <a href="https://www.kriso.ee/introduction-computational-origami-db-9783319591896e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tetsuo Ida<br>ISBN: 9783319591896<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 13-Aug-2020<br> Hind: 184,63 € https://www.kriso.ee/db/97833195918962e.html Thu, 13 Aug 2020 00:00:00 GMT Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory https://www.kriso.ee/elliptic-integrals-elliptic-functions-modular-forms-db-9783030044800e.html <a href="https://www.kriso.ee/elliptic-integrals-elliptic-functions-modular-forms-db-9783030044800e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Johannes Blümlein, Carsten Schneider, Peter Paule<br>ISBN: 9783030044800<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 30-Jan-2019<br> Hind: 246,38 € https://www.kriso.ee/db/97830300448002e.html Wed, 30 Jan 2019 00:00:00 GMT Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory https://www.kriso.ee/elliptic-integrals-elliptic-functions-modular-forms-db-9783030044800e.html <a href="https://www.kriso.ee/elliptic-integrals-elliptic-functions-modular-forms-db-9783030044800e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Johannes Blümlein, Carsten Schneider, Peter Paule<br>ISBN: 9783030044800<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 30-Jan-2019<br> Hind: 246,38 € https://www.kriso.ee/db/97830300448006e.html Wed, 30 Jan 2019 00:00:00 GMT Symbolic Computation of Integrability Structures for Partial Differential Equations https://www.kriso.ee/symbolic-computation-integrability-structures-partial-differential-db-9783319716558e.html <a href="https://www.kriso.ee/symbolic-computation-integrability-structures-partial-differential-db-9783319716558e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo<br>ISBN: 9783319716558<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 03-Apr-2018<br> Hind: 122,88 € https://www.kriso.ee/db/97833197165582e.html Tue, 03 Apr 2018 00:00:00 GMT Symbolic Computation of Integrability Structures for Partial Differential Equations https://www.kriso.ee/symbolic-computation-integrability-structures-partial-differential-db-9783319716558e.html <a href="https://www.kriso.ee/symbolic-computation-integrability-structures-partial-differential-db-9783319716558e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo<br>ISBN: 9783319716558<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 03-Apr-2018<br> Hind: 122,88 € https://www.kriso.ee/db/97833197165586e.html Tue, 03 Apr 2018 00:00:00 GMT