LEADER 01711nam2 22003613i 450 001 MIL0160012 005 20231121125537.0 010 $a3506778358 100 $a20161114d1979 ||||0itac50 ba 101 | $ager 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜35: œTagebuch$e(über die magnetische Behandlung der Gräfin Lesniowska 1820-1826)$fFriedrich Schlegel$gmit Einleitung und Kommentar herausgegeb von Ursula Behler 210 $aMünchen [etc.]$cF. Schöningh$aZürich$cThomas$d1979 215 $aXLVII, 388 p., 3 c. di tav.$d24 cm 300 $aNel front.: 4 Abt.: Editionen, Übersetzungen, Berichte 461 1$1001SBL0700139$12001 $aKritische Friedrich-Schlegel-Ausgabe$fherausgegeben von Ernst Behler$gunter Mitwirkung von Jean-Jacques Anstett und Hans Eichner$v35 700 1$aSchlegel$b, Friedrich : von$3CFIV092312$4070$0444346 702 1$aBehler$b, Ursula$3MILV101164 790 1$aSchlegel$b, Federico$3CFIV245454$zSchlegel, Friedrich : von 790 1$aSchlegel$b, Friedrich$3CFIV245455$zSchlegel, Friedrich : von 790 1$aSchlegel$b, Frederick : von$3SBNV033646$zSchlegel, Friedrich : von 790 1$aSchlegel$b, Federigo$3SBNV033647$zSchlegel, Friedrich : von 790 1$aSchlegel$b, Karl Wilhelm Friedrich$3SBNV033648$zSchlegel, Friedrich : von 801 3$aIT$bIT-01$c20161114 850 $aIT-FR0017 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 $eN 912 $aMIL0160012 950 2$aBiblioteca umanistica Giorgio Aprea$d 52MAG 3 Coll D 35$e 52MAG0000196155 VMB RS $fA $h20201109$i20201109 977 $a 52 996 $aTagebuch$93609700 997 $aUNICAS LEADER 04904nam 22008055 450 001 9910483787003321 005 20251226200309.0 010 $a3-540-78739-9 024 7 $a10.1007/978-3-540-78739-6 035 $a(CKB)1000000000490888 035 $a(SSID)ssj0000319599 035 $a(PQKBManifestationID)11222545 035 $a(PQKBTitleCode)TC0000319599 035 $a(PQKBWorkID)10338062 035 $a(PQKB)11584699 035 $a(DE-He213)978-3-540-78739-6 035 $a(MiAaPQ)EBC3068755 035 $a(PPN)125218559 035 $a(Au-PeEL)EBL3068755 035 $a(CaPaEBR)ebr10533950 035 $a(CaONFJC)MIL185649 035 $a(OCoLC)233974010 035 $a(EXLCZ)991000000000490888 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Languages and Systems $e17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings /$fedited by Sophia Drossopoulou 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XIII, 402 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4960 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-78738-0 320 $aIncludes bibliographical references and index. 327 $aSemantics, Parametricity, and Types -- A Sound Semantics for OCaml light -- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! -- Regular Expression Subtyping for XML Query and Update Languages -- Semantics -- A Theory of Hygienic Macros -- A Hybrid Denotational Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool Demonstration) -- Playing with : Constraints and Domain Cooperation -- Typing Safe Deallocation -- Iterative Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming (Abstract) -- Static Analysis -- Ranking Abstractions -- Non-disjunctive Numerical Domain for Array Predicate Abstraction -- Upper Adjoints for Fast Inter-procedural Variable Equalities -- Cover Algorithms and Their Combination -- Security I -- Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract) -- Linear Declassification -- Just Forget It ? The Semantics and Enforcement of Information Erasure -- Concurrency -- Open Bisimulation for the Concurrent Constraint Pi-Calculus -- The Conversation Calculus: A Model of Service-Oriented Computation -- Inferring Channel Buffer Bounds Via Linear Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach -- Program Verification -- Verification of Equivalent-Results Methods -- Semi-persistent Data Structures -- A Realizability Model for Impredicative Hoare Type Theory -- Oracle Semantics for Concurrent Separation Logic -- Security II -- Certificate Translation in Abstract Interpretation -- A Formal Implementation of Value Commitment. 330 $aThis proceedings volume of the 17th European Symposium on Programming examines fundamental issues in the specification, analysis and implementation of programming languages and systems, including static analysis, security, concurrency and program verification. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4960 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aMachine theory 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 0$aMachine theory. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 676 $a005.1 701 $aDrossopoulou$b Sophia$0534743 712 12$aETAPS 2008$f(2008 :$eBudapest, Hungary) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483787003321 996 $aProgramming languages and systems$94195660 997 $aUNINA