LEADER 02248nlm0 22006011i 450 
001 990009257150403321
010   $a9783540875314
035   $a000925715
035   $aFED01000925715
035   $a(Aleph)000925715FED01
035   $a000925715
100   $a20100926d2008----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aComputer Science Logic$bRisorsa elettronica$e22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. 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, Michael Kaminski, Simone Martini
210   $aBerlin ; Heidelberg$cSpringer$d2008
225 1 $aLecture Notes in Computer Science$x0302-9743$v5213
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aHutchison,$bDavid
702  1$aKaminski,$bMichael
702  1$aKanade,$bTakeo
702  1$aKittler,$bJosef
702  1$aKleinberg,$bJon M.
702  1$aMartini,$bSimone
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-540-87531-4
901   $aEB
912   $a990009257150403321
961   $aArtificial intelligence
961   $aArtificial Intelligence (incl. Robotics)
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogic, Symbolic and mathematical
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aMathematical Logic and Foundations
996   $aComputer Science Logic$9771972
997   $aUNINA

LEADER 01360nam  2200373 a 450 
001 9910701339503321
005 20120124072632.0
035   $a(CKB)5470000002417674
035   $a(OCoLC)773686533
035   $a(EXLCZ)995470000002417674
100   $a20120124d2011      ua             0
101 0 $aeng
135   $aurmn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aInformation technology$b[electronic resource] $ecritical factors underlying successful major acquisitions : report to congressional committees
210  1$a[Washington, D.C.] :$cU.S. Govt. Accountability Office,$d[2011]
215   $a1 online resource (ii, 52 pages)
300   $aTitle from PDF title screen (viewed Jan. 17, 2011).
300   $a"October 2011."
300   $a"GAO-12-7."
320   $aIncludes bibliographical references.
517   $aInformation technology 
606   $aInformation technology$xGovernment policy$zUnited States
606   $aAdministrative agencies$xInformation technology$zUnited States$xManagement
615  0$aInformation technology$xGovernment policy
615  0$aAdministrative agencies$xInformation technology$xManagement.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910701339503321
996   $aInformation technology$956211
997   $aUNINA