25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee mas
50 Years of EU Economic Dynamics
On the occasion of the 50th anniversary of the European Union experts present their analyses of historical developments and ...
Lee mas
A Common Consolidated Corporate Tax Base for Europe - Eine einheitliche Körperschaftsteuerbemessungsgrundlage für Europa
This book contains the proceedings of the International Tax Conference on the c- th th mon consolidated corporate tax base ...
Lee mas
A Demographic Perspective on Gender, Family and Health in Europe
This open access book examines the triangle between family, gender, and health in Europe from a demographic perspective. ...
Lee mas
A New Deal for an Effective European Research Policy
It underlines an important truth: that science has always advanced most rapidly when it is a collective endeavour, with a ...
Lee mas
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lee mas
A Trading Desk View of Market Quality
"Market quality" is a complex, ambiguous term that means different things to different people. How should it be defined, ...
Lee mas
A Treatise of Legal Philosophy and General Jurisprudence
A Treatise of Legal Philosophy and General Jurisprudence is the first-ever multivolume treatment of the issues in legal philosophy ...
Lee mas
A Treatise of Legal Philosophy and General Jurisprudence ; Volume 7: The Jurists’ Philosophy of Law from Rome to the Seventeenth Century, Volume 8: A History of the Philosophy of Law in The Common Law World, 1600–1900
A Treatise of Legal Philosophy and General Jurisprudence is the first-ever multivolume treatment of the issues in legal philosophy ...
Lee mas
Abuse of Dominant Position: New Interpretation, New Enforcement Mechanisms?
As part of its review of competition law that started in the late 1990s, the European Commission proposes to revise its interpretation ...
Lee masAccess to Medicines and Vaccines : Implementing Flexibilities Under Intellectual Property Law
This book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...
Lee mas
Accessing and Sharing the Benefits of the Genomics Revolution
This edited volume explores the legal, economic and political context for the debate about intellectual property rights for ...
Lee mas
Active Labor Market Policies in Europe
Measures of Active Labor Market Policy - such as training, wage subsidies, public employment measures, and job search assistance ...
Lee mas
Advanced Gate Stacks for High-Mobility Semiconductors
This book provides a comprehensive monograph on gate stacks in semiconductor technology. The reader will get a clear view ...
Lee mas
Advanced Materials and Structures for Extreme Operating Conditions
The present monograph deals with new advanced materials, including composites, functionally graded materials, materials for ...
Lee mas
Advancements in Electric Machines
This book discusses the stateof-the art of electric machines, associated components and contemporary trends of their development. ...
Lee mas
Advances in Air Pollution Modeling for Environmental Security
Includes selected papers from the NATO ARW held at Borovetz (Bulgaria), in the period 8-12 May, 2004. This book talks about ...
Lee mas
Advances in Blended Learning : Second Workshop on Blended Learning, WBL 2008, Jinhua, China, Augustl 20-22, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Workshop on Blended Learning, WBL 2008, ...
Lee mas
Advances in Enterprise Engineering I : 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings
This book constitutes the proceedings of the 4th International Workshop on Cooperation and Interoperability, Architecture ...
Lee mas
Advances in Grid and Pervasive Computing
This book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...
Lee mas
