Filter by
Verification, Model Checking, and Abstract Interpretation 16th International…
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…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46081-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Venture Capital and the Inventive Process VC Funds for Ideas-Led Growth
The inventive process is the most important driver of economic growth. Venture capital (VC) funds have contributed a small, but critical, part to the inventive process. VC funds boost the inventive process by selecting a small number of radical ideas out a large flow of ideas and invest in their testing, development and commercialization. They bring together capital from general savings, manage…
- Edition
- -
- ISBN/ISSN
- 978-1-137-53660-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Ventilatory Disorders
Respiratory function is a major determinant of the overall quality of health and well-being of an individual. This book runs the gamut of chapters devoted to chronic cough-related conditions in children and adults, health care quality and safety, environmental pollution health effects, efficiency of therapeutic approaches and a mutual dependence of respiratory and non-respiratory illnesses. An …
- Edition
- -
- ISBN/ISSN
- 978-3-319-20194-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Vehicular ad hoc Networks Standards, Solutions, and Research
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…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15497-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Vector Generalized Linear and Additive Models With an Implementation in R
This book presents a greatly enlarged statistical framework compared to generalized linear models (GLMs) with which to approach regression modelling. Comprising of about half-a-dozen major classes of statistical models, and fortified with necessary infrastructure to make the models more fully operable, the framework allows analyses based on many semi-traditional applied statistics models to be …
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2818-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Vascular Ion Channels in Physiology and Disease
Ion channels are the major class of membrane proteins responsible for rapid and regulated transport of ions across biological membranes and for the generation and propagation of electrical signals in the brain, heart, and skeletal and vascular tissues. Ion channels are also known to play critical roles in regulation of cell proliferation, insulin secretion and intracellular signaling in a varie…
- Edition
- -
- ISBN/ISSN
- 978-3-319-29635-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Varicocele and Male Infertility Current Concepts, Controversies and Consensus
This SpringerBrief analyzes varicocele from a novel approach, and provides the reader with a comprehensive view of its scientific and clinical significance. The Brief covers all the important aspects of varicocele related to infertility, from epidemiology to assisted reproduction techniques, contemplating pathophysiology, semen analysis, specialized sperm function tests, and clinical management…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24936-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Valuing Banks A New Corporate Finance Approach
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…
- Edition
- -
- ISBN/ISSN
- 978-1-137-56142-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Validation of Evolving Software
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book
- Edition
- -
- ISBN/ISSN
- 978-3-319-10623-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Using the C++ Standard Template Libraries
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…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0004-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography