LEADER 03081nam  22006735  450 
001 996465756403316
005 20230220161040.0
010   $a3-642-32037-6
024 7 $a10.1007/978-3-642-32037-8
035   $a(CKB)3400000000085805
035   $a(SSID)ssj0000746167
035   $a(PQKBManifestationID)11468375
035   $a(PQKBTitleCode)TC0000746167
035   $a(PQKBWorkID)10861781
035   $a(PQKB)10755304
035   $a(DE-He213)978-3-642-32037-8
035   $a(MiAaPQ)EBC3070551
035   $a(PPN)16832086X
035   $a(EXLCZ)993400000000085805
100   $a20120720d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTrends in Functional Programming$b[electronic resource] $e12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /$fedited by Ricardo Peņa, Rex Page
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (X, 195 p. 66 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7193
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-32036-8 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows: types, compiling, parallelism and distribution, data structures, and miscellaneous.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7193
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aArtificial intelligence?Data processing
606   $aComputer science
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aData Science
606   $aComputer Science Logic and Foundations of Programming
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aArtificial intelligence?Data processing.
615  0$aComputer science.
615 14$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aData Science.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a005.1/14
702   $aPeņa$b Ricardo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPage$b Rex$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Symposium on Trends in Functional Programming
906   $aBOOK
912   $a996465756403316
996   $aTrends in Functional Programming$91947569
997   $aUNISA

LEADER 01043nam a2200277 i 4500
001 991000402909707536
005 20230328130843.0
008 951006s1992    it            ||| | ita  
020   $a8815034021
035   $ab10072391-39ule_inst
035   $aLE02515366
040   $aFac. Economia$bita
082 0 $a346.086
100 1 $aVolpe Putzolu, Giovanna$0117966
245 13$aLe assicurazioni :$bproduzione e distribuzione : problemi giuridici /$cGiovanna Volpe Putzolu
260   $aBologna :$bIl Mulino,$cc1992
300   $a303 p. ;$c22 cm.
490 1 $aLa nuova scienza. Serie di diritto
650  4$aAssicurazioni$xDiritto
907   $a.b10072391$b24-05-11$c27-06-02
912   $a991000402909707536
945   $aLE025 346 VOL 2$g2$i2025000049192$lle025$o-$pE0.00$q-$rl$s-$t0$u1$v2$w1$x0$y.i10081598$z27-06-02
945   $aLE025 346 VOL 1$g1$i2025000058484$lle025$o-$pE0.00$q-$rl$s-$t0$u1$v1$w1$x0$y.i10081604$z27-06-02
996   $aAssicurazioni$967517
997   $aUNISALENTO
998   $ale025$b01-01-95$cm$da$e-$fita$git$h3$i2