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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

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.09 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.09 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

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

Paperback

16.89 €

Obloha je pretkaná riekami Elif Shafak

Hardback

25.39 €

Ruf der Generation Y nach Easy Economy Maria Kovarik

Paperback

39.99 €

Tage des Lotus Peter Lehmann

Hardback

16.91 €

Fischer-Kontroverse - eine Zasur in der deutschen Geschichtsschreibung? Kurt Fuchs

Paperback

17.95 €

Alternativen zur Kündigung Marion Bernhardt

Paperback

35.00 €

Privatisierung durch Ausschreibungsverfahren. Wolf-Henner Snethlage

Paperback

149.90 €

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

Paperback

38.79 €

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

Paperback

79.90 €

Der, Die, Das Constantin Vayenas

Adobe ePub DRM

9.09 €

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

Hardback

1.69 €

Neues von Mara und Timo Birgit Sommer

Paperback

6.29 €

Alice A. Bailey, Vida e Legado Isobel Blackthorn

Paperback

18.79 €

Comunicazione Assertiva Ed Efficace 3.0 Carbone Nicola Carbone

Paperback

11.59 €

ANTOLOGÍA FEDERICO MAYOR ZARAGOZA

Audio CD

22.29 €

Die Gattung Boa Klaus Bonny

Hardback

39.82 €

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

Paperback

23.99 €

No Hay Que Morir Dos Veces Francisco G. Ledesma

Paperback

9.89 €

Einfach mal den Weg gehen Rainer Jäckle

Paperback

8.29 €

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

Paperback

24.39 €

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

Paperback

15.89 €

Serce za serce czyli co to znaczy kochac Twardowski Jan

Hardback

10.89 €

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.