OpenGL, which has been bound in C, is a seasoned graphics library for scientists and engineers. As we know, Java is a rapidly growing language becoming the de facto standard of Computer Science learning and application development platform as many undergraduate computer science programs are adopting Java in place of C/C++. Released by...

This book is an annotated version of the C# Language Standard, created by adding around 400 separate annotations to the complete text of the Standard. The Standard was formally adopted as ISO Standard 23270:2006 in April 2006 and published in August 2006, and adopted as Ecma International Standard 334 version 4 in June 2006. Microsoft...

The 17 revised full papers and 6 revised short papers presented together with 4 invited lectures were carefully reviewed and selected from 39...

This volume contains the proceedings of the 6th International Conference on Logical Aspects of Computational Linguistics 2011 (LACL 2011), held June 29- July 1, 2011 in Montpellier, France. The LACL conferences aim at providing a forum for the presentation and discussion of current research in all the formal and logical aspects of...

Capitalizing on the information a company owns about its customers, suppliers and partners is now the value proposition for sustainable long-term growth. Authors Mark Hurd and Lars Nyberg go inside companies to see the value proposition in practice. Combining case studies and analysts’ insights with common sense and surprisingly simple...

Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g., Java, C++, or C#. The International Conference on Formal...

Interest in and needs for provenance are growing as data proliferate. Data are increasing in a wide array of application areas, including scientific workflow systems, logical reasoning systems, text extraction, social media, and linked data. As data volumes expand and as applications become more hybrid and distributed in nature, there is...

Welcome to Twitter, the Social Networking site that was called “utterly devoid of any sort of merit” by New Zealand Herald’s Canvas Magazine, (June 6, 2009) in the same week it appeared on the cover of TIME Magazine as “a powerful form of communication” and “the future of American innovation.”...

This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012. This volume presents 9 thoroughly revised papers selected from 24 submissions as...

The last three decades have seen an explosion of social, psychological and clinical research to identify effective strategies to prevent and treat alcohol-related problems. This “Essential Handbook” contains an updated selection of reviews of “what works” drawn from the critically acclaimed International...