LEADER 01423nam2-2200397li-450 
001 990000206460203316
005 20180312154712.0
010   $a3-540-61628-4
035   $a0020646
035   $aUSA010020646
035   $a(ALEPH)000020646USA01
035   $a0020646
100   $a20001109d1996----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aAdvanced functional programming$e2nd. international School Olympia,WA, USA, August 26-30, 1996$etutorial text$fJohn Launchbury ... [et al.] (eds.)
210   $aBerlin [etc.]$cSpringer- Verlag$dcopyr. 1996
215   $a238 p.$cill.$d23 cm
225 2 $aLecture notes in computer science$v1129
410  0$10010020264$12001$aLecture notes in computer science
610 1 $acongressi$aolympia (wa)$a1996
610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1996
676   $a0051$9Programmazione. Tecnica di sviluppo dei programmi
702  1$aLaunchbury,$bJohn
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000206460203316
951   $aOO1 LNCS (1129)$b0019239$c001$d00103903
959   $aBK
969   $aSCI
979   $c19970121
979   $c20001110$lUSA01$h1714
979   $aALANDI$b90$c20010201$lUSA01$h1333
979   $c20020403$lUSA01$h1628
979   $aPATRY$b90$c20040406$lUSA01$h1615
996   $aAdvanced Functional Programming$9772497
997   $aUNISA

LEADER 01403nam  2200373 a 450 
001 9910702331503321
005 20121217094721.0
035   $a(CKB)5470000002426846
035   $a(OCoLC)821603023
035   $a(EXLCZ)995470000002426846
100   $a20121217d2012      ua             0
101 0 $aeng
135   $aurmn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDepartment of Homeland Security$b[electronic resource] $eoversight and coordination of research and development should be strengthened : report to congressional requesters
210  1$a[Washington, D.C.] :$cU.S. Govt. Accountability Office,$d[2012]
215   $a1 online resource (iii, 42 pages) $ccolor illustrations
300   $aTitle from title screen (viewed Dec. 13, 2012).
300   $a"September 2012."
300   $a"GAO-12-837."
320   $aIncludes bibliographical references.
517   $aDepartment of Homeland Security 
606   $aResearch and development contracts, Government$zUnited States
606   $aTerrorism$xPrevention$xGovernment policy$zUnited States
615  0$aResearch and development contracts, Government
615  0$aTerrorism$xPrevention$xGovernment policy
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910702331503321
996   $aDepartment of Homeland Security$93135933
997   $aUNINA