• Learn about all of the OpenCL Architecture and major APIs.
• ...

• Build and deploy Spring-powered, production-grade applications and services with minimal fuss
• Discover the key Spring framework-related technology standards such as Spring core,...

This book presents an integrated collection of representative approaches for scaling up machine learning and data mining methods on parallel and distributed computing platforms. Demand for parallelizing learning algorithms is highly task-specific: in some settings it is driven by the enormous dataset sizes, in others by model complexity or by...

• Use CoffeeScript to create and test applications and backend services
• Build applications using popular frameworks, libraries, and platforms
• Interface with popular services...

• Focus on Android instrumentation testing to ensure full application coverage
• Apply testing techniques and utilize tools to improve Android application development
• Build intensively...

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, I.F.M. 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods,...

FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment. Concerningthe technologies,the workshopfocused on “Java-related” technologies. It was an opportunity to present and observe the latest research,...

At last – a second edition of this hugely important text that reflects the progress and experience gained in the last decade and aims at providing background and training material for a new generation of risk assessors. The authors offer an introduction to risk assessment of chemicals as well as basic background information on sources,...

Beginning JavaScript 5th Edition shows you how to work effectively with JavaScript frameworks, functions, and modern browsers, and teaches more effective coding practices using HTML5. This new edition has been extensively updated...

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a...

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 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract...