https://www.kriso.ee Tue, 14 Feb 2023 00:00:00 GMT Tue, 14 Feb 2023 00:00:00 GMT 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 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 https://www.kriso.ee/numerical-verification-methods-computer-assisted-proofs-db-9789811376696e.html <a href="https://www.kriso.ee/numerical-verification-methods-computer-assisted-proofs-db-9789811376696e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe<br>ISBN: 9789811376696<br> Kirjastus: Springer Verlag, Singapore<br> Formaat: PDF+DRM, Ilmumisaeg: 11-Nov-2019<br> Hind: 147,58 € https://www.kriso.ee/db/97898113766962e.html Mon, 11 Nov 2019 00:00:00 GMT https://www.kriso.ee/numerical-verification-methods-computer-assisted-proofs-db-9789811376696e.html <a href="https://www.kriso.ee/numerical-verification-methods-computer-assisted-proofs-db-9789811376696e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe<br>ISBN: 9789811376696<br> Kirjastus: Springer Verlag, Singapore<br> Formaat: EPUB+DRM, Ilmumisaeg: 11-Nov-2019<br> Hind: 147,58 € https://www.kriso.ee/db/97898113766966e.html Mon, 11 Nov 2019 00:00:00 GMT 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 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 https://www.kriso.ee/accuracy-verification-methods-theory-algorithms-db-9789400775817e.html <a href="https://www.kriso.ee/accuracy-verification-methods-theory-algorithms-db-9789400775817e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978940/9789400775817.jpg" align="left" hspace="5" > </a>Olli Mali, Pekka Neittaanmäki, Sergey Repin<br>ISBN: 9789400775817<br> Kirjastus: Springer<br> Formaat: PDF+DRM, Ilmumisaeg: 27-Oct-2013<br> Hind: 110,53 € https://www.kriso.ee/db/97894007758172e.html Sun, 27 Oct 2013 00:00:00 GMT 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 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 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 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 https://www.kriso.ee/verification-computer-codes-computational-science-engineering-db-9781040200520e.html <a href="https://www.kriso.ee/verification-computer-codes-computational-science-engineering-db-9781040200520e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978104/9781040200520.jpg" align="left" hspace="5" > </a>Patrick Knupp, Kambiz Salari<br>ISBN: 9781040200520<br> Kirjastus: Chapman & Hall/CRC<br> Formaat: EPUB+DRM, Ilmumisaeg: 29-Oct-2002<br> Hind: 64,99 € https://www.kriso.ee/db/97810402005206e.html Tue, 29 Oct 2002 00:00:00 GMT https://www.kriso.ee/verification-computer-codes-computational-science-engineering-db-9781420035421e.html <a href="https://www.kriso.ee/verification-computer-codes-computational-science-engineering-db-9781420035421e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978142/9781420035421.jpg" align="left" hspace="5" > </a>Patrick Knupp, Kambiz Salari<br>ISBN: 9781420035421<br> Kirjastus: Chapman & Hall/CRC<br> Formaat: PDF+DRM, Ilmumisaeg: 29-Oct-2002<br> Hind: 64,99 € https://www.kriso.ee/db/97814200354212e.html Tue, 29 Oct 2002 00:00:00 GMT