02106nam 2200493 450 00001450420050718115500.03-540-09968-920030625d1980----km-y0itay0103----baengDETopology symposium, Siegen 1979proceedings of a symposium held at the university of Siegen, June 14-19, 1979edited by U. Koschorke, W. D. NeumannBerlin [etc.]Springer1980VIII, 495 p.25 cm.Lecture notes in mathematics7882001Lecture notes in mathematicsTopologiaCongressi514(21. ed.)Topologia55-02Algebraic topology. Research exposition (monographs, survey articles)55PxxAlgebraic topology. Homotopy theory55QxxAlgebraic topology. Homotopy groups55RxxAlgebraic topology. Fiber spaces and bundles55SxxAlgebraic topology. Operations and obstructions55TxxAlgebraic topology. Spectral sequences57-02Manifolds and cell complexes. Research exposition (monographs, survey articles)57M25Manifolds and cell complexes. Low-dimensional topology. Knots and links in S357RxxManifolds and cell complexes. Differential topology57SxxManifolds and cell complexes. Topological transformation groupsKoschorke,UlrichNeumann,Walter D.ITUniversità della Basilicata - B.I.A.RICAunimarc000014504Topology symposium, Siegen 197980582UNIBASMONSCISCIENZEEXT0020120030625BAS01095120050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT31991S319912003062551Riservati03378nam 22006135 450 99646564920331620200705001153.03-540-70639-910.1007/3-540-61628-4(CKB)1000000000234509(SSID)ssj0000320829(PQKBManifestationID)11254868(PQKBTitleCode)TC0000320829(PQKBWorkID)10249664(PQKB)11403015(DE-He213)978-3-540-70639-7(PPN)15523627X(EXLCZ)99100000000023450920121227d1996 u| 0engurnn|008mamaatxtccrAdvanced Functional Programming[electronic resource] Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text /edited by John Launchbury, Erik Meijer, Tim Sheard1st ed. 1996.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1996.1 online resource (VIII, 244 p.) Lecture Notes in Computer Science,0302-9743 ;1129Bibliographic Level Mode of Issuance: Monograph3-540-61628-4 Composing the user interface with Haggis -- Haskore music tutorial -- Polytypic programming -- Implementing threads in Standard ML -- Functional data structures -- Heap profiling for space efficiency -- Deterministic, error-correcting combinator parsers -- Essentials of Standard ML Modules.This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, in August 1996. After many years of development, functional programming languages have matured to a point where they can be used for much larger applications than has been typical in the past. These tutorial notes have been written for students and professionals in software engineering who are interested in exploring beyond the elementary concepts of functional programming and in progressing towards large-scale programming and structured software.Lecture Notes in Computer Science,0302-9743 ;1129Computer programmingSoftware engineeringProgramming languages (Electronic computers)Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer programming.Software engineering.Programming languages (Electronic computers).Programming Techniques.Software Engineering.Programming Languages, Compilers, Interpreters.005.1/1Launchbury Johnedthttp://id.loc.gov/vocabulary/relators/edtMeijer Erikedthttp://id.loc.gov/vocabulary/relators/edtSheard Timedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465649203316Advanced Functional Programming772497UNISA01312nam0 22003493i 450 MIL004962420231121125529.020101118d1976 ||||0itac50 baitafreitz01i xxxe z01nGramsci e il blocco storicoHugues PortelliRomaBariLaterza1976XIII, 189 p.19 cmTempi nuovi64Traduzione di Maria Novella Pierini001CFI00270852001 Tempi nuovi64Gramsci et le bloc historiqueRAV0097613RAVV00383112989Gramsci, AntonioFIRRMLC053964E335.421Portelli, HuguesRAVV003831070123273Pierini, Maria NovellaCFIV016450730ITIT-0120101118IT-RM0314 IT-FR0017 Biblioteca delle Infrastrutture e della mobilità sostenibiliRM0314 Biblioteca umanistica Giorgio ApreaFR0017 MIL0049624Biblioteca umanistica Giorgio Aprea 52MAG 1/964 52MAG0000052205 VMN RS A 2018030720180307 31 52Gramsci et le bloc historique12989UNICAS