Gratis verzending vanaf 59,99 euro.
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen.
Gratis account aanmaken
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Contact
Hoe winkelen bij ons werkt
Help
Bezorging
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Gratis bezorging met Zásilkovna boven 59.99 €
Winkelgids
Mijn account
▸
Leeg :-(
0
Gratis verzending vanaf 59,99 euro.
Numerical Software with Result Verification
International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Taal
Engels
Engels
Boek
Gebonden (paperback)
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Nume...
Volledige beschrijving
Libristo-code: 01559177
?
125 b
125 b
51.75
€
In extern magazijn
Wordt binnen 5-8 dagen verzonden
Retourneren binnen 30 dagen
Klanten kochten ook
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003.The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.
Actrice
&
Polyglot
EWA KASP
voor
Video afspelen
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.
Informatie over het boek
Volledige naam
Numerical Software with Result Verification
Auteur
Rene Alt, Andreas Frommer, R. Baker Kearfott
Taal
Engels
Engels
Bindwijze
Boek - Gebonden (paperback)
Datum van uitgifte
2004
Aantal pagina's
315
EAN
9783540212607
ISBN
3540212604
Libristo-code
01559177
Uitgeverij
Springer, Berlin
Gewicht
480
Afmetingen
155 x 233 x 17
Categorieën
Informatica en informatietechnologie
>
Computerprogrammering / softwareontwikkeling
>
Algoritmes en datastructuren
Informatica en informatietechnologie
>
Computerprogrammering / softwareontwikkeling
>
Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie
>
Computerprogrammering / softwareontwikkeling
>
Programmeren en scripttalen: algemeen
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
Boekadviseur Libroamiko
Door deze chat te gebruiken, communiceer je met generatieve kunstmatige intelligentie. Door het te gebruiken, ga je ook akkoord met de verwerking van persoonsgegevens.
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?
Hoi, ik ben Libroamiko, kan ik helpen?