Sökt på: Sökresultat
totalt 12 träffar
Diophantine Approximation
Diophantine Approximation is a branch of Number Theory having its origins intheproblemofproducing“best”rationalapproximationstogivenrealn- bers. Since the early work of Lagrange on …
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 …
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, …
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, …
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 …
Mathematical Foundations of Programming Semantics
This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie Mellon University, March …
Static Analysis
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and …
Mathematical Foundations of Programming Language Semantics
This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, …
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 …
Voluntary Standard Systems
Emerging to the forefront of sustainable production and consumption are a promising and rapidly evolving concept known as Voluntary Standard Systems (VSS). They encompass the three …
The 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 …
Mathematical Foundations of Programming Semantics
This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the …