Stefan Kowalewski & Marco Roveri 
Formal Methods for Industrial Critical Systems [PDF ebook] 
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

Coding with Scratch — Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

For today»s programmers, it is impossible to foresee every input, every usage scenario, and every combination of applications that can cause errors when run simultaneously. Given all of these unknow …

Master Postgre SQL 12 features such as advanced indexing, high availability, monitoring, and much more to efficiently manage and maintain your database Key Features

• Grasp advanced Postgre SQ …

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that …

<P> The modern field of software metrics emerged from the computer modeling and ‘statistical thinking’ services of the 1980s. As the field evolved, metrics programs were integrated with project …

The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …

R for Data Analysis in easy steps, 2nd edition has an easy-to-follow style that will appeal to anyone who wants to produce graphic visualizations to gain insights from gathered data. The book begins …

This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software deve …