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
- -
Vector Optimization and Monotone Operators via Convex Duality Recent Advances
This book investigates several duality approaches for vector optimization problems, while also comparing them. Special attention is paid to duality for linear vector optimization problems, for which a vector dual that avoids the shortcomings of the classical ones is proposed. Moreover, the book addresses different efficiency concepts for vector optimization problems. Among the problems that app…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08900-3
- 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
- -
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
- -
Variational Analysis and Aerospace Engineering Mathematical Challenges for t…
This book presents papers surrounding the extensive discussions that took place from the ‘Variational Analysis and Aerospace Engineering’ workshop held at the Ettore Majorana Foundation and Centre for Scientific Culture in 2015. Contributions to this volume focus on advanced mathematical methods in aerospace engineering and industrial engineering such as computational fluid dynamics metho…
- Edition
- -
- ISBN/ISSN
- 978-3-319-45680-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Socialism and Legal History
This book focuses on the way in which legal historians and legal scientists used the past to legitimize, challenge, explain and familiarize the socialist legal orders, which were backed by dictatorial governments. The volume studies legal historians and legal histories written in Eastern European countries during the socialist era after the Second World War. The book investigates whether the…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Diversity of Belonging in Europe
Diversity of Belonging in Europe analyzes conflicting notions of identity and belonging in contemporary Europe. Addressing the creation, negotiation, and (re) use of diverse spaces and places of belonging, the book examines their fascinating complexities in the context of a changing Europe. Taking an innovative interdisciplinary approach, the volume examines renegotiations of bel…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Value Addition of Horticultural Crops: Recent Trends and Future Directions
This book combines several ideas and philosophies and provides a detailed discussion on the value addition of fruits, vegetables, spices, plantation crops, floricultural crops and in forestry. Separate chapters address the packaging, preservation, drying, dehydration, total quality management and supply chain management of horticultural crops. The book explains value addition as a process of in…
- Edition
- -
- ISBN/ISSN
- 978-81-322-2262-0
- 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
- -
The Fourth Industrial Revolution and the Recolonisation of Africa
This book argues that the fourth industrial revolution, the process of accelerated automation of traditional manufacturing and industrial practices via digital technology, will serve to further marginalise Africa within the international community. In this book, the author argues that the looting of Africa that started with human capital and then natural resources, now continues unabated via…
- Edition
- -
- ISBN/ISSN
- -
- 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