Thema Theoretische Informatik – alle Bücher, Seite 3

Christopher Koska
Ethics of Algorithms

Algorithmic ethics is an attempt to specify moral-philosophical questions arising from the processes of change and transformation brought about by digitisation. As a scientific endeavour, its primary goal…

lieferbar innerhalb 2-3 Wochen

Buch

Jan Krají¿ek
Proof Complexity Generators

"This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is …

lieferbar in mind. 4 Wochen

Buch

Arthur M. Langer
Analysis and Design of Next-Generation Software Architectures

The 2nd edition will add a major chapter on Generative AI in Software Architecture. This chapter will provide a comprehensive background in generative models, its impact on software design, evolution of n…

lieferbar innerhalb 2-3 Wochen

Buch

Ray Lapierre
Introduction to Quantum Computing

This book, now in an expanded second edition, provides a self-contained undergraduate course on quantum computing based on classroom-tested lecture notes. It reviews the fundamentals of quantum mechanics …

lieferbar innerhalb 2-3 Wochen

Buch

Alexander Leitsch, David Michael Cerna, Anela Lolic
First-Order Schemata and Inductive Proof Analysis

Computer Science Foundations and Applied Logic

Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs.The book introduces schemata for first-order terms, first-order formulas and first-…

lieferbar innerhalb 2-3 Wochen

Buch

Dongfen Li
Quantum Teleportation Under Noise

This book offers a deep dive into quantum teleportation and immune noise models, providing cutting-edge solutions to challenges in noisy quantum communication systems. It covers advanced theories and prac…

lieferbar innerhalb 2-3 Wochen

Buch

John H. Maindonald, W. John Braun, Jeffrey L. Andrews
A Practical Guide to Data Analysis Using R

Using diverse real-world examples, this text examines what models used for data analysis mean in a specific research context. What assumptions underlie analyses, and how can you check them? Building on th…

lieferbar innerhalb 2-3 Wochen

Buch

Pravir Malik
Pioneering New Avenues in Quantum Technology

Studies in Smart Technologies

In this book, the author challenges conventional probabilistic interpretations of quantum mechanics by introducing a framework of "qualified determinism" that reexamines the underlying principle…

lieferbar innerhalb 2-3 Wochen

Buch

Marius Iulian Mihailescu, Stefania Loredana Nita, Valentina Marascu, Valentin Barna
Applied Quantum Computing and Cryptography

Studies in Big Data - Band 167

This book explores the dynamically developing areas of quantum computing and quantum cryptography. The book offers an in-depth examination of the possibilities and difficulties presented by these revoluti…

lieferbar innerhalb 2-3 Wochen

Buch

Eduardo Mizraji
The Matrix Algebra of Logic

De Gruyter Textbook

In these times when matrix algebra is proving to be a fundamental tool in emerging theories such as quantum computing and the neural models that underpin generative AI, the analysis of logical operations …

sofort lieferbar

Buch

Ilya Molchanov, Johanna Ziegel
Risk Measures

Providing comprehensive yet accessible coverage, this is the first graduate-level textbook dedicated to the mathematical theory of risk measures. It explains how economic and financial principles result i…

lieferbar innerhalb 2-3 Wochen

Buch

Ilya Molchanov, Johanna Ziegel
Risk Measures

Providing comprehensive yet accessible coverage, this is the first graduate-level textbook dedicated to the mathematical theory of risk measures. It explains how economic and financial principles result i…

lieferbar innerhalb 2-3 Wochen

Buch

Hebert Montegranario
An Introduction to Variational Calculus

This textbook introduces variational calculus and regularization methods for inverse problems, seamlessly blending classical concepts with contemporary computational applications, particularly in the fiel…

lieferbar innerhalb 2-3 Wochen

Buch

Carroll Morgan
Formal Methods, Informally

Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. While this undergraduate-level textbook is motivated by form…

lieferbar innerhalb 1-2 Wochen

Buch

Stefan Neubert
Grundkurs Theoretische Informatik

Rheinwerk Computing

Theoretische Informatik - der Vorlesungsbegleiter. Berechenbarkeit, formale Sprachen, Algorithmik und Komplexitätstheorie sind theoretische Themen mit praktischer Relevanz, zu denen es ebenso praktische Z…

sofort lieferbar

Buch

Reinhard Oldenburg
Mathematische Algorithmen im Unterricht

Dieses Buch bietet einen elementaren und anschaulichen Einstieg in die Programmierung für mathematische Zwecke sowie die damit verbundenen Kompetenzen. Es konzentriert sich auf wenige grundlegende Konzept…

lieferbar innerhalb einer Woche

Buch

Pedro Oliveira, João Da Cruz Pereira, Paulo Novais
Architectures for Agentic AI

SpringerBriefs in Intelligent Systems

This book explores the emerging paradigm of Agentic AI, where Large Language Models (LLMs) and Reinforcement Learning (RL) converge to create intelligent, autonomous, and adaptive systems. It provides a u…

lieferbar innerhalb 2-3 Wochen

Buch

Ping-Qi Pan
Face Method

The famous simplex method, invented by George B. Dantzig in 1947, moves from vertex to vertex in the underlying polyhedron until achieving an optimal vertex. As one of the most widely used mathematical to…

lieferbar innerhalb 2-3 Wochen

Buch

Alberto Paoluzzi, Giorgio Scorzelli
BIM Geometry with Julia Plasm-Functional Language for CAD Programming

This book provides computational methods, tools, algorithms, code scriptlets, and examples for symbolically generating simple and very complex geometric shapes as solid models and structures for Building …

lieferbar innerhalb 2-3 Wochen

Buch

Alfio Quarteroni
Artificial Intelligence

Copernicus Books

Artificial intelligence (AI) is transforming multiple aspects of human life, raising fundamental questions: Is AI truly intelligent? Can it surpass human capabilities? What are its risks and opportunities…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Theoretische Informatik" - alle Bücher