LEADER 00983nam0-22003131i-450- 001 990006858280403321 005 20001010 035 $a000685828 035 $aFED01000685828 035 $a(Aleph)000685828FED01 035 $a000685828 100 $a20001010d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aBlock transaction premia and partial private benefits$ean empirical investigation$fGiovanna Nicodano andAlessandro Sembenelli. 210 $aMilano$cFondazione Eni$d1997. 215 $a31 p.$d21 cm 225 1 $aNote di lavoro della Fondazione ENI Enrico Mattei$v66 676 $a338.9 700 1$aNicodano,$bGiovanna$0119412 702 1$aSembenelli,$bAlessandro 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006858280403321 952 $aCOLLEZ. 1703 (66)$b31264$fFSPBC 959 $aFSPBC 996 $aBlock transaction premia and partial private benefits$9302177 997 $aUNINA DB $aGEN01 LEADER 02437nam 2200661 450 001 9910788101303321 005 20221209205706.0 010 $a1-61168-611-3 035 $a(CKB)2670000000574059 035 $a(EBL)1882395 035 $a(SSID)ssj0001370170 035 $a(PQKBManifestationID)12593586 035 $a(PQKBTitleCode)TC0001370170 035 $a(PQKBWorkID)11292687 035 $a(PQKB)11164654 035 $a(MiAaPQ)EBC1882395 035 $a(OCoLC)894669071 035 $a(MdBmJHUP)muse37526 035 $a(Au-PeEL)EBL1882395 035 $a(CaPaEBR)ebr10969734 035 $a(CaONFJC)MIL655811 035 $a(OCoLC)898102766 035 $a(EXLCZ)992670000000574059 100 $a20141119h20142014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe science of play $ehow to build playgrounds that enhance children's development /$fSusan G. Solomon 210 1$aLebanon, New Hampshire :$cUniversity Press of New England,$d2014. 210 4$d©2014 215 $a1 online resource (231 p.) 300 $aDescription based upon print version of record. 311 08$a1-322-24531-2 311 08$a1-61168-610-5 320 $aIncludes bibliographical references and index. 327 $aCover; Title Page (1); Title Page (2); Contents; Acknowledgments; Introduction; 1 | The Problem; 2 | Risk and Independence; 3 | Failing and Succeeding; 4 | Executive Function; Illustrations; 5 | Friendship; 6 | Nature and Exploration; 7 | Paths; Conclusion | Paradigms; Notes; Selected Bibliography; Index 330 $aLinks ways children thrive to the design of playgrounds 606 $aPlaygrounds$xDesign and construction 606 $aPlaygrounds$zUnited States$xDesign and construction 606 $aPlaygrounds$zUnited States$xPlanning 606 $aPlay environments$xDesign and construction 606 $aChild development 615 0$aPlaygrounds$xDesign and construction. 615 0$aPlaygrounds$xDesign and construction. 615 0$aPlaygrounds$xPlanning. 615 0$aPlay environments$xDesign and construction. 615 0$aChild development. 676 $a796.06/8 700 $aSolomon$b Susan G.$025573 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910788101303321 996 $aThe science of play$93777194 997 $aUNINA LEADER 05037nam 22007215 450 001 9910484413103321 005 20251226195701.0 010 $a3-540-78743-7 024 7 $a10.1007/978-3-540-78743-3 035 $a(CKB)1000000000490602 035 $a(SSID)ssj0000317836 035 $a(PQKBManifestationID)11240625 035 $a(PQKBTitleCode)TC0000317836 035 $a(PQKBWorkID)10295592 035 $a(PQKB)10989759 035 $a(DE-He213)978-3-540-78743-3 035 $a(MiAaPQ)EBC3068749 035 $a(PPN)125218567 035 $a(Au-PeEL)EBL3068749 035 $a(CaPaEBR)ebr10533936 035 $a(CaONFJC)MIL185650 035 $a(OCoLC)233974013 035 $a(EXLCZ)991000000000490602 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFundamental Approaches to Software Engineering $e11th International Conference, FASE 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 José Fiadeiro, Paola Inverardi 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XIII, 434 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4961 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-78742-9 320 $aIncludes bibliographical references and index. 327 $aRequirements and Architectures -- Deriving Non-zeno Behavior Models from Goal Models Using ILP -- What?s in a Feature: A Requirements Engineering Perspective -- Formal Approach to Integrating Feature and Architecture Models -- Models, Model Transformations I -- Correctness-Preserving Configuration of Business Process Models -- Consistent Integration of Models Based on Views of Visual Languages -- Translating Model Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A Formal Proof Environment for uml/ocl -- Towards Faithful Model Extraction Based on Contexts -- Leveraging Patterns on Domain Models to Improve UML Profile Definition -- Service Engineering/Adaptable Services -- When Things Go Wrong: Interrupting Conversations -- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services -- Engineering Service Oriented Applications: From StPowla Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects -- Modelling and Verification of Timed Interaction and Migration -- A Model Checking Approach for Verifying COWS Specifications -- Verification and Testing II -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames -- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms -- Automated Analysis of Permission-Based Security Using UMLsec -- Objects and Components -- Software Quality Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference for State Machines Using Domains with Equality Tests -- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems.-Models, Model Transformations II -- Verification of Architectural Refactorings by Rule Extraction -- Formal Model-Driven Program Refactoring -- An Algebraic Semantics for MOF -- A Formal Framework for Developing Adaptable Service-Based Applications -- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications -- Clint: A Composition Language Interpreter (Tool Paper). 330 $aThis proceedings volume covers requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4961 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 676 $a005.1 701 $aFiadeiro$b Jose Luiz$f1961-$01756321 701 $aInverardi$b Paola$0955553 712 12$aETAPS 2008$f(2008 :$eBudapest, Hungary) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484413103321 996 $aFundamental approaches to software engineering$94198716 997 $aUNINA