Programming and scripting languages: general

In this book, quantum phenomena are explained through the language of diagrams, setting out an innovative method of presenting complex scientific theories.

In this book, quantum phenomena are explained through the language of diagrams, setting out an innovative method of presenting complex scientific theories.

This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.

This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.

An overview of the techniques developed to circumvent computational intractability, a key challenge in many areas of computer science.

An overview of the techniques developed to circumvent computational intractability, a key challenge in many areas of computer science.

This book explains what affects the opinions posted online and how organizations can use social media data to inform their strategies.

This book explains what affects the opinions posted online and how organizations can use social media data to inform their strategies.

The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.

The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.

Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations.

Introduces the basic concepts of topology with an emphasis on non-Hausdorff topology, which is crucial for theoretical computer science.

Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations.

Introduces the basic concepts of topology with an emphasis on non-Hausdorff topology, which is crucial for theoretical computer science.

This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.

This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.

No detailed description available for "e;Learning GDScript by Developing a Game with Godot 4"e;.

This 1998 book explains the design of geometry algorithms, including discussion of implementation issues and working C code.

Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.

This new edition of a successful text treats modules in more depth, and covers the revision of ML language.

This 1998 book explains the design of geometry algorithms, including discussion of implementation issues and working C code.

Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.

This new edition of a successful text treats modules in more depth, and covers the revision of ML language.

The first detailed account of the basic theory and applications of nominal sets.

The first detailed account of the basic theory and applications of nominal sets.

Many people relax when coding is introduced as a language, rather than math.

Develop your NLP skills from scratch, with an open source toolbox of Python packages, Transformers, Hugging Face, vector databases, and your own Large Language Models.

No detailed description available for "e;Hands-On Blockchain for Python Developers"e;.

Theory of Structured Parallel Programming is a comprehensive guide to structured parallel programming corresponding to traditional structured sequential programming.

Does it seem like your Python projects are getting bigger and bigger?

Does it seem like your Python projects are getting bigger and bigger?

Perform fast interactive analytics against different data sources using the Trino high-performance distributed SQL query engine.

Perform fast interactive analytics against different data sources using the Trino high-performance distributed SQL query engine.

Through a recent series of breakthroughs, deep learning has boosted the entire field of machine learning.

Through a recent series of breakthroughs, deep learning has boosted the entire field of machine learning.

Python is a first-class tool for many researchers, primarily because of its libraries for storing, manipulating, and gaining insight from data.

Python is a first-class tool for many researchers, primarily because of its libraries for storing, manipulating, and gaining insight from data.

C# is undeniably one of the most versatile programming languages available to engineers today.

C# is undeniably one of the most versatile programming languages available to engineers today.

How do you turn raw, unprocessed, or malformed data into dynamic, interactive web visualizations?

How do you turn raw, unprocessed, or malformed data into dynamic, interactive web visualizations?

Learn how to think and write code like a functional programmer.

Learn how to think and write code like a functional programmer.

With technological advancements, fast markets, and higher complexity of systems, software engineers tend to skip the uncomfortable topic of software efficiency.

With technological advancements, fast markets, and higher complexity of systems, software engineers tend to skip the uncomfortable topic of software efficiency.

In spatial data science, things in closer proximity to one another likely have more in common than things that are farther apart.

In spatial data science, things in closer proximity to one another likely have more in common than things that are farther apart.

This practical book provides a comprehensive overview of troubleshooting and performance tuning best practices for Microsoft SQL Server.

This practical book provides a comprehensive overview of troubleshooting and performance tuning best practices for Microsoft SQL Server.

Nowadays, finance, mathematics, and programming are intrinsically linked.