LEADER 00900nam0-22003371i-450 001 990003790300403321 005 20221102145434.0 010 $a0-8039-7777-8 035 $a000379030 035 $aFED01000379030 035 $a(Aleph)000379030FED01 035 $a000379030 100 $a20001010d1997----km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aPandemonium$eTowards a Retro-Organization Theory$fGibson Burrell 205 $a1. ed. 210 $aLondon$cSAGE$d1997 215 $a244 p.$cill.$d23 cm 610 0 $aOrganizzazioni$aAspetti sociali 676 $a302.35$v22$zita 676 $a658$v22$zita 700 1$aBurrell,$bGibson$0117043 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003790300403321 952 $a302.35 BUR 1$b5815$fBFS 959 $aBFS 996 $aPandemonium$9415909 997 $aUNINA DB $aING01 LEADER 01095nam0-2200337---450 001 990009105530403321 005 20240619131259.0 035 $aFED01000910553 035 $a(Aleph)000910553FED01 035 $a000910553 100 $a20091019d1978----km-y0itay50------ba 101 1 $aita$ceng 102 $aIT 105 $aa-------001yy 200 1 $aGuida alla flora mediterranea$fOleg Polunin, Anthony Huxley$g311 fotografie a colori degli autori e 128 disegni di Barbara Everard$gtraduzione di Emilio Balletto 210 $aMilano$cRizzoli$d1978 215 $a323 p., 47 c. di tav.$cill.$d18 cm 225 1 $a<>ornitorinco 454 0$12001$aFlowers of the Mediterranean$922729 610 0 $aMediterraneo$aFlora 700 1$aPolunin,$bOleg$f<1914-1985>$069938 701 1$aHuxley,$bAnthony$0321905 702 1$aEverard,$bBarbara 702 1$aBalletto,$bEmilio 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009105530403321 952 $aA 51 CAN$b246/338$fDARPU 959 $aDARPU 996 $aFlowers of the Mediterranean$922729 997 $aUNINA LEADER 05856nam 22007575 450 001 9910143911103321 005 20200702112127.0 010 $a3-540-45937-5 024 7 $a10.1007/3-540-45937-5 035 $a(CKB)1000000000211700 035 $a(SSID)ssj0000321955 035 $a(PQKBManifestationID)11231376 035 $a(PQKBTitleCode)TC0000321955 035 $a(PQKBWorkID)10281222 035 $a(PQKB)11136354 035 $a(DE-He213)978-3-540-45937-8 035 $a(MiAaPQ)EBC3072091 035 $a(PPN)155212214 035 $a(EXLCZ)991000000000211700 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCompiler Construction $e11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings /$fedited by R. Niegel Horspool 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XII, 348 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2304 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43369-4 320 $aIncludes bibliographical references and index. 327 $aTool Demonstrations -- LISA: An Interactive Environment for Programming Language Development -- Building an Interpreter with Vmgen -- Compiler Construction Using LOTOS NT -- Analysis and Optimization -- Data Compression Transformations for Dynamically Allocated Data Structures -- Evaluating a Demand Driven Technique for Call Graph Construction -- A Graph?Free Approach to Data?Flow Analysis -- A Representation for Bit Section Based Analysis and Optimization -- Low-Level Analysis -- Online Subpath Profiling -- Precise Exception Semantics in Dynamic Compilation -- Decompiling Java Bytecode: Problems, Traps and Pitfalls -- Grammars and Parsing -- Forwarding in Attribute Grammars for Modular Language Design -- Disambiguation Filters for Scannerless Generalized LR Parsers -- Invited Talk -- Modular Static Program Analysis -- Domain-Specific Languages and Tools -- StreamIt: A Language for Streaming Applications -- Compiling Mercury to High-Level C Code -- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs -- Energy Consumption Optimizations -- Linear Scan Register Allocation in the Context of SSA Form and Register Constraints -- Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation -- Optimizing Static Power Dissipation by Functional Units in Superscalar Processors -- Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems -- Loop and Array Optimizations -- Effective Enhancement of Loop Versioning in Java -- Value-Profile Guided Stride Prefetching for Irregular Code -- A Comprehensive Approach to Array Bounds Check Elimination for Java. 330 $aETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2304 606 $aProgramming languages (Electronic computers) 606 $aLogic, Symbolic and mathematical 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aProgramming languages (Electronic computers) 615 0$aLogic, Symbolic and mathematical. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aLogics and Meanings of Programs. 676 $a005.4/53 702 $aHorspool$b R. Niegel$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aETAPS$f(2002 :$eGrenoble, France), 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143911103321 996 $aCompiler Construction$9771871 997 $aUNINA