Viimati ilmunud raamatud https://www.kriso.ee Tue, 14 Feb 2023 00:00:00 GMT Tue, 14 Feb 2023 00:00:00 GMT Formal Verification of Structurally Complex Multipliers https://www.kriso.ee/formal-verification-structurally-complex-multipliers-db-9783031245718e.html <a href="https://www.kriso.ee/formal-verification-structurally-complex-multipliers-db-9783031245718e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Alireza Mahzoon, Daniel Große, Rolf Drechsler<br>ISBN: 9783031245718<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 14-Feb-2023<br> Hind: 98,18 € https://www.kriso.ee/db/97830312457182e.html Tue, 14 Feb 2023 00:00:00 GMT Formal Verification of Structurally Complex Multipliers https://www.kriso.ee/formal-verification-structurally-complex-multipliers-db-9783031245718e.html <a href="https://www.kriso.ee/formal-verification-structurally-complex-multipliers-db-9783031245718e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Alireza Mahzoon, Daniel Große, Rolf Drechsler<br>ISBN: 9783031245718<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 14-Feb-2023<br> Hind: 98,18 € https://www.kriso.ee/db/97830312457186e.html Tue, 14 Feb 2023 00:00:00 GMT Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers https://www.kriso.ee/scientific-computing-computer-arithmetic-validated-numerics-db-9783319317694e.html <a href="https://www.kriso.ee/scientific-computing-computer-arithmetic-validated-numerics-db-9783319317694e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker<br>ISBN: 9783319317694<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 08-Apr-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97833193176942e.html Fri, 08 Apr 2016 00:00:00 GMT Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers https://www.kriso.ee/scientific-computing-computer-arithmetic-validated-numerics-db-9783319317694e.html <a href="https://www.kriso.ee/scientific-computing-computer-arithmetic-validated-numerics-db-9783319317694e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker<br>ISBN: 9783319317694<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 08-Apr-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97833193176946e.html Fri, 08 Apr 2016 00:00:00 GMT Validated Numerics: A Short Introduction to Rigorous Computations https://www.kriso.ee/validated-numerics-short-introduction-rigorous-computations-db-9781400838974e.html <a href="https://www.kriso.ee/validated-numerics-short-introduction-rigorous-computations-db-9781400838974e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978140/9781400838974.jpg" align="left" hspace="5" > </a>Warwick Tucker<br>ISBN: 9781400838974<br> Kirjastus: Princeton University Press<br> Formaat: PDF+DRM, Ilmumisaeg: 05-Jul-2011<br> Hind: 41,99 € https://www.kriso.ee/db/97814008389742e.html Tue, 05 Jul 2011 00:00:00 GMT Validated Numerics: A Short Introduction to Rigorous Computations https://www.kriso.ee/validated-numerics-short-introduction-rigorous-computations-db-9781400838974e.html <a href="https://www.kriso.ee/validated-numerics-short-introduction-rigorous-computations-db-9781400838974e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978140/9781400838974.jpg" align="left" hspace="5" > </a>Warwick Tucker<br>ISBN: 9781400838974<br> Kirjastus: Princeton University Press<br> Formaat: EPUB+DRM, Ilmumisaeg: 05-Jul-2011<br> Hind: 41,99 € https://www.kriso.ee/db/97814008389746e.html Tue, 05 Jul 2011 00:00:00 GMT Verification and Validation in Scientific Computing https://www.kriso.ee/verification-validation-scientific-computing-db-9780511903977e.html <a href="https://www.kriso.ee/verification-validation-scientific-computing-db-9780511903977e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>William L. Oberkampf, Christopher J. Roy<br>ISBN: 9780511903977<br> Kirjastus: Cambridge University Press<br> Formaat: PDF+DRM, Ilmumisaeg: 14-Oct-2010<br> Hind: 160,55 € https://www.kriso.ee/db/97805119039772e.html Thu, 14 Oct 2010 00:00:00 GMT Verification and Validation in Scientific Computing https://www.kriso.ee/verification-validation-scientific-computing-db-9781139813761e.html <a href="https://www.kriso.ee/verification-validation-scientific-computing-db-9781139813761e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978113/9781139813761.jpg" align="left" hspace="5" > </a>William L. Oberkampf, Christopher J. Roy<br>ISBN: 9781139813761<br> Kirjastus: Cambridge University Press<br> Formaat: EPUB+DRM, Ilmumisaeg: 14-Oct-2010<br> Hind: 160,55 € https://www.kriso.ee/db/97811398137616e.html Thu, 14 Oct 2010 00:00:00 GMT