Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteOn the occasion of the 50th anniversary of the European Union experts present their analyses of historical developments and ...
Lire la suiteThis book contains the proceedings of the International Tax Conference on the c- th th mon consolidated corporate tax base ...
Lire la suiteThis open access book examines the triangle between family, gender, and health in Europe from a demographic perspective. ...
Lire la suiteIt underlines an important truth: that science has always advanced most rapidly when it is a collective endeavour, with a ...
Lire la suitePractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suite"Market quality" is a complex, ambiguous term that means different things to different people. How should it be defined, ...
Lire la suiteA Treatise of Legal Philosophy and General Jurisprudence is the first-ever multivolume treatment of the issues in legal philosophy ...
Lire la suiteA Treatise of Legal Philosophy and General Jurisprudence is the first-ever multivolume treatment of the issues in legal philosophy ...
Lire la suiteAs part of its review of competition law that started in the late 1990s, the European Commission proposes to revise its interpretation ...
Lire la suiteThis book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...
Lire la suiteThis edited volume explores the legal, economic and political context for the debate about intellectual property rights for ...
Lire la suiteMeasures of Active Labor Market Policy - such as training, wage subsidies, public employment measures, and job search assistance ...
Lire la suiteThis book provides a comprehensive monograph on gate stacks in semiconductor technology. The reader will get a clear view ...
Lire la suiteThe present monograph deals with new advanced materials, including composites, functionally graded materials, materials for ...
Lire la suiteThis book discusses the stateof-the art of electric machines, associated components and contemporary trends of their development. ...
Lire la suiteIncludes selected papers from the NATO ARW held at Borovetz (Bulgaria), in the period 8-12 May, 2004. This book talks about ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the Second Workshop on Blended Learning, WBL 2008, ...
Lire la suiteThis book constitutes the proceedings of the 4th International Workshop on Cooperation and Interoperability, Architecture ...
Lire la suiteThis book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...
Lire la suite