LEADER 02075nlm0 22005531i 450 001 990009260140403321 010 $a9783642015915 035 $a000926014 035 $aFED01000926014 035 $a(Aleph)000926014FED01 035 $a000926014 100 $a20100926d2009----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aNumerical Validation in Current Hardware Architectures$bRisorsa elettronica$eInternational Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. 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, Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein 210 $aBerlin ; Heidelberg$cSpringer$d2009 225 1 $aLecture Notes in Computer Science$x0302-9743$v5492 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aCuyt,$bAnnie 702 1$aHutchison,$bDavid 702 1$aKanade,$bTakeo 702 1$aKittler,$bJosef 702 1$aKleinberg,$bJon M. 702 1$aKramer,$bWalter 702 1$aLuther,$bWolfram 702 1$aMarkstein,$bPeter 702 1$aMattern,$bFriedemann 702 1$aMitchell,$bJohn C. 702 1$aNaor,$bMoni 702 1$aNierstrasz,$bOscar 702 1$aPandu Rangan,$bC. 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-642-01591-5 901 $aEB 912 $a990009260140403321 961 $aComputer science 961 $aComputer Science 961 $aComputer Science, general 996 $aNumerical Validation in Current Hardware Architectures$9774163 997 $aUNINA