Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Symbolic Algebraic Methods and Verification Methods

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

Götz Alefeld

Jiri Rohn

Siegfried Rump

Език

Английски език

Книга С меки корици

Код Либристо: 01464536

Издателство Springer, Wien, март 2001

The usual implementation of real numbers as floating point numbers on existing computers has the wel... Цялото описание

Код Либристо: 01464536

132 b

54.46 €

106.52 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

17.55 € 34.32 лв

Der, Die, Das Constantin Vayenas

Adobe ePub DRM

11.23 € 21.96 лв

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

С меки корици

69.68 € 136.29 лв

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

С твърди корици

0.98 € 1.91 лв

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

С меки корици

41.52 € 81.20 лв

Privatisierung durch Ausschreibungsverfahren. Wolf-Henner Snethlage

С меки корици

144.50 € 282.61 лв

Alternativen zur Kündigung Marion Bernhardt

С меки корици

37.22 € 72.80 лв

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

С меки корици

17.13 € 33.51 лв

Tage des Lotus Peter Lehmann

С твърди корици

16.15 € 31.58 лв

Ruf der Generation Y nach Easy Economy Maria Kovarik

С меки корици

37.89 € 74.11 лв

Alice A. Bailey, Vida e Legado Isobel Blackthorn

С меки корици

19.88 € 38.87 лв

Comunicazione Assertiva Ed Efficace 3.0 Carbone Nicola Carbone

С меки корици

12.11 € 23.69 лв

Der gelbe Hund Udo O. Rabsch

С меки корици

15.73 € 30.77 лв

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

С меки корици

25.21 € 49.31 лв

Neues von Mara und Timo Birgit Sommer

С меки корици

5.90 € 11.53 лв

Die Gattung Boa Klaus Bonny

С твърди корици

35.62 € 69.66 лв

Einfach mal den Weg gehen Rainer Jäckle

С меки корици

9.47 € 18.52 лв

No Hay Que Morir Dos Veces Francisco G. Ledesma

С меки корици

11.85 € 23.18 лв

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

С меки корици

25.21 € 49.31 лв

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

С меки корици

16.56 € 32.39 лв

Serce za serce czyli co to znaczy kochac Twardowski Jan

С твърди корици

12.89 € 25.20 лв

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.