LEADER 01124nam a2200301 i 4500
001 991001426339707536
005 20020507193234.0
008 950112s1966    fr            ||| | fre  
035   $ab10845902-39ule_inst
035   $aLE01312102$9ExL
040   $aDip.to Matematica$beng
082 0 $a515.782
084   $aAMS 46F
100 1 $aSchwartz, Laurent$03913
245 10$aThéorie des distributions /$cLaurent Schwartz
250   $aNouv. éd. entièrement corrigée, refondue et augmentée
260   $aParis :$bHermann,$c1966
300   $a418 p. ;$c25 cm.
500   $a1. edizione: 1950
650  4$aDistribution spaces
650  4$aDistribution theory
907   $a.b10845902$b02-04-14$c28-06-02
912   $a991001426339707536
945   $aLE013 46F SCH12 C.1 (1966)$g1$i2013000019291$lle013$o-$pE0.00$q-$rl$s-  $t0$u2$v42$w2$x0$y.i10956463$z28-06-02
945   $aLE013 46F SCH12 C.2 (1966)$g2$i2013000019642$lle013$o-$pE0.00$q-$rl$s-  $t0$u2$v36$w2$x0$y.i10956475$z28-06-02
996   $aThéorie des distributions$9191005
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$ffre$gfr $h0$i2

LEADER 03629nam  22007575  450 
001 9910483246803321
005 20230406010948.0
010   $a3-540-88059-3
024 7 $a10.1007/978-3-540-88059-2
035   $a(CKB)1000000000490377
035   $a(SSID)ssj0000316593
035   $a(PQKBManifestationID)11248159
035   $a(PQKBTitleCode)TC0000316593
035   $a(PQKBWorkID)10275401
035   $a(PQKB)11709502
035   $a(DE-He213)978-3-540-88059-2
035   $a(MiAaPQ)EBC3063594
035   $a(MiAaPQ)EBC6315187
035   $a(PPN)129063223
035   $a(EXLCZ)991000000000490377
100   $a20100301d2008      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCentral European Functional Programming School $eSecond Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /$fedited by Anna Soós
205   $a1st ed. 2008.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008.
215   $a1 online resource (VII, 303 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5161
300   $a"This volume presents the revised lecture notes of selected talks given a the second  Central European Functional Programming School, CEFP 2007, held June 23-30, 2007 at Babes-Bolyai University, Cluj-Napoca, Romania"--Preface.
311   $a3-540-88058-5 
320   $aIncludes bibliographical references and index.
327   $aAn Introduction to iTasks: Defining Interactive Work Flows for the Web -- Proving Properties of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases for Refactoring in Erlang -- From Interpretation to Compilation.
330   $aThis volume presents eight carefully revised texts from selected lectures given by leading researchers at the Second Central European Functional Programming School, CEFP 2007, held in Cluj-Napoca, Romania, in June 2007. The eight revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as interactive workflows, lazy functional programs, lambda calculus, and object-oriented functional programming.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5161
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aSoftware engineering
606   $aMachine theory
606   $aComputer science
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aTheory of Computation
615  0$aCompilers (Computer programs)
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aComputer science.
615 14$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aTheory of Computation.
676   $a746.460285
702   $aSoós$b Anna$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483246803321
996   $aCentral European Functional Programming School$9771915
997   $aUNINA