# The Leading eBooks Store Online

## for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

#### Computer Algebra in Scientific Computing

Springer International Publishing 2015; US$ 107.00This book constitutes the proceedings of the 17 th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015. The 35 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They deal with the ongoing progress both in theoretical computer algebra... more...

#### Polynomial Theory of Error Correcting Codes

Springer International Publishing 2014; US$ 229.00Numerous examples and indexed definitions make this detailed guide to polynomial theory in error-correcting codes a highly accessible resource. New codes and a unitary approach to block and convolutional codes will enhance readers? understanding of the topic. more...

#### Computer Arithmetic and Self-Validating Numerical Methods

Elsevier Science 2014; US$ 72.95Notes and Reports in Mathematics in Science and Engineering, Volume VII: Computer Arithmetic and Self-Validating Numerical Methods compiles papers presented at the first international conference on ?Computer Arithmetic and Self-Validating Numerical Methods, held in Basel from October 2 to 6, 1989. This book begins by providing a tutorial introduction... more...

#### Evolvable Components

Springer Berlin Heidelberg 2012; US$ 109.00At the beginning of the 1990s research started in how to combine soft comput ing with reconfigurable hardware in a quite unique way. One of the methods that was developed has been called evolvable hardware. Thanks to evolution ary algorithms researchers have started to evolve electronic circuits routinely. A number of interesting circuits - with... more...

#### Arithmetic Optimization Techniques for Hardware and Software Design

Cambridge University Press 2010; US$ 112.00Obtain better system performance, lower power consumption, and avoid hand-coding arithmetic functions with this concise guide to automated optimization techniques. more...

#### Handbook of Floating-Point Arithmetic

Birkhäuser Boston 2009; US$ 149.00This handbook aims to provide a complete overview of modern floating-point arithmetic. This includes a detailed treatment of the current (IEEE-754) and next (preliminarily called IEEE-754R) standards for floating-point arithmetic. more...

#### Towards Mathematical Philosophy

Springer Netherlands 2008; US$ 219.00This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. more...

#### Computer Arithmetic and Validity

De Gruyter 2008; US$ 168.00The present book deals with the theory of computer arithmetic, its implementation on digital computers and applications in applied mathematics to compute highly accurate and mathematically verified results.The aim is to improve the accuracy of numerical computing (by implementing advanced computer arithmetic) and to control the quality of... more...

#### Logica Universalis

Birkhäuser Basel 2007; US$ 79.95Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics... more...

#### Logica Universalis

Birkhäuser Basel 2005; US$ 69.95Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics... more...