LEADER 02378nlm0 22006131i 450 
001 990009259530403321
010   $a9783642005961
035   $a000925953
035   $aFED01000925953
035   $a(Aleph)000925953FED01
035   $a000925953
100   $a20100926d2009----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aFoundations of Software Science and Computational Structures$bRisorsa elettronica$e12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings$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, Luca Alfaro
210   $aBerlin ; Heidelberg$cSpringer$d2009
225 1 $aLecture Notes in Computer Science$x0302-9743$v5504
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aAlfaro,$bLuca
702  1$aHutchison,$bDavid
702  1$aKanade,$bTakeo
702  1$aKittler,$bJosef
702  1$aKleinberg,$bJon M.
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-00596-1
901   $aEB
912   $a990009259530403321
961   $aComputation by Abstract Devices
961   $aComputer science
961   $aComputer Science
961   $aInformation theory
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aProgramming Languages, Compilers, Interpreters
961   $aSoftware engineering
961   $aSoftware Engineering
961   $aTheory of Computation
996   $aFoundations of Software Science and Computational Structures$9772755
997   $aUNINA