Thorsten Altenkirch & Wolfgang Naraschewski 
Types for Proofs and Programs [PDF ebook] 
International Workshop, TYPES ’98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

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 …

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 …

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …

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 …

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 …

A beginner”s guide to simplifying Extract, Transform, Load (ETL) processes with the help of hands-on tips, tricks, and best practices, in a fun and interactive way Key Features

• Explore data …

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 …

Vous n’imaginez pas le temps qu’une architecture logicielle bien soignee des le depart peut vous faire gagner. Vous pouvez augmenter fortement la productivite du developpement tout au long du cycle d …