LEADER 00901cam0-22003131i-450- 001 990007376070403321 005 20070903101251.0 010 $a1-85233-459-2 035 $a000737607 035 $aFED01000737607 035 $a(Aleph)000737607FED01 035 $a000737607 100 $a20021203d2001----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $ay-------001yy 200 1 $a<>introduction to statistical modeling of extreme values$fStuart Coles 210 $aLondon$cSpringer$d©2001 215 $aXIV, 208 p.$d24 cm 225 1 $aSpringer series in statistics 676 $a519.24$v21$zita 700 1$aColes,$bStuart$0151131 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007376070403321 952 $aVI E 990$b39219$fFSPBC 959 $aFSPBC 996 $aIntroduction to statistical modeling of extreme values$9157343 997 $aUNINA LEADER 01305nam--2200421---450- 001 990001997800203316 005 20151008122748.0 010 $a88-7048-075-5 035 $a000199780 035 $aUSA01000199780 035 $a(ALEPH)000199780USA01 035 $a000199780 100 $a20040910d1983----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aProve d'autore$fGiovanni Verga$gintroduzione e apparato critico a cura di Lina Jannuzzi$gtesti e nota ai testi a cura di Ninfa Leotta 210 $aLecce$cMilella$d1983 215 $aLXXI, 253 p., [47] c. di tav.$cill.$d21 cm 225 2 $aContemporanea$v7 410 0$12001$aContemporanea$v7 454 1$12001 461 1$1001-------$12001 676 $a852.8 700 1$aVERGA,$bGiovanni$f< 1840-1922 >$00 702 1$aJANNUZZI,$bLina 702 $aLEOTTA,$bNinfa 801 0$aIT$bsalbc$gISBD 912 $a990001997800203316 951 $aVI.3.A. 486(Varie coll 348/7)$b11073 L.M.$cVarie coll 959 $aBK 969 $aUMA 979 $aSIAV7$b10$c20040910$lUSA01$h1219 979 $aCOPAT3$b90$c20050125$lUSA01$h1400 979 $aANNAMARIA$b90$c20100121$lUSA01$h1000 979 $aGIUSY$b90$c20151008$lUSA01$h1227 996 $aProve d'autore$9147912 997 $aUNISA LEADER 01260cam0-22004331i-450 001 990006156290403321 005 20211210113801.0 010 $a88-14-04385-X 035 $a000615629 035 $aFED01000615629 035 $a(Aleph)000615629FED01 035 $a000615629 100 $a19980601d1993----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $a<>disciplina delle armi, delle munizioni e degli esplosivi$fDomenico Carcano, Andrea Vardaro 210 $aMilano$cGiuffrè$d1993 215 $aXVIII, 413 p.$d25 cm 225 1 $aLegislazione penale speciale. Esposizione di giurisprudenza e di dottrina$v2 610 0 $aEsplosivi 610 0 $aMunizioni 610 0 $aArmi 610 0 $aArmi$aLegislazione 676 $a344.053 676 $a345.450243$v20$zita 700 1$aCarcano,$bDomenico$0233658 701 1$aVardaro,$bAndrea$0251899 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006156290403321 952 $aXII I 16 (2)$b23973*$fFGBC 952 $aI G 263$b24077$fFSPBC 959 $aFGBC 959 $aFSPBC 996 $aDisciplina delle armi, delle munizioni e degli esplosivi$9679504 997 $aUNINA DB $aGEN01 DB $aGIU01 LEADER 06300nam 22007575 450 001 9910144212303321 005 20200702153058.0 010 $a3-540-40018-4 024 7 $a10.1007/b94290 035 $a(CKB)1000000000212257 035 $a(SSID)ssj0000325922 035 $a(PQKBManifestationID)11230927 035 $a(PQKBTitleCode)TC0000325922 035 $a(PQKBWorkID)10264626 035 $a(PQKB)11067299 035 $a(DE-He213)978-3-540-40018-9 035 $a(MiAaPQ)EBC3088540 035 $a(PPN)155179322 035 $a(EXLCZ)991000000000212257 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Languages and Systems $eFirst Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings /$fedited by Atsushi Ohori 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XIV, 434 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2895 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20536-5 320 $aIncludes bibliographical references and index. 327 $aInvited Talk 1 -- On a Method of Global Optimization -- Session 1 -- Observing Asymmetry and Mismatch -- Expressive Synchronization Types for Inheritance in the Join Calculus -- Term Graph Rewriting for the ?-Calculus -- Useless-Code Elimination and Program Slicing for the Pi-Calculus -- Session 2 -- Constraint Functional Logic Programming for Origami Construction -- A Typeful and Tagless Representation for XML Documents -- Dataflow Pointcut in Aspect-Oriented Programming -- Session 3 -- Affine-Based Size-Change Termination -- Using Locality of Flow in Dataflow Analyses -- A Differential Fixpoint Evaluation Framework for Non-distributive Systems -- Invited Talk 2 -- Model Checking: From Hardware to Software -- Session 4 -- Executing Verified Compiler Specification -- Controlling and Optimizing the Usage of One Resource -- Resource Usage Verification -- Automatic Construction of Hoare Proofs from Abstract Interpretation Results -- Session 5 -- A Program Inverter for a Functional Language with Equality and Constructors -- Rebuilding a Tree from Its Traversals: -- Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver -- Session 6 -- Continuation Semantics for Parallel Haskell Dialects -- Translating a Continuous-Time Temporal Logic into Timed Automata -- The Semantic Layers of Timber -- Invited Talk 3 -- Scrap Your Boilerplate -- Session 7 -- Correctness of a Higher-Order Removal Transformation through a Relational Reasoning -- Extensional Polymorphism by Flow Graph Dispatching -- Register Allocation Based on a Reference Flow Analysis -- Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations. 330 $aWith warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st Asian Symposium on Programming Languages andSystems(APLAS2003)tookplaceinBeijing.Wereceived76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues who attended the symposium, all scholars who generously contributed their papers, and all those who were actively dedicated to the organization of this symposium. Over the past decade, the Asian economy has undergone rapid development. Keeping pace with this accelerated economic growth, Asia has made great he- way in software, integrated circuits, mobile communication and the Internet. All this has laid a ?rm material foundation for undertaking theoretical research on computer science and programming languages. Therefore, to meet the incr- sing demands of the IT market, great opportunities and challenges in advanced research in these ?elds. I strongly believe that in the coming future, with the persistent e?orts of our colleagues, the Asian software industry and research on computer science will be important players in the world economy, on an equal footing with their counterparts in the United States and Europe. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2895 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aComputer logic 606 $aLogic, Symbolic and mathematical 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aProgramming languages (Electronic computers) 615 0$aSoftware engineering. 615 0$aOperating systems (Computers) 615 0$aComputer logic. 615 0$aLogic, Symbolic and mathematical. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a005.13 702 $aOhori$b Atsushi$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAPLAS 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144212303321 996 $aProgramming Languages and Systems$93644366 997 $aUNINA LEADER 03109nam 22007575 450 001 9910349390603321 005 20251225205312.0 010 $a9783030027681 010 $a3030027686 024 7 $a10.1007/978-3-030-02768-1 035 $a(CKB)4100000007158992 035 $a(DE-He213)978-3-030-02768-1 035 $a(MiAaPQ)EBC6286110 035 $a(PPN)23247057X 035 $a(EXLCZ)994100000007158992 100 $a20181021d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProgramming Languages and Systems $e16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2?6, 2018, Proceedings /$fedited by Sukyoung Ryu 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XI, 437 p. 123 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11275 300 $aIncludes index. 311 08$a9783030027674 311 08$a3030027678 327 $aTypes -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs -- Verification -- Logic -- Continuation and Model Checking. 330 $aThis book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018. The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11275 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer science 606 $aArtificial intelligence 606 $aElectronic digital computers$xEvaluation 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aTheory of Computation 606 $aArtificial Intelligence 606 $aSystem Performance and Evaluation 615 0$aCompilers (Computer programs). 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aElectronic digital computers$xEvaluation. 615 14$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aSystem Performance and Evaluation. 676 $a005.13 676 $a005.13 702 $aRyu$b Sukyoung$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349390603321 996 $aProgramming Languages and Systems$93644366 997 $aUNINA