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...

The key to understanding the breathtaking development of mankind lies in the ability to objectify knowledge. Just like human knowledge has undergone changes, so have the libraries in their role as treasure chambers of said knowledge. With the advent of the digital age, traditional libraries were complemented by huge collections of digital...

This volume contains the proceedings of the 21st Annual International Symposium on Algorithms and Computations (ISAAC 2010), held in Jeju, Korea during December 15–17, 2010. Past editions have been held in Tokyo, Taipei, Nagoya, Hong Kong, Beijing, Cairns, Osaka, Singapore, Taejon, Chennai, Taipei, Christchurch, Vancouver, Kyoto, Hong...

This book covers the results of the 11th and 12th Teraflop Workshop and continued a series initiated by NEC and the HLRS in 2004. As part of the TeraflopWorkbench, it has become a meeting platform for scientists, application developers, international experts and hardware designers to discuss the current state and future directions of...

Access 2010 In Depth is the beyond-the-basics, beneath-the-surface guide for everyone who wants to streamline their work with Access 2010, and get more done in less time. Legendary Access expert Roger Jennings provides specific, tested, proven solutions to the problems Access database users and developers run into...

Foundations of SQL Server 2008 R2 Business Intelligence introduces the exciting gamut of business intelligence tools included with SQL Server 2008. Microsoft has designed SQL Server 2008 to be more than just a database. It’s a complete business intelligence (BI) platform. The database is at the core, and surrounding the...

Oracle Application Express (APEX) is a rapid web application development tool integrated directly into the Oracle database. APEX is a completely web-based application featuring many ready to use components, allowing developers to build and deploy professional web applications rapidly. Using SQL and PL/SQL as the development language it...

The 16th LPAR event was held in Africa for the very first time, signalling a bright future for a conference with a glowing history. For many years it was a goal of the steering committee to hold LPAR in Africa and the enthusiasm for our presence far exceeded our expectations. With the help of local organiser Waly Faye, LPAR integrated itself...

This book is a complete guide to Windows Communication Foundation (WCF) from a service-oriented architecture (SOA) perspective. With each new version of the .NET Framework, Microsoft has improved many key areas of WCF. In .NET 4.0, Microsoft has given developers a better experience and enabled them to become more productive. The book not only...

FGCN brings together researchers from academia and industry as well...