LEADER 02938nam 2200745 a 450 001 9910779377203321 005 20230802005518.0 010 $a1-280-99879-2 010 $a9786613770400 010 $a1-84541-303-2 024 7 $a10.21832/9781845413033 035 $a(CKB)2550000000108266 035 $a(EBL)977759 035 $a(OCoLC)806204979 035 $a(SSID)ssj0000740427 035 $a(PQKBManifestationID)12284578 035 $a(PQKBTitleCode)TC0000740427 035 $a(PQKBWorkID)10701309 035 $a(PQKB)11755261 035 $a(MiAaPQ)EBC977759 035 $a(DE-B1597)541815 035 $a(OCoLC)1135585248 035 $a(DE-B1597)9781845413033 035 $a(Au-PeEL)EBL977759 035 $a(CaPaEBR)ebr10582798 035 $a(CaONFJC)MIL377040 035 $a(EXLCZ)992550000000108266 100 $a20120305d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$a2050 - tomorrow's tourism$b[electronic resource] /$fIan Yeoman, with Tan Li Yu Rebecca ... [et.al.] 210 $aBuffalo $cChannel View Publications$dc2012 215 $a1 online resource (269 p.) 225 1 $aAspects of tourism ;$v55 300 $aDescription based upon print version of record. 311 $a1-84541-301-6 320 $aIncludes bibliographical references and index. 327 $tFrontmatter -- $tContents -- $tAuthors -- $tAcknowledgements -- $tForeword 1 -- $tForeword 2 -- $tForeword 3 -- $tIntroduction -- $tWealth -- $tTechnology -- $tResources -- $tAfterword 1 -- $tAfterword 2 -- $tReferences -- $tIndex 330 $aIn 2050, it is predicted that 4.7bn or nearly 50% of the world's population will take an international holiday. But can humankind meet that forecast given the issues of ageing populations, peak oil, the global financial crisis and climate change? This book constructs scenarios from Shanghai to Edinburgh, Seoul to California encompassing complex topics such as human trafficking, conferences, transport, food tourism or technological innovation. This is a blue skies thinking book about the future of tourism and a thought-provoking analytical commentary. 410 0$aAspects of tourism ;$v55. 606 $aTourism$xForecasting 610 $a2050. 610 $aForecasting. 610 $aFuture of tourism. 610 $aScenario planning. 610 $aTourism development. 610 $aTourism economy. 610 $aTourism forecasting. 610 $aTourism futures. 610 $aTourism planning. 610 $aTourism policy. 615 0$aTourism$xForecasting. 676 $a338.4/791 700 $aYeoman$b Ian$01571440 701 $aYu$b Rebecca Li$01571441 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910779377203321 996 $a2050 - tomorrow's tourism$93845845 997 $aUNINA LEADER 04241nam 22008295 450 001 9910485038503321 005 20251226195434.0 010 $a3-540-68103-5 024 7 $a10.1007/978-3-540-68103-8 035 $a(CKB)1000000000440589 035 $a(SSID)ssj0000320543 035 $a(PQKBManifestationID)11235229 035 $a(PQKBTitleCode)TC0000320543 035 $a(PQKBWorkID)10248082 035 $a(PQKB)11182294 035 $a(DE-He213)978-3-540-68103-8 035 $a(MiAaPQ)EBC3068652 035 $a(PPN)127048030 035 $a(EXLCZ)991000000000440589 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTypes for Proofs and Programs $eInternational Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers /$fedited by Marino Miculan, Ivan Scagnetto, Furio Honsell 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (VII, 203 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4941 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-68084-5 320 $aIncludes bibliographical references and index. 327 $aAlgorithmic Equality in Heyting Arithmetic Modulo -- CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types -- Dependently Sorted Logic -- Finiteness in a Minimalist Foundation -- A Declarative Language for the Coq Proof Assistant -- Characterising Strongly Normalising Intuitionistic Sequent Terms -- Intuitionistic vs. Classical Tautologies, Quantitative Comparison -- In the Search of a Naive Type Theory -- Verification of the Redecoration Algorithm for Triangular Matrices -- A Logic for Parametric Polymorphism with Effects -- Working with Mathematical Structures in Type Theory -- On Normalization by Evaluation for Object Calculi -- Attributive Types for Proof Erasure. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4941 606 $aSoftware engineering 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aComputer science$xMathematics 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 606 $aSymbolic and Algebraic Manipulation 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCompilers (Computer programs) 615 0$aComputer science$xMathematics. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aArtificial Intelligence. 676 $a005.13/1 686 $a54.52$2bcl 701 $aMiculan$b Marino$01762555 701 $aScagnetto$b Ivan$0502484 701 $aHonsell$b Furio$0626692 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910485038503321 996 $aTypes for proofs and programs$94202563 997 $aUNINA