Renate Schmidt 
Automated Deduction – CADE-22 [PDF ebook] 
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

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

C++ continues to remain relevant despite the advent of many new modern languages. This book dives into the significant features of C++20 ("big four") and C++23, addressing challenges and im …

A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …

A comprehensive guide that takes you on a journey through the world of design patterns in .NET, empowering you to create software that is not only robust and efficient but also maintainable, scalable …

Troubleshoot query performance issues, identify anti-patterns in code, and write efficient T-SQL queries Key Features

• Discover T-SQL functionalities and services that help you interact with …

If you are a typical Oracle professional, you don”t have the luxury of time to keep up with new technology and read all the new manuals to understand each new feature of the latest release from Orac …

Learn proven patterns, techniques, and tricks to take full advantage of the Node.js platform. Master well-known design principles to create applications that are readable, extensible, and that can gr …

Flexible and efficient, VMware ESX is the tool of choice for enterprise data centers looking to make the most of the latest virtualization methods. However, to date, no single manual provides users w …

Although many software books highlight open problems in secure software development, few provide easily actionable, ground-level solutions. Breaking the mold, Secure and Resilient Software Developmen …