Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
اقرأ المزيد
Accountability for International Humanitarian Law Violations: The Case of Rwanda and East Timor
The main objective of this book is to make available to an informed audience a le gal and policy oriented study on accountability ...
اقرأ المزيد
Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice
This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and ...
اقرأ المزيد
Advanced Motion Control and Sensing for Intelligent Vehicles
Advanced Motion Control and Sensing for Intelligent Vehicles provides the latest information in intelligent vehicle control, ...
اقرأ المزيدAfrican Land Reform Under Economic Liberalisation : States, Chiefs, and Rural Communities
This book offers unique in-depth, comprehensive, and comparative analyses of the motivations, context, and outcomes of recent ...
اقرأ المزيد
Applied Stratigraphy
This book aims to incorporate major aspects and essential elements underpinning the modern applications and perspectives ...
اقرأ المزيد
Business Trends in Practice: The 25+ Trends That are Redefining Organizations / Bernard Marr
In Business Trends in Practice: The 25+ Trends That Are Redefining Organizations, best-selling business author and strategist ...
اقرأ المزيد
Equity Financing and Covenants in Venture Capital
Karoline Jung-Senssfelder presents the first augmented contracting analysis, focusing on the interaction of both, financial ...
اقرأ المزيد
Evolutionary Biology from Concept to Application
this book provides an up-to-date overview of evolutionary concepts and how these concepts can be applied to a better understanding ...
اقرأ المزيد
Historical Background of Wang Yang-ming’s Philosophy of Mind From the Perspective of his Life Story
This book offers comprehensive information on Wang Yang-ming’s life, helping readers identify and grasp the foundations ...
اقرأ المزيد
International Prosecution of Human Rights Crimes
A conference organized by the Berlin-based Republikanischer Anwältinnen- und Anwälteverein (Republican Lawyers As- ciation) ...
اقرأ المزيد
Legitimacy Needs as Drivers of Business Exit
A diversified firm’s withdrawal from a business unit, i.e. business exit, is a significant phenomenon in management practice. ...
اقرأ المزيد
Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading LEAP-UCD-2017
This book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2017. It addresses ...
اقرأ المزيد
Nonlinear Problems of Elasticity
This second edition is an enlarged, completely updated, and extensively revised version of the authoritative first edition. ...
اقرأ المزيد
Optical Networking Standards
Optical Networking Standards: A Comprehensive Guide for Professionals provides a single source reference of over a hundred ...
اقرأ المزيد
Preserving Privacy in On-Line Analytical Processing (OLAP)
Preserving Privacy in On-Line Analytical Processing reviews a series of methods that can precisely answer data cube-style ...
اقرأ المزيد
Risk Management in Stochastic Integer Programming : With Application to Dispersed Power Generation
Two-stage stochastic optimization is a useful tool for making optimal decisions under uncertainty. Frederike Neise describes ...
اقرأ المزيد
Software Networks: Virtualization, SDN, 5G, and Security, 2nd Edition / Guy Pujolle
Describes how to create and delete virtual networks on the fly. Indeed, the system is able to create any new network with ...
اقرأ المزيد
Sub-threshold Design for Ultra-Low Power Systems
Although energy dissipation has improved with each new technology node, because SoCs are integrating tens of million devices ...
اقرأ المزيد
The Boundaries of Innovation and Entrepreneurship
It is commonly accepted that innovation and entrepreneurship are essential ingredients for a company’s long-term success. ...
اقرأ المزيد
