This open access book is based on the research outputs of China Council for International Cooperation on Environment and Development (CCICED) in 2020. It covers major topics of Chinese and international attention regarding green development, such as climate, biodiversity, ocean, BRI, urbanization, sustainable production and consumption, technology, finance, value chain, and so on. It also looks…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
This book presents vehicular ad-hoc networks (VANETs) from the their onset, gradually going into technical details, providing a clear understanding of both theoretical foundations and more practical investigation. The editors gathered top-ranking authors to provide comprehensiveness and timely content; the invited authors were carefully selected from a list of who’s who in the respective fiel…
Jan Buchmann focuses on the valuation of a firm’s innovation potential based on that firm’s position in its lifecycle. Compared to existing research, the author does not center his research exclusively on mathematical valuation methodologies. Instead, the author compares collected valuation input data, data interpretation approaches, and valuation methodologies suggested by theory with the …
This book aims to overcome the limitations the variations in bank-specifics impose by providing a bank-specific valuation theoretical framework and a new asset-side model. The book includes also a constructive comparison of equity and asset side methods. The authors present a novel framework entitled, the “Asset Mark-down Model”. This method incorporates an Adjusted Present Value model, whi…
Value Chain Marketing (VCM) is a promising strategy to overcome immediate customers’ innovation resistance. By pursuing VCM, material suppliers enlarge their target group beyond their immediate customers and address their downstream customers as well. Treading on relatively unexplored grounds, this book explores the relevance of VCM and comprehends its process; identifies the critical fact…
What was "information" in the early eighteenth century, and what influence did the emergence of information, as potential physical and psychological threat, have on readers of the period? Recent scholarship in eighteenth-century print culture and in twenty-first-century media studies and theory offers a unique opportunity to reconsider how and why information is figuratively imagined during the…
Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In this book, author Ivor Horton explains what the class and function templates available with C++ 14 do, and how to use them in a practical context. You'll learn how to create containers, and how iterators are used with them to ac…