Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Symbolic Algebraic Methods and Verification Methods

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

Götz Alefeld

Jiri Rohn

Siegfried Rump

Sprache

Englisch

Buch Broschur

Libristo-Code: 01464536

Verlag Springer, Wien, März 2001

The usual implementation of real numbers as floating point numbers on existing computers has the wel... Vollständige Beschreibung

Libristo-Code: 01464536

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

18.19 €

Der, Die, Das Constantin Vayenas

Adobe ePub DRM

11.09 €

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

Broschur

69.90 €

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

Hardcover

0.89 €

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

Broschur

40.99 €

Privatisierung durch Ausschreibungsverfahren. Wolf-Henner Snethlage

Broschur

142.69 €

Alternativen zur Kündigung Marion Bernhardt

Broschur

36.79 €

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

Broschur

17.95 €

Tage des Lotus Peter Lehmann

Hardcover

16.90 €

Ruf der Generation Y nach Easy Economy Maria Kovarik

Broschur

39.99 €

Alice A. Bailey, Vida e Legado Isobel Blackthorn

Broschur

20.79 €

Comunicazione Assertiva Ed Efficace 3.0 Carbone Nicola Carbone

Broschur

12.59 €

Der gelbe Hund Udo O. Rabsch

Broschur

15.59 €

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

Broschur

26.39 €

Neues von Mara und Timo Birgit Sommer

Broschur

5.79 €

Die Gattung Boa Klaus Bonny

Hardcover

39.80 €

Einfach mal den Weg gehen Rainer Jäckle

Broschur

9.39 €

No Hay Que Morir Dos Veces Francisco G. Ledesma

Broschur

11.69 €

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

Broschur

26.09 €

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

Broschur

17.09 €

Serce za serce czyli co to znaczy kochac Twardowski Jan

Hardcover

12.69 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Symbolic Algebraic Methods and Verification Methods

Autor Götz Alefeld, Jiri Rohn, Siegfried Rump

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2001

Anzahl der Seiten 266

EAN 9783211835937

ISBN 3211835938

Libristo-Code 01464536

Verlag Springer, Wien

Gewicht 528

Abmessungen 170 x 244 x 15

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein > Numerische Mathematik

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen

Mathematik und Naturwissenschaften > Mathematik > Algebra

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert