Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Symbolic Algebraic Methods and Verification Methods

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

Götz Alefeld

Jiri Rohn

Siegfried Rump

Język

Angielski

Książka Miękka

Kod Libristo: 01464536

Wydawnictwo Springer, Wien, marzec 2001

The usual implementation of real numbers as floating point numbers on existing computers has the wel... Cały opis

Kod Libristo: 01464536

125 b

219.49 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

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

Miękka

74.43 zł

Der, Die, Das Constantin Vayenas

Adobe ePub DRM

45.26 zł

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

Miękka

280.25 zł

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

Twarda

4.01 zł

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

Miękka

166.58 zł

Privatisierung durch Ausschreibungsverfahren. Wolf-Henner Snethlage

Miękka

584.36 zł

Alternativen zur Kündigung Marion Bernhardt

Miękka

150.48 zł

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

Miękka

68.80 zł

Tage des Lotus Peter Lehmann

Twarda

64.77 zł

Ruf der Generation Y nach Easy Economy Maria Kovarik

Miękka

151.89 zł

Alice A. Bailey, Vida e Legado Isobel Blackthorn

Miękka

84.29 zł

Comunicazione Assertiva Ed Efficace 3.0 Carbone Nicola Carbone

Miękka

51.39 zł

Der gelbe Hund Udo O. Rabsch

Miękka

63.37 zł

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

Miękka

106.93 zł

Neues von Mara und Timo Birgit Sommer

Miękka

23.83 zł

Die Gattung Boa Klaus Bonny

Twarda

142.23 zł

Einfach mal den Weg gehen Rainer Jäckle

Miękka

38.32 zł

No Hay Que Morir Dos Veces Francisco G. Ledesma

Miękka

47.77 zł

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

Miękka

107.13 zł

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

Miękka

70.21 zł

Serce za serce czyli co to znaczy kochac Twardowski Jan

Twarda

45.16 zł

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.