• Construct applications for GIS development by exploiting Python
• This focuses on built-in Python modules and libraries compatible with the Python Packaging Index distribution...

It is known that quantum computers have great power for searching unsorted databases....

• Learn about shaders in a step-by-step, interactive manner
• Create stunning visual effects using vertex and fragment shaders
• Simplify your CPU code and improve your overall performance with instanced drawing through the use...

With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades...

Traditional software verification algorithms work by using a combination of Floyd-Hoare Logics, Model Checking and Abstract Interpretation, to check and infer suitable program invariants. However, these techniques are problematic in the presence of complex but ubiquitous constructs like generic data structures, first-class functions....

Modern C++ Design is an important book. Fundamentally, it demonstrates 'generic patterns' or 'pattern templates' as a powerful new way of creating extensible designs in C++--a new way to combine templates and patterns that you may never have dreamt was possible, but is. If your work involves...