Computer programming / software engineering

At last, a tic-tac-toe computer that needs no electrical power!

Creating a successful video game requires more than just great ideas-it demands a deep understanding of user experience (UX).

The text discusses the latest research on essential issues and prospects surrounding the deployment of intelligent technologies, such as infrastructural needs, data privacy issues, and legislative considerations.

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer.

After the first edition of this book was published, I received much positive feedback from the readers.

Finite model theory is an area of mathematical logic that grew out of computer science applications.

Until recently B-spline curves and surfaces (NURBS) were principally of interest to the computer aided design community, where they have become the standard for curve and surface description.

The twenty last years have been marked by an increase in available data and computing power.

Block ciphers encrypt blocks of plaintext, messages, into blocks of ciphertext under the action of a secret key, and the process of encryption is reversed by decryption which uses the same user-supplied key.

In modern computing a program is usually distributed among several processes.

This is the first book devoted to the systematic study of sparse graphs and sparse finite structures.

Projective geometry is one of the most fundamental and at the same time most beautiful branches of geometry.

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems.

Just as in its 1st edition, this book starts with illustrations of the ubiquitous character of optimization, and describes numerical algorithms in a tutorial way.

The ?

Algorithms are at the heart of every nontrivial computer application, and algorithmics is a modern and active area of computer science.

This textbook offers a comprehensive introduction to data science and financial technology, with a focus on advanced tools, data modeling, and their applications in FinTech.

This textbook offers a comprehensive introduction to data science and financial technology, with a focus on advanced tools, data modeling, and their applications in FinTech.

Education and Analog Role-Playing Games: TeachRPG - Tabletop Role-Playing Games in the Classroom, Volume II brings together a diverse group of educators and scholars who are using tabletop role-playing games (RPGs) in their classrooms to foster deeper engagement, build community, and support transformative learning.

This book examines and develops digital control techniques for wind power systems and their integration into the grid, with the goal of addressing issues related to the efficiency and quality of energy injected into the electrical network.

Education and Analog Role-Playing Games: TeachRPG - Tabletop Role-Playing Games in the Classroom, Volume II brings together a diverse group of educators and scholars who are using tabletop role-playing games (RPGs) in their classrooms to foster deeper engagement, build community, and support transformative learning.

This book examines and develops digital control techniques for wind power systems and their integration into the grid, with the goal of addressing issues related to the efficiency and quality of energy injected into the electrical network.

The four-volume set LNCS 16268-16271 constitutes the refereed proceedings of the 23rd International Conference on Theory of Cryptography, TCC 2025, held in Aarhus, Denmark, during December 1–5, 2025.

The four-volume set LNCS 16268-16271 constitutes the refereed proceedings of the 23rd International Conference on Theory of Cryptography, TCC 2025, held in Aarhus, Denmark, during December 1–5, 2025.

Necesitamos ampliar los dialogos, actualizarlos y arriesgar alternativas, como lo hace Colomer cuando borda ideas sobre las multiples relaciones y dilemas que se generan en las sociedades contemporaneas en las que se crean, producen y circulan las expresiones artisticas, a partir del enfoque de los derechos culturales (Lucina Jimenez).

This book presents the Unified Architecture Process (UAP)—a comprehensive and methodologically rigorous framework designed specifically for addressing the challenges encountered in modern industrial software systems.

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.

This book is the ultimate guide to improving the user experience of game development tools.

Explore Visual Studio 2022 and supercharge your .

This book is an up-to-date exploration of the relationship between user-centered design and Agile development.

Moral Conversion and Video Games is an in-depth exploration of Spec Ops: The Line, a critically acclaimed video game that subverts its genre by confronting players with the psychological and moral consequences of war.

This book constitutes the refereed proceedings of the 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025, held in Salerno, Italy, during December 1–3, 2025.

This book constitutes the refereed proceedings of the 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025, held in Salerno, Italy, during December 1–3, 2025.

This book constitutes the refereed proceedings of the Third Analytics Global Conference on Human-centered Data Analytics: Technology for Sustainable Development, AGC 2025, held in Kolkata, India, during March 8-9, 2025.

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025.

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025.

This book constitutes the refereed proceedings of the Third Analytics Global Conference on Human-centered Data Analytics: Technology for Sustainable Development, AGC 2025, held in Kolkata, India, during March 8-9, 2025.

Microsoft Sentinel for Internet of Medical Things (IoMT) provides advanced threat detection, investigation, and automated response for connected medical devices, guaranteeing real-time protection in healthcare environments.

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.

This book constitutes the refereed proceedings of the 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025, held in Salerno, Italy, during December 1–3, 2025.

This book constitutes the proceedings of the 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2025, held in Kathmandu, Nepal, during October 9–11, 2025.

Moral Conversion and Video Games is an in-depth exploration of Spec Ops: The Line, a critically acclaimed video game that subverts its genre by confronting players with the psychological and moral consequences of war.

This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjing, China during September 20–22, 2024.

This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjing, China during September 20–22, 2024.

This book presents the Unified Architecture Process (UAP)—a comprehensive and methodologically rigorous framework designed specifically for addressing the challenges encountered in modern industrial software systems.

This book constitutes the refereed proceedings of the 11th International Conference on Technologies and Innovation, CITI 2025, in Guayaquil, Ecuador, during December 2025.