Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Numerical Validation in Current Hardware Architectures

International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

Limba englezăengleză
Carte Carte broșată
Carte Numerical Validation in Current Hardware Architectures Annie A.M. Cuyt
Codul Libristo: 01649712
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2009
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Nume... Descrierea completă
? points 132 b
285.28 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Arduino: Step-By-Step Guide to Master Arduino Hardware and Software Mark Torvalds / Carte Carte broșată
common.buy 78.83 lei
Efficient Linux at the Command Line Daniel J. Barrett / Carte Carte broșată
common.buy 234.94 lei
Pro Bash Jayant Varma / Carte Carte broșată
common.buy 231.09 lei
Unix And Linux System Administration Handbook Rob Botwright / Carte Carte broșată
common.buy 215.49 lei
Linux for Beginners: An Introduction to the Linux Operating System and Command Line Jason Cannon / Carte Carte broșată
common.buy 131.45 lei
Command Line Kung Fu: Bash Scripting Tricks, Linux Shell Programming Tips, and Bash One-liners Jason Cannon / Carte Carte broșată
common.buy 81.64 lei
Leftin
Hacking University: Learn Python Computer Programming from Scratch & Precisely Learn How The Linux Operating Command Line Works 2 Manuscri Isaac D Cody / Carte Carte broșată
common.buy 69.99 lei
Hardware Hacker Andrew Bunnie Huang / Carte Carte broșată
common.buy 81.01 lei
Essential Computer Hardware Second Edition Wilson Kevin Wilson / Carte Carte broșată
common.buy 96.20 lei
Linux Command Line: Getting Started with Bash and Shell Scripting Travis Booth / Carte Carte broșată
common.buy 106.29 lei
Hardware Malware Adrian Dabrowski / Carte Carte broșată
common.buy 184.91 lei
Exploring Computer Hardware Kevin Wilson / Carte Carte broșată
common.buy 111.49 lei
Devatero pohádek Arnošt Goldflam; Josef Čapek / Audio Audio CD
common.buy 42.84 lei
DIE SUPERMILF Verona Pooth / Carte Carte broșată
common.buy 106.08 lei
O Impacto da Cirurgia Bariátrica sob a Perspectiva dos Cônj Masculinos Flávia Bittar Arantes / Carte Carte broșată
common.buy 246.90 lei
AMIGOS SIN DERECHO A ROCE GOLD / Carte Carte
common.buy 70.40 lei
Roger Waters: The Lockdown Sessions LP Roger Waters Audio Audio plăci vinil
common.buy 152.46 lei
The Witcher Miki Montllo / Carte Carte broșată
common.buy 72.79 lei
Bastel mich weg! - 37 Bastelprojekte zum sofort Loslegen Susanne Pypke / Carte Carte broșată
common.buy 61.25 lei
Discurso y verdad MICHEL FOUCAULT / Carte Carte broșată
common.buy 155.27 lei
Briefe an einen jungen Dichter Rainer Maria Rilke / Carte Carte broșată
common.buy 50.64 lei
Kuniec swiata Bazyliszki fraszki i inne Andrzej Galowicz / Carte Carte broșată
common.buy 42.63 lei
Povstání Herobrina 8 Zapomenutý restart S.D. Stuart / Carte Carte broșată
common.buy 24.64 lei
Liebe und Leid, Kampf und Grimm Irmgard Rüsenberg / Carte Copertă tare
common.buy 507.86 lei

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008.§The 16 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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Numerical Validation in Current Hardware Architectures
Autor Annie A.M. Cuyt, Walter Kraemer, Wolfram Luther, Peter Markstein
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 263
EAN 9783642015908
ISBN 3642015905
Codul Libristo 01649712
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 427
Dimensiuni 155 x 235 x 16

Categorii

Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Lectures on Gaussian Processes Mikhail Lifshits / Carte Carte broșată
common.buy 390.53 lei
True Compass Edward M. Kennedy / Carte Carte broșată
common.buy 121.68 lei
Sonia's Book Of Short Stories K P Lee / Carte Carte broșată
common.buy 47.00 lei
Laws and Ordinances of New Netherland, 1638-1674. Edmund Bailey O'Callaghan / Carte Carte broșată
common.buy 173.68 lei
Curând
Soft Skills for Employability HOPWOOD / Carte Carte broșată
common.buy 191.05 lei
Strategy and Geopolitics: Understanding Global Complexity in a Turbulent World Rosenberg / Carte Carte broșată
common.buy 160.26 lei
The Wonderful Wizard of Oz Baum / Audio Audio CD
common.buy 145.08 lei
Learnings from the Long View Peter Schwartz / Carte Carte broșată
common.buy 34.21 lei
The Adventures of a Dog, and a Good Dog Too Alfred Elwes / Carte Carte broșată
common.buy 47.00 lei
-Seabee Book- Southeast Asia: Building The Bases The History Of Construction In Southeast Asia: Vietnam Construction Richard Tregaskis / Carte Carte broșată
common.buy 106.29 lei
Death at an English Wedding SARA ROSETT / Carte Carte broșată
common.buy 79.66 lei
Oxford Reading Tree inFact: Oxford Level 3: Class Pack of 36 Becca Heddle / Carte Carte broșată
common.buy 1 206.16 lei
How The First World War Began Edward E. McCullough / Carte Copertă tare
common.buy 250.54 lei
Untitled KW Nonfiction Psaki / Carte Copertă tare
common.buy 118.66 lei
NYPD Red James Patterson / Carte Carte broșată
common.buy 47.00 lei
New Approaches to Neo-Kantianism Nicolas de Warren / Carte Carte broșată
common.buy 263.75 lei
Funny Animals - 100 coloring pages for kids: Coloring Book for GIRLS & BOYS Rod Woods / Carte Carte broșată
common.buy 44.61 lei
Colorist Palette Reference Book: Test and Chart Your Favorite Color Combinations Ligia Ortega / Carte Carte broșată
common.buy 47.00 lei
The Sea People Captivating History / Carte Copertă tare
common.buy 104.20 lei
Mr. Pope's Literary Correspondence. Volume the Fourth. with Letters, &c. To, and From, Mr. Addison. Bishop Atterbury. ... the Second Edition. of 4; Vo Alexander Pope / Carte Copertă tare
common.buy 184.29 lei
The Complete Works of Friedrich Nietzsche: The First Complete and Authorized English Translation Oscar Ludwig Levy / Carte Copertă tare
common.buy 199.68 lei
Mosaic of Atonement Joshua M. McNall / Carte Carte broșată
common.buy 161.62 lei
Trick or Treat in Washington, D.C.: A Halloween Adventure Through the Capital City Eric James / Carte Copertă tare
common.buy 49.19 lei
Society for American Sign Language Journal Jody H. Cripps / Carte Carte broșată
common.buy 108.26 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?