Naujos knygos

Floating Point Numerics for Games and Simulations

Thu, 29 May 2025 00:00:00 GMT

Nima Badizadegan
ISBN: 9781032933566
Leid�jas: CRC Press
Formatas: Kietas vir�elis, I�leidimo metai: 29-May-2025
Kaina: 191,80 �

Floating Point Numerics for Games and Simulations

Thu, 29 May 2025 00:00:00 GMT

Nima Badizadegan
ISBN: 9781032933559
Leid�jas: CRC Press
Formatas: Mink�tas vir�elis, I�leidimo metai: 29-May-2025
Kaina: 79,74 �

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Second Edition 2022

Sun, 05 Mar 2023 00:00:00 GMT

David M. Russinoff
ISBN: 9783030871833
Leid�jas: Springer Nature Switzerland AG
Formatas: Mink�tas vir�elis, I�leidimo metai: 05-Mar-2023
Kaina: 104,29 �

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Second Edition 2022

Fri, 04 Mar 2022 00:00:00 GMT

David M. Russinoff
ISBN: 9783030871802
Leid�jas: Springer Nature Switzerland AG
Formatas: Kietas vir�elis, I�leidimo metai: 04-Mar-2022
Kaina: 141,35 �

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System

Thu, 16 Nov 2017 00:00:00 GMT

Sylvie Boldo, Guillaume Melquiond
ISBN: 9781785481123
Leid�jas: ISTE Press Ltd - Elsevier Inc
Formatas: Kietas vir�elis, I�leidimo metai: 16-Nov-2017
Kaina: 183,70 �

Computer Arithmetic - Volume Ii

Mon, 18 May 2015 00:00:00 GMT

Earl E Swartzlander
ISBN: 9789814641463
Leid�jas: World Scientific Publishing Co Pte Ltd
Formatas: Kietas vir�elis, I�leidimo metai: 18-May-2015
Kaina: 212,05 �

Computer Arithmetic - Volume I

Mon, 18 May 2015 00:00:00 GMT

Earl E Swartzlander
ISBN: 9789814651561
Leid�jas: World Scientific Publishing Co Pte Ltd
Formatas: Kietas vir�elis, I�leidimo metai: 18-May-2015
Kaina: 175,60 �

Computer Arithmetic - Volume Iii

Mon, 27 Apr 2015 00:00:00 GMT

Earl E Swartzlander, Carl E Lemonds
ISBN: 9789814651134
Leid�jas: World Scientific Publishing Co Pte Ltd
Formatas: Kietas vir�elis, I�leidimo metai: 27-Apr-2015
Kaina: 205,30 �

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Wed, 17 Apr 2013 00:00:00 GMT

Ulrich Kulisch
ISBN: 9783110301731
Leid�jas: De Gruyter
Formatas: Kietas vir�elis, I�leidimo metai: 17-Apr-2013
Kaina: 182,60 �

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Sun, 01 Jan 2012 00:00:00 GMT

Ulrich Kulisch
ISBN: 9783110301809
Leid�jas: Walter de Gruyter & Co
Formatas: Multiple-component retail product, I�leidimo metai: 01-Jan-2012
Kaina: 253,00 �

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Wed, 27 Aug 2008 00:00:00 GMT

Ulrich Kulisch
ISBN: 9783119167673
Leid�jas: Walter de Gruyter & Co
Formatas: Multiple-component retail product, I�leidimo metai: 27-Aug-2008
Kaina: 280,00 �

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Tue, 20 May 2008 00:00:00 GMT

Ulrich Kulisch
ISBN: 9783110203189
Leid�jas: De Gruyter
Formatas: Kietas vir�elis, I�leidimo metai: 20-May-2008
Kaina: 144,45 �

Computer Arithmetic in Theory and Practice

Wed, 29 Oct 1997 00:00:00 GMT

Ulrich W. Kulisch, Willard L. Miranker
ISBN: 9780124286504
Leid�jas: Academic Press Inc
Formatas: Kietas vir�elis, I�leidimo metai: 29-Oct-1997
Kaina: 97,75 �

Improving FloatingPoint Programming

Mon, 30 Apr 1990 00:00:00 GMT

Peter J. L. Wallis
ISBN: 9780471924371
Leid�jas: John Wiley & Sons Ltd
Formatas: Kietas vir�elis, I�leidimo metai: 30-Apr-1990
Kaina: 523,00 �

MC68881/MC68882 Floating Point Coprocessors User's Manual

Sat, 30 Apr 1988 00:00:00 GMT

Motorola
ISBN: 9780135669365
Leid�jas: Longman Higher Education
Formatas: Mink�tas vir�elis, I�leidimo metai: 30-Apr-1988
Kaina: 36,46 �