Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Symbolic Algebraic Methods and Verification Methods

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

Götz Alefeld

Jiri Rohn

Siegfried Rump

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01464536

Nakladnici Springer, Wien, ožujak 2001

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

Libristo kod: 01464536

125 b

51.70 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

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

Meki uvez

17.50 €

Alice A. Bailey, Vida e Legado Isobel Blackthorn

Meki uvez

19.83 €

Comunicazione Assertiva Ed Efficace 3.0 Carbone Nicola Carbone

Meki uvez

12.13 €

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

Meki uvez

39.26 €

Obloha je pretkaná riekami Elif Shafak

Tvrdi uvez

23.27 €

Der, Die, Das Constantin Vayenas

Adobe ePub DRM

10.31 €

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

Meki uvez

25.19 €

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

Tvrdi uvez

0.90 €

Einfach mal den Weg gehen Rainer Jäckle

Meki uvez

8.59 €

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

Meki uvez

25.19 €

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

Meki uvez

16.49 €

Serce za serce czyli co to znaczy kochac Twardowski Jan

Tvrdi uvez

11.22 €

No Hay Que Morir Dos Veces Francisco G. Ledesma

Meki uvez

10.11 €

Die Gattung Boa Klaus Bonny

Tvrdi uvez

33.49 €

Neues von Mara und Timo Birgit Sommer

Meki uvez

5.66 €

Der gelbe Hund Udo O. Rabsch

Meki uvez

14.06 €

Ruf der Generation Y nach Easy Economy Maria Kovarik

Meki uvez

35.71 €

Tage des Lotus Peter Lehmann

Tvrdi uvez

15.27 €

Alternativen zur Kündigung Marion Bernhardt

Meki uvez

33.59 €

Privatisierung durch Ausschreibungsverfahren. Wolf-Henner Snethlage

Meki uvez

150.68 €

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

Meki uvez

75.28 €

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.