-
101. Handbook of Floating-Point Arithmetic
by Muller, Jean-Michel, and Brunie, Nicolas, and De Dinechin, Florent
Seller Description: New. Print on demand Sewn binding. Cloth over boards. 627 p. Contains: Unspecified, Illustrations, black & white, Illustrations, color. See More Details
2018, Birkhauser
ISBN-13: 9783319765259
Hardcover, New
NV, USA
$168.69
-
102. Handbook of Floating-Point Arithmetic
by Jean-Michel Muller; Nicolas Brunie; Florent De Dinechin; Claude-Pierre Jeannerod; Mioara Joldes; Vin
eBook See More Details
2018, Springer Nature
eBook ISBN: 9783319765259
Edition: 2nd edition
Format: EPUB eBook
Digital download
$169.99
-
103. Handbook of Floating-Point Arithmetic
by De Dinechin, Florent
Seller Description: New. See More Details
2018, Birkhäuser
ISBN-13: 9783319765259
hardcover, New
Miramar, FL, USA
$171.73
-
104. Handbook of Floating-Point Arithmetic
by De Dinechin, Florent
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2018, Birkhäuser
ISBN-13: 9783319765259
hardcover, Good
Santa Clarita, CA, USA
$175.83
-
105. Handbook of Floating-Point Arithmetic
by Muller, Jean-Michel, and Brunie, Nicolas, and De Dinechin, Florent
Seller Description: New. Sewn binding. Cloth over boards. 627 p. Contains: Unspecified, Illustrations, black & white, Illustrations, color. See More Details
2018, Birkhauser
ISBN-13: 9783319765259
Hardcover, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$177.56
-
106. Formal Verification of Floating-Point Hardware Design: a Mathematical Approach
by Russinoff, David M.
Seller Description: New. See More Details
2018, Springer
ISBN-13: 9783319955124
hardcover, New
Santa Clarita, CA, USA
$197.56
-
107. Handbook of Floating-Point Arithmetic
by Muller, Jean-Michel
Seller Description: New. See More Details
2018, Birkhauser
ISBN-13: 9783319765259
Sterling Heights, MI, USA
$206.47
-
108. Handbook of Floating-Point Arithmetic
by De Dinechin, Florent
Seller Description: New. See More Details
2018, Birkhäuser
ISBN-13: 9783319765259
hardcover, New
Santa Clarita, CA, USA
$222.58
-
109. Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System 1ed
Seller Description: Brand New. New. See More Details
2017, ISTE Press Ltd - Elsevier Inc
ISBN-13: 9781785481123
New Delhi, DELHI, INDIA
$124.58
-
110. Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System 1ed
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2017, ISTE Press Ltd - Elsevier Inc
ISBN-13: 9781785481123
Irving, TX, USA
$139.11
-
111. Computer Arithmetic and Formal Proofs
by Sylvie Boldo; Guillaume Melquiond
eBook See More Details
2017, Elsevier S & T
eBook ISBN: 9781785481123
Format: EPUB eBook
Digital download
$150.00
-
112. Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
by Boldo, Sylvie, and Melquiond, Guillaume
Seller Description: New. Intended for professional and scholarly audience. See More Details
2017, ISTE Press Ltd - Elsevier Inc
ISBN-13: 9781785481123
Hardcover, New
Southport, MERSEYSIDE, UNITED KINGDOM
$203.83
-
113. Computer Arithmetic: Volume III
by Earl E Swartzlander
eBook See More Details
2015, World Scientific Publishing
eBook ISBN: 9789814651134
Format: EPUB eBook
Digital download
$66.00
-
114. Computer Arithmetic (Broken Set Volume 1 Only)
Seller Description: Brand New. New. See More Details
2015, World Scientific Publishing Company
ISBN-13: 9789814651561
New Delhi, DELHI, INDIA
$104.77
-
115. Computer Arithmetic Volume I
by Earl E Swartzlander,
Seller Description: Brand New. New. See More Details
2015, World Scientific Publishing Company
ISBN-13: 9789814651561
New Delhi, DELHI, INDIA
$105.85
-
116. Computer Arithmetic Volume I
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2015, World Scientific Publishing Company
ISBN-13: 9789814651561
Irving, TX, USA
$113.27
-
117. Computer Arithmetic: (Broken Set Volume 3 Only)
Seller Description: Brand New. New. See More Details
2015, World Scientific Publishing Company
ISBN-13: 9789814651134
New Delhi, DELHI, INDIA
$113.76
-
118. Computer Arithmetic (Broken Set Volume 1 Only)
Seller Description: New, Satisfaction guaranteed! ! See More Details
2015, World Scientific Publishing Company
ISBN-13: 9789814651561
Irving, TX, USA
$114.27
-
119. Computer Arithmetic: Volume III
by Swartzlander Earl E Et Al, Earl E Swartzlander,
Seller Description: Brand New. New. See More Details
2015, World Scientific Publishing Company
ISBN-13: 9789814651134
New Delhi, DELHI, INDIA
$114.94
|
