LEADER 01008nam0-22003371i-450- 001 990007881040403321 005 20050503092117.0 010 $a88-464-5160-0 035 $a000788104 035 $aFED01000788104 035 $a(Aleph)000788104FED01 035 $a000788104 100 $a20040510d--------km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa-------001yy 200 1 $a<>evoluzione del sistema agenziale verso la vendita on line$fAdriano Biella$gGilberto Borzini 210 $aMilano$cFranco Angeli$d2004 215 $a180 p.$d20 cm 225 1 $aStudi e ricerche sul turismo 610 0 $aWeb marketing$avendita on line 676 $a046.008 700 1$aBiella,$bAdriano$0282709 701 1$aBorzini,$bGilberto$0131062 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007881040403321 952 $a046.008.BIE$b5477$fDECGE 959 $aDECGE 996 $aEvoluzione del sistema agenziale verso la vendita on line$942659 997 $aUNINA LEADER 01358nam--2200421---450- 001 990003011460203316 005 20071112144414.0 010 $a88-7140-306-1 035 $a000301146 035 $aUSA01000301146 035 $a(ALEPH)000301146USA01 035 $a000301146 100 $a20071112d2006----km-y0itay50------ba 101 $aita$alat 102 $aIT 105 $a||||||||001yy 200 1 $aEpigrafi, epigrafia, epigrafisti$escritti vari editi e inediti, 1956-2005 con note complementari e indici$fdi Silvio Panciera 210 $aRoma$cQuasar$dc2006 215 $a3 v.$cill.$d28 cm. 225 2 $aVetera$v16 327 1 $a : 981 p. - : P. XII, 986-2002. - : P. XII, 2022-2187 410 0$12001$aVetera$v16 454 1$12001 461 1$1001-------$12001 606 0 $aEpigrafia latina 676 $a471.1 700 1$aPANCIERA,$bSilvio$0182807 801 0$aIT$bsalbc$gISBD 912 $a990003011460203316 951 $aXI.5.C. 45/1$b202834 L.M.$cXI.5.C.$d00162145 951 $aXI.5.C. 45/2$b202836 L.M.$cXI.5.C.$d00162146 951 $aXI.5.C. 45/3$b202835 L.M.$cXI.5.C.$d00162147 959 $aBK 969 $aUMA 979 $aRIVELLI$b90$c20071112$lUSA01$h1440 979 $aRIVELLI$b90$c20071112$lUSA01$h1444 996 $aEpigrafi, epigrafia, epigrafisti$91024596 997 $aUNISA LEADER 02254nam 2200601 450 001 9910787237503321 005 20230725060726.0 010 $a92-9092-201-X 035 $a(CKB)3710000000316599 035 $a(SSID)ssj0000746262 035 $a(PQKBManifestationID)11474099 035 $a(PQKBTitleCode)TC0000746262 035 $a(PQKBWorkID)10863302 035 $a(PQKB)10151507 035 $a(MiAaPQ)EBC3110924 035 $a(WaSeSS)Ind00044415 035 $a(Au-PeEL)EBL3110924 035 $a(CaPaEBR)ebr10906362 035 $a(CaONFJC)MIL784370 035 $a(OCoLC)922978313 035 $a(EXLCZ)993710000000316599 100 $a20140829h20102010 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aPayments for ecological services and eco-compensation $epractices and innovations in the People's Republic of China : proceedings from the International Conference on Payments for Ecological Services, Ningxia Hui Autonomous Region, People's Republic of China, 6-7 September 2009 /$fedited by Qingfeng Zhang [and three others] 210 1$aMetro Manila, Philippines :$cAsian Development Bank,$d2010. 210 4$d©2010 215 $a1 online resource (212 pages) $cillustrations, charts, tables 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a92-9092-209-5 320 $aIncludes bibliographical references at the end of each chapters. 606 $aEnvironmental policy$zChina$vCongresses 606 $aPayments for ecosystem services$zChina$vCongresses 606 $aEcosystem management$xEconomic aspects$zChina 606 $aEnvironmental economics$vCongresses 615 0$aEnvironmental policy 615 0$aPayments for ecosystem services 615 0$aEcosystem management$xEconomic aspects 615 0$aEnvironmental economics 676 $a363.70951 702 $aZhang$b Qingfeng 712 02$aAsian Development Bank. 712 02$aNational Development and Reform Commission. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910787237503321 996 $aPayments for ecological services and eco-compensation$93830852 997 $aUNINA LEADER 06180nam 22006735 450 001 9910482962403321 005 20251226203107.0 010 $a3-540-33094-1 024 7 $a10.1007/11693017 035 $a(CKB)1000000000232888 035 $a(SSID)ssj0000317839 035 $a(PQKBManifestationID)11248532 035 $a(PQKBTitleCode)TC0000317839 035 $a(PQKBWorkID)10294627 035 $a(PQKB)11485360 035 $a(DE-He213)978-3-540-33094-3 035 $a(MiAaPQ)EBC3067616 035 $a(PPN)123132797 035 $a(EXLCZ)991000000000232888 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFundamental Approaches to Software Engineering $e9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings /$fedited by Luciano Baresi, Reiko Heckel 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XIV, 425 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3922 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-33093-3 320 $aIncludes bibliographical references and index. 327 $aInvited Contributions -- A Programming Model for Service Oriented Applications -- Software Engineering: Emerging Goals and Lasting Problems -- Distributed Systems -- GPSL: A Programming Language for Service Implementation -- A Formal Approach to Event-Based Architectures -- Engineering Self-protection for Autonomous Systems -- Orthogonal Process Activities -- A Graph-Based Approach to Transform XML Documents -- OMake: Designing a Scalable Build Process -- Automatic Generation of Tutorial Systems from Development Specification -- A Software Implementation Progress Model -- Behavioral Models and State Machines -- Regular Inference for State Machines with Parameters -- Automated Support for Building Behavioral Models of Event-Driven Systems -- A Behavioral Model for Software Containers -- Empirical Studies -- An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings -- Evaluation of Expected Software Quality: A Customer?s Viewpoint -- Using Design Metrics for Predicting System Flexibility -- Requirements and Design -- Combining Problem Frames and UML in the Description of Software Requirements -- Amplifying the Benefits of Design Patterns: From Specification Through Implementation -- The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts -- Concerned About Separation -- Model-Based Development -- Algebraic Specification of a Model Transformation Engine -- Fundamentals of Debugging Using a Resolution Calculus -- A Technique to Represent and Generate Components in MDA/PIM for Automation -- Validation and Verification -- Argus: Online Statistical Bug Detection -- From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems -- Automated Systematic Testing of Open Distributed Programs -- Formal Simulation andAnalysis of the CASH Scheduling Algorithm in Real-Time Maude -- Tool Demonstrations -- JAG: JML Annotation Generation for Verifying Temporal Properties -- LearnLib: A Library for Automata Learning and Experimentation -- Software Evolution -- Trace-Based Memory Aliasing Across Program Versions -- The Pervasiveness of Global Data in Evolving Software Systems -- Relation of Code Clones and Change Couplings. 330 $aETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance rates below 30% for each conference. Congratu- tions to all the authors who made it to the ?nal programme! I hope that most of the other authorsstill founda way of participatingin this excitingevent and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities 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 the 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$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3922 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 $aBaresi$b Luciano$0521100 701 $aHeckel$b Reiko$0987558 712 12$aETAPS 2006$f(2006 :$eVienna, Austria) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910482962403321 996 $aFundamental approaches to software engineering$94187257 997 $aUNINA