Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Symbolic Algebraic Methods and Verification Methods

Name: Symbolic Algebraic Methods and Verification Methods
Brand: Springer, Wien
SKU: 01464536
Price: 51.78 EUR
Availability: InStock
Author: Götz Alefeld
ISBN: 9783211835937

Götz Alefeld

Jiri Rohn

Siegfried Rump

Language

English

Book Paperback

Libristo code: 01464536

Publishers Springer, Wien, March 2001

The usual implementation of real numbers as floating point numbers on existing computers has the wel... Full description

Libristo code: 01464536

125 b

51.78 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Angel Gabriel - Pacto de Sangue: Edicao de 5 anos Ana C Nunes

Paperback

17.52 €

Obloha je pretkaná riekami Elif Shafak

Hardback

25.12 €

Ruf der Generation Y nach Easy Economy Maria Kovarik

Paperback

35.76 €

Tage des Lotus Peter Lehmann

Hardback

15.29 €

Alternativen zur Kündigung Marion Bernhardt

Paperback

35.26 €

Privatisierung durch Ausschreibungsverfahren. Wolf-Henner Snethlage

Paperback

158.60 €

Modellizzazione di sistemi informativi per gli insegnanti FRAM Luc Léonard Lezoma

Paperback

39.31 €

Die Stellung der Gesellschaft des bürgerlichen Rechts im Erkenntnis-, Vollstreckungs- und Konkursverfahren. Stephan Göckeler

Paperback

75.39 €

Der, Die, Das Constantin Vayenas

Adobe ePub DRM

10.73 €

Pershing Příběh 5hvězdičkového generála Ivan Brož

Hardback

0.90 €

Der gelbe Hund Udo O. Rabsch

Paperback

14.68 €

Neues von Mara und Timo Birgit Sommer

Paperback

5.67 €

Alice A. Bailey, Vida e Legado Isobel Blackthorn

Paperback

19.85 €

Comunicazione Assertiva Ed Efficace 3.0 Carbone Nicola Carbone

Paperback

12.15 €

ANTOLOGÍA FEDERICO MAYOR ZARAGOZA

Audio CD

25.02 €

Die Gattung Boa Klaus Bonny

Hardback

33.54 €

Medicine et pedagogie: lecons professees a l'Ecole des hautes etudes sociales Ecoles Des Hautes Etudes Sociales

Paperback

25.22 €

No Hay Que Morir Dos Veces Francisco G. Ledesma

Paperback

11.34 €

Einfach mal den Weg gehen Rainer Jäckle

Paperback

8.81 €

L'Arabie Heureuse, Souvenirs de Voyages En Afrique Et En Asie. Volume 1 DU COURET-L

Paperback

25.22 €

Mythologie de Tous Les Temps, de Tous Les Lieux Et de Tous Les Peuples Bescherelle-L-N

Paperback

16.51 €

Serce za serce czyli co to znaczy kochac Twardowski Jan

Hardback

11.95 €

The usual implementation of real numbers as floating point numbers on existing computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating point. Also the four basic arithmetic operations can usually not be performed exactly. During the last years research in different areas has been intensified in order to overcome these problems. (LEDA-Library by K. Mehlhorn et al., Exact arithmetic with real numbers by A. Edalat et al., Symbolic algebraic methods, verification methods). The latest development is the combination of symbolic-algebraic methods and verification methods to so-called hybrid methods. This book contains a collection of worked out talks on these subjects given during a Dagstuhl seminar at the Forschungszentrum für Informatik, Schloss Dagstuhl, Germany, presenting the state of the art.