02075nlm0 22005531i 450 9900092601404033219783642015915000926014FED01000926014(Aleph)000926014FED0100092601420100926d2009----km-y0itay50------baengDEdrnn-008mamaaNumerical Validation in Current Hardware ArchitecturesRisorsa elettronicaInternational Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papersedited 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 MarksteinBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435492Documento elettronicoTestoFormato html, pdfCuyt,AnnieHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Kramer,WalterLuther,WolframMarkstein,PeterMattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-01591-5EB990009260140403321Computer scienceComputer ScienceComputer Science, generalNumerical Validation in Current Hardware Architectures774163UNINA