LEADER 02483nlm0 22006491i 450 001 990009256530403321 010 $a9783540855217 035 $a000925653 035 $aFED01000925653 035 $a(Aleph)000925653FED01 035 $a000925653 100 $a20100926d2008----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aReliable Implementation of Real Number Algorithms: Theory and Practice$bRisorsa elettronica$eInternational Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers$fedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol 210 $aBerlin ; Heidelberg$cSpringer$d2008 225 1 $aLecture Notes in Computer Science$x0302-9743$v5045 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aHertling,$bPeter 702 1$aHoffmann,$bChristoph M. 702 1$aHutchison,$bDavid 702 1$aKanade,$bTakeo 702 1$aKittler,$bJosef 702 1$aKleinberg,$bJon M. 702 1$aLuther,$bWolfram 702 1$aMattern,$bFriedemann 702 1$aMitchell,$bJohn C. 702 1$aNaor,$bMoni 702 1$aNierstrasz,$bOscar 702 1$aPandu Rangan,$bC. 702 1$aRevol,$bNathalie 702 1$aSteffen,$bBernhard 702 1$aSudan,$bMadhu 702 1$aTerzopoulos,$bDemetri 702 1$aTygar,$bDoug 702 1$aVardi,$bMoshe Y. 702 1$aWeikum,$bGerhard 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-85521-7 901 $aEB 912 $a990009256530403321 961 $aAlgebra$aData processing 961 $aAlgorithm Analysis and Problem Complexity 961 $aArithmetic and Logic Structures 961 $aComputational complexity 961 $aComputer science 961 $aComputer Science 961 $aComputer software 961 $aDiscrete Mathematics in Computer Science 961 $aElectronic data processing 961 $aNumeric Computing 961 $aSymbolic and Algebraic Manipulation 996 $aReliable Implementation of Real Number Algorithms: Theory and Practice$9774468 997 $aUNINA