LEADER 04485nam 22007575 450 001 996418305803316 005 20200801130334.0 010 $a3-030-55089-3 024 7 $a10.1007/978-3-030-55089-9 035 $a(CKB)4100000011363684 035 $a(DE-He213)978-3-030-55089-9 035 $a(MiAaPQ)EBC6274786 035 $a(Au-PeEL)EBL6274786 035 $a(OCoLC)1182869233 035 $a(PPN)255404247 035 $a(EXLCZ)994100000011363684 100 $a20200731d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEngineering Trustworthy Software Systems$b[electronic resource] $e5th International School, SETSS 2019, Chongqing, China, April 21?27, 2019, Tutorial Lectures /$fedited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XVII, 221 p. 32 illus.) 225 1 $aProgramming and Software Engineering ;$v12154 311 $a3-030-55088-5 327 $aSeamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. 330 $aThis book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019. The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapters include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K ? A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. 410 0$aProgramming and Software Engineering ;$v12154 606 $aSoftware engineering 606 $aComputer communication systems 606 $aArtificial intelligence 606 $aComputer programming 606 $aArchitecture, Computer 606 $aNatural language processing (Computer science) 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aNatural Language Processing (NLP)$3https://scigraph.springernature.com/ontologies/product-market-codes/I21040 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aArchitecture, Computer. 615 0$aNatural language processing (Computer science). 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer Communication Networks. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aComputer System Implementation. 615 24$aNatural Language Processing (NLP). 676 $a005.1 702 $aBowen$b Jonathan P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLiu$b Zhiming$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZhang$b Zili$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418305803316 996 $aEngineering Trustworthy Software Systems$91889268 997 $aUNISA LEADER 04758nam 2200649 450 001 9910818215503321 005 20230721041927.0 010 $a0-470-98561-5 010 $a1-119-04983-0 010 $a1-119-04984-9 035 $a(CKB)3710000000259527 035 $a(EBL)1813822 035 $a(SSID)ssj0000838135 035 $a(PQKBManifestationID)11470227 035 $a(PQKBTitleCode)TC0000838135 035 $a(PQKBWorkID)10775073 035 $a(PQKB)10941728 035 $a(MiAaPQ)EBC1813822 035 $a(Au-PeEL)EBL1813822 035 $a(CaPaEBR)ebr10953595 035 $a(CaONFJC)MIL652763 035 $a(OCoLC)893332987 035 $a(EXLCZ)993710000000259527 100 $a20141024h20072007 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 12$aA bull in China $einvesting profitably in the world's greatest market /$fJim Rogers 210 1$aChichester, England :$cJohn Wiley & Sons, Ltd.,$d2007. 210 4$dİ2007 215 $a1 online resource (238 p.) 300 $aDescription based upon print version of record. 311 $a1-322-21483-2 311 $a0-470-98560-7 327 $aCover; Title Page; Copyright Page; Dedication; CONTENTS; Introduction: Catching the China Ride; 1 Investing: From Mao Caps to Small-Market Caps; How China Took Stock; Chinese Alphabet Soup; A-Shares; B-Shares; H-Shares; S-Shares; N-Shares and ADR's; L-Shares; OTCBB; STAQ and NET; Exchanging Old Ways for New; 2 Risk: The Perils of Success; Flash Points and Talking Points; Jim's Sino Files: First in War, First in Peace; A Thirst for Progress; Jim's Sino Files: Liquid Profits; When All Else Fails, Will China?; 3 Companies: Let a Thousand Brands Bloom; Demanding New Brands 327 $aJim's Sino Files: Household Names in Hangzhou Dynamic Dynasties; Jim's Sino Files: Five Modern Chinese Innovators; Dialing for Yuan; 4 Energy: Not So Black; Powering Up; Jim's Sino Files: Making Juice Flow; Gushing with Pride; Jim's Sino Files: Slick Oil Stocks; Generating Alternatives; Jim's Sino Files: Blowin' in China's Wind; 5 Transport: Paving the Way; Road Warriors; Jim's Sino Files: Building on Blacktop; The Drive for Four Wheels; Jim's Sino Files: Auto Pilots; Another Track; Jim's Sino Files: All Aboard; 6 Tourism: Up, Up, and Away; The Occidental Tourists 327 $aJim's Sino Files: Voyager Missions No Place Like Home; Jim's Sino Files: Leaving the Lantern On; The Jet Set with Chinese Characteristics; Jim's Sino Files: Ways to Take Flight; 7 Agriculture: Have You Invested Yet?; Growing Pains; Jim's Sino Files: Goodbye Communes, Hello Combines; The Great Chinese Takeout; Jim's Sino Files: More Than Juicy Fruit; Feeding the Demand; Jim's Sino Files: Seed Money; From the Chairman to the Colonel; Jim's Sino Files: Fast-Food Rations; New Kinds of Reds; Jim's Sino Files: Spirits of the People; A Jolly Green Giant?; Jim's Sino Files: Greener Pastures 327 $a8 Health, Education, Housing: Serve the Masses A Healthy Prognosis; Jim's Sino Files: Prescriptions for Profit; Social Insecurity; Jim's Sino Files: Insuring China's Future; Insuring China's Future; Jim's Sino Files: Some Homework; Shelter from the Storm; Jim's Sino Files: Constructive Criticism; 9 Emerging China: The People's Republic of Tomorrow; Appendix; All China Shares; Shanghai A-Shares; Shanghai B-Shares (open to foreign investors); Hong Kong H-Shares; NYSE, NASDAQ, and OTC; Singapore Exchange Limited (SGX) S-Shares; London Stock Exchange L-Shares 327 $aChina-Based Mutual Funds and ETF's in the United States JV (Joint-Venture) Fund Management Companies; Index; ABOUT THE AUTHOR; ABOUT THE TYPE; EULA 330 $aProfiting from China without getting burned is currently an obsession with the international investment community. The estimated size of the Chinese economy has just been revised upwards, making it the 4th largest in the world behind the US, Japan and Germany, and ahead of the UK but the idea that investing in China is a sure-fire, get-rich-quick investment story is dangerously misleading.* The author of the bestselling Investment Biker, Adventure Capitalist, and Hot Commodities, is providing a book that provides a window into what will soon be the most vital, most lucrative market of our time 606 $aInvestments$zChina 606 $aStock exchanges$zChina 606 $aStocks$zChina 615 0$aInvestments 615 0$aStock exchanges 615 0$aStocks 676 $a332.6730951 700 $aRogers$b Jim$01649895 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910818215503321 996 $aA bull in China$93998975 997 $aUNINA