Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Advanced Motion Control and Sensing for Intelligent Vehicles
Advanced Motion Control and Sensing for Intelligent Vehicles provides the latest information in intelligent vehicle control, ...
Lee masAfrican 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 ...
Lee mas
Applied Stratigraphy
This book aims to incorporate major aspects and essential elements underpinning the modern applications and perspectives ...
Lee mas
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 ...
Lee mas
Equity Financing and Covenants in Venture Capital
Karoline Jung-Senssfelder presents the first augmented contracting analysis, focusing on the interaction of both, financial ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
International Prosecution of Human Rights Crimes
A conference organized by the Berlin-based Republikanischer Anwältinnen- und Anwälteverein (Republican Lawyers As- ciation) ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
Nonlinear Problems of Elasticity
This second edition is an enlarged, completely updated, and extensively revised version of the authoritative first edition. ...
Lee mas
Optical Networking Standards
Optical Networking Standards: A Comprehensive Guide for Professionals provides a single source reference of over a hundred ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
The Boundaries of Innovation and Entrepreneurship
It is commonly accepted that innovation and entrepreneurship are essential ingredients for a company’s long-term success. ...
Lee mas
