Viimati ilmunud raamatud https://www.kriso.ee Thu, 03 Apr 2025 00:00:00 GMT Thu, 03 Apr 2025 00:00:00 GMT Verification, Validation, and Uncertainty Quantification in Scientific Computing 2nd Revised edition https://www.kriso.ee/verification-validation-uncertainty-quantification-scientific-computing-db-9781316516133.html <a href="https://www.kriso.ee/verification-validation-uncertainty-quantification-scientific-computing-db-9781316516133.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978131/9781316516133.jpg" align="left" hspace="5" > </a>William L. Oberkampf, Christopher J. Roy<br>ISBN: 9781316516133<br> Kirjastus: Cambridge University Press<br> Formaat: Kõva köide, Ilmumisaeg: 03-Apr-2025<br> Hind: 151,30 € https://www.kriso.ee/db/9781316516133.html Thu, 03 Apr 2025 00:00:00 GMT Formal Verification of Structurally Complex Multipliers 2023 ed. https://www.kriso.ee/formal-verification-structurally-complex-multipliers-2023-db-9783031245732.html <a href="https://www.kriso.ee/formal-verification-structurally-complex-multipliers-2023-db-9783031245732.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031245732.jpg" align="left" hspace="5" > </a>Alireza Mahzoon, Daniel Große, Rolf Drechsler<br>ISBN: 9783031245732<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 16-Feb-2024<br> Hind: 85,76 € https://www.kriso.ee/db/9783031245732.html Fri, 16 Feb 2024 00:00:00 GMT Validated Numerics: A Short Introduction to Rigorous Computations https://www.kriso.ee/validated-numerics-short-introduction-rigorous-computations-db-9780691247656.html <a href="https://www.kriso.ee/validated-numerics-short-introduction-rigorous-computations-db-9780691247656.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978069/9780691247656.jpg" align="left" hspace="5" > </a>Warwick Tucker<br>ISBN: 9780691247656<br> Kirjastus: Princeton University Press<br> Formaat: Pehme köide, Ilmumisaeg: 06-Jun-2023<br> Hind: 54,10 € https://www.kriso.ee/db/9780691247656.html Tue, 06 Jun 2023 00:00:00 GMT Formal Verification of Structurally Complex Multipliers 2023 ed. https://www.kriso.ee/formal-verification-structurally-complex-multipliers-2023-db-9783031245701.html <a href="https://www.kriso.ee/formal-verification-structurally-complex-multipliers-2023-db-9783031245701.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031245701.jpg" align="left" hspace="5" > </a>Alireza Mahzoon, Daniel Große, Rolf Drechsler<br>ISBN: 9783031245701<br> Kirjastus: Springer International Publishing AG<br> Formaat: Kõva köide, Ilmumisaeg: 15-Feb-2023<br> Hind: 85,76 € https://www.kriso.ee/db/9783031245701.html Wed, 15 Feb 2023 00:00:00 GMT Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations 2019 ed. https://www.kriso.ee/numerical-verification-methods-computer-assisted-proofs-db-9789811376719.html <a href="https://www.kriso.ee/numerical-verification-methods-computer-assisted-proofs-db-9789811376719.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978981/9789811376719.jpg" align="left" hspace="5" > </a>Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe<br>ISBN: 9789811376719<br> Kirjastus: Springer Verlag, Singapore<br> Formaat: Pehme köide, Ilmumisaeg: 20-Nov-2020<br> Hind: 132,08 € https://www.kriso.ee/db/9789811376719.html Fri, 20 Nov 2020 00:00:00 GMT Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations 2019 ed. https://www.kriso.ee/numerical-verification-methods-computer-assisted-proofs-db-9789811376689.html <a href="https://www.kriso.ee/numerical-verification-methods-computer-assisted-proofs-db-9789811376689.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978981/9789811376689.jpg" align="left" hspace="5" > </a>Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe<br>ISBN: 9789811376689<br> Kirjastus: Springer Verlag, Singapore<br> Formaat: Kõva köide, Ilmumisaeg: 20-Nov-2019<br> Hind: 132,08 € https://www.kriso.ee/db/9789811376689.html Wed, 20 Nov 2019 00:00:00 GMT Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers 1st ed. 2016 https://www.kriso.ee/scientific-computing-computer-arithmetic-validated-numerics-db-9783319317687.html <a href="https://www.kriso.ee/scientific-computing-computer-arithmetic-validated-numerics-db-9783319317687.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978331/9783319317687.jpg" align="left" hspace="5" > </a>Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker<br>ISBN: 9783319317687<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 10-Apr-2015<br> Hind: 48,70 € https://www.kriso.ee/db/9783319317687.html Fri, 10 Apr 2015 00:00:00 GMT Accuracy Verification Methods: Theory and Algorithms 2014 ed. https://www.kriso.ee/accuracy-verification-methods-theory-algorithms-2014-db-9789400775800.html <a href="https://www.kriso.ee/accuracy-verification-methods-theory-algorithms-2014-db-9789400775800.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978940/9789400775800.jpg" align="left" hspace="5" > </a>Olli Mali, Pekka Neittaanmäki, Sergey Repin<br>ISBN: 9789400775800<br> Kirjastus: Springer<br> Formaat: Kõva köide, Ilmumisaeg: 11-Nov-2013<br> Hind: 95,02 € https://www.kriso.ee/db/9789400775800.html Mon, 11 Nov 2013 00:00:00 GMT Validated Numerics: A Short Introduction to Rigorous Computations https://www.kriso.ee/validated-numerics-short-introduction-rigorous-computations-db-9780691147819.html <a href="https://www.kriso.ee/validated-numerics-short-introduction-rigorous-computations-db-9780691147819.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978069/9780691147819.jpg" align="left" hspace="5" > </a>Warwick Tucker<br>ISBN: 9780691147819<br> Kirjastus: Princeton University Press<br> Formaat: Kõva köide, Ilmumisaeg: 25-Jul-2011<br> Hind: 77,05 € https://www.kriso.ee/db/9780691147819.html Mon, 25 Jul 2011 00:00:00 GMT Verification and Validation in Scientific Computing https://www.kriso.ee/verification-validation-scientific-computing-db-9780521113601.html <a href="https://www.kriso.ee/verification-validation-scientific-computing-db-9780521113601.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978052/9780521113601.jpg" align="left" hspace="5" > </a>William L. Oberkampf, Christopher J. Roy<br>ISBN: 9780521113601<br> Kirjastus: Cambridge University Press<br> Formaat: Kõva köide, Ilmumisaeg: 14-Oct-2010<br> Hind: 185,05 € https://www.kriso.ee/db/9780521113601.html Thu, 14 Oct 2010 00:00:00 GMT Virtual Immersive and 3D Learning Spaces: Emerging Technologies and Trends https://www.kriso.ee/virtual-immersive-3d-learning-spaces-emerging-db-9781668410691.html <a href="https://www.kriso.ee/virtual-immersive-3d-learning-spaces-emerging-db-9781668410691.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Shalin Hai-Jew<br>ISBN: 9781668410691<br> Kirjastus: Information Science Reference<br> Formaat: Multiple-component retail product, Ilmumisaeg: 30-Sep-2010<br> Hind: 293,05 € https://www.kriso.ee/db/9781668410691.html Thu, 30 Sep 2010 00:00:00 GMT Verification and Validation of 3D Free-surface Flow Models https://www.kriso.ee/verification-validation-3d-free-surface-flow-db-9780784409572.html <a href="https://www.kriso.ee/verification-validation-3d-free-surface-flow-db-9780784409572.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978078/9780784409572.jpg" align="left" hspace="5" > </a>Sam S.Y. Wang, Patrick J. Roche, Richard A. Schmalz, Yafei Jia<br>ISBN: 9780784409572<br> Kirjastus: American Society of Civil Engineers<br> Formaat: Pehme köide, Ilmumisaeg: 30-Mar-2009<br> Hind: 145,90 € https://www.kriso.ee/db/9780784409572.html Mon, 30 Mar 2009 00:00:00 GMT Compliance Quantified: An Introduction to Data Verification https://www.kriso.ee/compliance-quantified-introduction-data-verification-db-9780521019194.html <a href="https://www.kriso.ee/compliance-quantified-introduction-data-verification-db-9780521019194.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978052/9780521019194.jpg" align="left" hspace="5" > </a>Rudolf Avenhaus, Morton John Canty, Francesco Calogero<br>ISBN: 9780521019194<br> Kirjastus: Cambridge University Press<br> Formaat: Pehme köide, Ilmumisaeg: 08-Sep-2005<br> Hind: 56,80 € https://www.kriso.ee/db/9780521019194.html Thu, 08 Sep 2005 00:00:00 GMT Verification of Computer Codes in Computational Science and Engineering https://www.kriso.ee/verification-computer-codes-computational-science-engineering-db-9781584882640.html <a href="https://www.kriso.ee/verification-computer-codes-computational-science-engineering-db-9781584882640.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978158/9781584882640.jpg" align="left" hspace="5" > </a>Patrick Knupp, Kambiz Salari<br>ISBN: 9781584882640<br> Kirjastus: Chapman & Hall/CRC<br> Formaat: Kõva köide, Ilmumisaeg: 29-Oct-2002<br> Hind: 218,80 € https://www.kriso.ee/db/9781584882640.html Tue, 29 Oct 2002 00:00:00 GMT Partial Order Methods in Verification https://www.kriso.ee/partial-order-methods-verification-db-9780821805794.html <a href="https://www.kriso.ee/partial-order-methods-verification-db-9780821805794.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978082/9780821805794.jpg" align="left" hspace="5" > </a>Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann<br>ISBN: 9780821805794<br> Kirjastus: American Mathematical Society<br> Formaat: Kõva köide, Ilmumisaeg: 01-Jan-1997<br> Hind: 143,20 € https://www.kriso.ee/db/9780821805794.html Wed, 01 Jan 1997 00:00:00 GMT