Thema Theoretische Informatik – alle Bücher, Seite 3

Johannes Knörzer, Patrick Emonts
Ein Quantum Zukunft - Quantenphysik und Quantentechnologien einfach erklärt

Was sind Quantencomputer und was verspricht man sich von ihnen? Welche anderen Quantentechnologien stehen in den Startlöchern und wie können diese unsere Welt verändern?In diesem Sachbuch gehen Johannes K…

lieferbar innerhalb 2-3 Wochen

Buch

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

Krají&
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 innerhalb 1-2 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

Louis M. Helm
Negotiation, Reciprocity, & Knowledge Sharing

Knowledge sharing among software developers enhances the success of software design and implementation. However, there is an inadequate understanding of how communication factors such as negotiation and r…

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

James Miller, Connie Weeks
Planetary Spacecraft Navigation

In this new edition, the authors James Miller and Connie Weeks dive deeper into how computer programming has assisted with planetary spacecraft navigation; evaluating real-world results and relying on com…

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

Torben Ægidius Mogensen
Programming Language Design and Implementation

A Brief History of Programming Languages.- 2. Implementation Strategies.- 3. Syntax.- 4. Memory Management.- 5. Scopes, Functions, and Parameter Passing.- 6. Control Structures.- 7. Types.- 8. Language Pa…

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

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

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 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 2-3 Wochen

Buch

Friedrich Otto
Restarting Automata

A restarting automaton consists of a finite-state control, a flexible tape with end-of-tape markers that initially contains the input, and a read-write window of a fixed finite size. The objective here is…

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

Introduction to Julia Programming.- The Julia Package Plasm.jl.- Topology primer.- Geometric models.- Symbolic modeling with Julia Plasm.jl.- Space arrangement pipeline.- Boolean solid algebras.

lieferbar innerhalb 2-3 Wochen

Buch

Osama M. Raisuddin, Suvranu De
Quantum Computing for Engineers

This book is a practical guide for students and engineers eager to dive into the rapidly emerging field of quantum computing and harness its transformative power to tackle complex engineering and scientif…

lieferbar innerhalb 2-3 Wochen

Buch

Benjamin Recht
The Irrational Decision

How the computer revolution shaped our conception of rationality---and why human problems require solutions rooted in human intuition, morality, and judgmentIn the 1940s, mathematicians set out to design …

lieferbar innerhalb von 1-3 Tagen

Buch

Irene Rothe
Informatik für alle

Informatik ist eine breit aufgestellte Disziplin, mit einer umfassenden theoretischen Fundierung und mit einer großen Anzahl differenzierter Anwendungsbereiche. Deren gemeinsamer Kern liegt darin, Problem…

sofort lieferbar

Buch