Sökt på: Sökresultat
totalt 8 träffar
Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, …
Image-Guided IMRT
Intensity-modulated radiation therapy (IMRT), one of the most important developments in radiation oncology in the past 25 years, involves technology to deliver radiation to tumors …
Research and Education in Robotics - EUROBOT 2009
This volume contains the accepted papers presented during the International Conference on Research and Education in Robotics - EUROBOT Conference 2009, held in La Fert' e-Bernard, …
Static Analysis
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 …
Programming Languages and Systems
This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29- 31, 2004. The ESOP series …
Diophantine Approximation
Diophantine Approximation is a branch of Number Theory having its origins intheproblemofproducing"e;best"e;rationalapproximationstogivenrealn- bers. Since the early work of …
Essence of Computation
By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of …
Active Labor Market Policies in Europe
Measures of Active Labor Market Policy - such as training, wage subsidies, public employment measures, and job search assistance - are widely used in European countries to combat …