Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Symbolic Algebraic Methods and Verification Methods

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Symbolic Algebraic Methods and Verification Methods Götz Alefeld
Libristo-code: 01464536
Uitgeverij Springer, Wien, maart 2001
The usual implementation of real numbers as floating point numbers on existing computers has the wel... Volledige beschrijving
? points 125 b
51.59 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Angel Gabriel - Pacto de Sangue: Edicao de 5 anos Ana C Nunes / Boek Gebonden (paperback)
common.buy 17.46 €
Der, Die, Das Constantin Vayenas / E-book Adobe ePub DRM
common.buy 10.59 €
Die Stellung der Gesellschaft des bürgerlichen Rechts im Erkenntnis-, Vollstreckungs- und Konkursverfahren. Stephan Göckeler / Boek Gebonden (paperback)
common.buy 65.82 €
Pershing Příběh 5hvězdičkového generála Ivan Brož / Boek Gebonden (harde band)
common.buy 0.90 €
Modellizzazione di sistemi informativi per gli insegnanti FRAM Luc Léonard Lezoma / Boek Gebonden (paperback)
common.buy 39.17 €
Privatisierung durch Ausschreibungsverfahren. Wolf-Henner Snethlage / Boek Gebonden (paperback)
common.buy 144.07 €
Alternativen zur Kündigung Marion Bernhardt / Boek Gebonden (paperback)
common.buy 37.15 €
Fischer-Kontroverse - eine Zasur in der deutschen Geschichtsschreibung? Kurt Fuchs / Boek Gebonden (paperback)
common.buy 16.15 €
Tage des Lotus Peter Lehmann / Boek Gebonden (harde band)
common.buy 15.24 €
Ruf der Generation Y nach Easy Economy Maria Kovarik / Boek Gebonden (paperback)
common.buy 35.63 €
Alice A. Bailey, Vida e Legado Isobel Blackthorn / Boek Gebonden (paperback)
common.buy 19.78 €
Comunicazione Assertiva Ed Efficace 3.0 Carbone Nicola Carbone / Boek Gebonden (paperback)
common.buy 12.11 €
Der gelbe Hund Udo O. Rabsch / Boek Gebonden (paperback)
common.buy 15.74 €
Medicine et pedagogie: lecons professees a l'Ecole des hautes etudes sociales Ecoles Des Hautes Etudes Sociales / Boek Gebonden (paperback)
common.buy 25.13 €
Neues von Mara und Timo Birgit Sommer / Boek Gebonden (paperback)
common.buy 5.64 €
Die Gattung Boa Klaus Bonny / Boek Gebonden (harde band)
common.buy 33.41 €
Einfach mal den Weg gehen Rainer Jäckle / Boek Gebonden (paperback)
common.buy 9.48 €
No Hay Que Morir Dos Veces Francisco G. Ledesma / Boek Gebonden (paperback)
common.buy 11.20 €
L'Arabie Heureuse, Souvenirs de Voyages En Afrique Et En Asie. Volume 1 DU COURET-L / Boek Gebonden (paperback)
common.buy 25.13 €
Mythologie de Tous Les Temps, de Tous Les Lieux Et de Tous Les Peuples Bescherelle-L-N / Boek Gebonden (paperback)
common.buy 16.45 €
Serce za serce czyli co to znaczy kochac Twardowski Jan / Boek Gebonden (harde band)
common.buy 12.11 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Symbolic Algebraic Methods and Verification Methods
Auteur Götz Alefeld, Jiri Rohn, Siegfried Rump
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2001
Aantal pagina's 266
EAN 9783211835937
ISBN 3211835938
Libristo-code 01464536
Uitgeverij Springer, Wien
Gewicht 528
Afmetingen 170 x 244 x 15

Categorieën

Wiskunde en wetenschap > Wiskunde > Calculus en wiskundige analyse > Numerieke analyse
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Machinaal leren
Wiskunde en wetenschap > Wiskunde > Algebra
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Cambridge Guide to African American History Raymond Gavins / Boek Gebonden (harde band)
common.buy 118.53 €
Half-Past Seven Stories Robert Anderson / Boek Gebonden (paperback)
common.buy 18.77 €
TOP
Edda Snorri Sturluson / Boek Gebonden (paperback)
common.buy 16.25 €
Diaries of Girls and Women Suzanne L. Bunkers / Boek Gebonden (harde band)
common.buy 64.51 €
Woodrow Wilson William C. Bullitt / Boek Gebonden (paperback)
common.buy 71.98 €
Secret History of an Old Shoe. Inscribed to the Most Wondrous-Wonderful of All Wonderful Men and Lovers. Multiple Contributors / Boek Gebonden (paperback)
common.buy 15.34 €
Thanks for the Dance Fred and Jeri Abrams / Boek Gebonden (paperback)
common.buy 15.24 €
Monito Hermoso: Collection Of Paintings Mike Cressy / Boek Gebonden (paperback)
common.buy 19.28 €
Carmilla Joseph Sheridan Le Fanu / Boek Gebonden (paperback)
common.buy 7.46 €
Ure's Dictionary of Arts, Manufactures, and Mines; Volume Ia: Aal to Bronze Robert Hunt / Boek Gebonden (paperback)
common.buy 23.82 €
Homecomings Marcia Willett / Boek Gebonden (paperback)
common.buy 10.39 €
Forest Plants of Northeast India Manish Kumar Singh / Boek Gebonden (paperback)
common.buy 319.05 €
TOP
Anita Catita's Sewn Toy Treasures Sandra Reis / Boek Gebonden (paperback)
common.buy 13.52 €
The New Testament of Higher Buddhism Timothy Richard / Boek Gebonden (paperback)
common.buy 30.68 €
Women at Hitler's Table Rosella Postorino / Luisterboek MP3
common.buy 15.03 €
Line in the Sand James Barr / Luisterboek MP3
common.buy 14.43 €
Pangolin / Boek Gebonden (paperback)
common.buy 8.88 €
Delicate seduction Mia Amore / Boek Gebonden (paperback)
common.buy 13.12 €
TOP
Zodiac Academy 1: The Awakening Caroline Peckham / Boek Gebonden (paperback)
common.buy 17.15 €
Mesoscopic Quantum Optics Yoshihisa Yamamoto / Boek Gebonden (harde band)
common.buy 195.47 €
Praxis Mihailo Markovic / Boek Gebonden (harde band)
common.buy 205.36 €
Labour Markets in an Ageing Europe Paul Johnson / Boek Gebonden (paperback)
common.buy 48.05 €
Study and Master Mathematics Grade 10 Learner's Book Afrikaans Translation Busisiwe GobaDaan Lith / Boek Gebonden (paperback)
common.buy 19.88 €
Enabling Real-Time Business Intelligence Malu Castellanos / Boek Gebonden (paperback)
common.buy 47.45 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?