https://www.kriso.ee Thu, 03 Apr 2025 00:00:00 GMT Thu, 03 Apr 2025 00:00:00 GMT 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 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 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 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 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 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 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