Thema Theoretische Informatik – all Bücher

Ji¿í Adámek, Stefan Milius, Lawrence S. Moss
Initial Algebras and Terminal Coalgebras

"This definitive treatment of results in category theory and theoretical computer science covers classical material from new viewpoints and develops a wealth of new topics. The centrepiece is a collection…

deliverable within 2-3 weeks

Buch

Shamiul Alam, Ahmedullah Aziz
Superconducting Memory Technologies

There is a lot of excitement around quantum computers that use superconducting qubits, which operate at extremely low temperatures since they are ultra-sensitive to noise. These quantum computers need a m…

deliverable within 2-3 weeks

Buch

Richard Ansorge
Programming in Parallel with CUDA

This practical guide shows how to analyse, manipulate or simulate scientific or other numerical data using the power of modern GPUs to greatly increase the speed of calculations. Aimed at researchers and …

deliverable within 2-3 weeks

Buch

Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos
Polygraphs: From Rewriting to Higher Categories

This is the first book to revisit the theory of rewriting in the context of strict higher categories, through the unified approach provided by polygraphs, and put it in the context of homotopical algebra.…

lieferbar ab 15.5.2025.

Buch

Gordon B. Bach
AI-gestütztes Requirements Engineering

In einer Ära rasanter technologischer Fortschritte bietet dieses Buch eine tiefgreifende Analyse des Einflusses künstlicher Intelligenz auf das Requirements Engineering. Der Autor, Gordon B. Bach, entfalt…

deliverable within 2-3 weeks

Buch

Gordon B. Bach
AI-gestütztes Requirements Engineering

In einer Ära rasanter technologischer Fortschritte bietet dieses Buch eine tiefgreifende Analyse des Einflusses künstlicher Intelligenz auf das Requirements Engineering. Der Autor, Gordon B. Bach, entfalt…

deliverable within 2-3 weeks

Buch

Helmut Balzert, Christof Ebert
Lehrbuch der Softwaretechnik

Das bekannte "Balzert" Lehrbuch der Softwaretechnik liegt nun in einer komplett überarbeiteten Version vor. Im Vergleich zu den voluminösen früheren drei Bänden liegt hier eine Referenz für den täglichen …

lieferbar ab 25.12.2025.

Buch

Bernd Baumgarten
Diskrete Mathematik kompakt

De Gruyter Studium

Nachdem der Autor sich in seinen Abschlussarbeiten mit Themen der Analysis befasst hatte, arbeitete er danach beruflich ausschließlich im Bereich der diskreten Mathematik: forschend im Bereich der Spezifi…

available for immediate delivery

Buch

Timo Berthold, Andrea Lodi, Domenico Salvagnin
Primal Heuristics in Integer Programming

Primal heuristics have allowed mixed-integer programming to extend to many practical applications by guaranteeing that feasible solutions of high quality are available at an early stage of the solving pro…

deliverable within 2-3 weeks

Buch

Timo Berthold, Andrea Lodi, Domenico Salvagnin
Primal Heuristics in Integer Programming

Primal heuristics have allowed mixed-integer programming to extend to many practical applications by guaranteeing that feasible solutions of high quality are available at an early stage of the solving pro…

deliverable within 2-3 weeks

Buch

Christian Blum
Construct, Merge, Solve & Adapt

Computational Intelligence Methods and Applications

This book describes a general hybrid metaheuristic for combinatorial optimization labeled Construct, Merge, Solve & Adapt (CMSA). The general idea of standard CMSA is the following one. At each iteration,…

deliverable within 2-3 weeks

Buch

Anna Breger
Basiswissen der mathematischen Bildbearbeitung

Mithilfe dieses kompakten Buchs wird ein erstes strukturiertes Verständnis fu r die mathematischen Grundlagen digitaler Bilder und deren weitere Bearbeitung vermittelt. Ziel des Buchs ist es Interesse zu …

available for immediate delivery

Buch

Tullio Ceccherini-Silberstein, Michel Coornaert
Exercises in Cellular Automata and Groups

This book complements the authors monograph Cellular Automata and Groups [CAG] (Springer Monographs in Mathematics). It consists of more than 600 fully solved exercises in symbolic dynamics and geometric…

deliverable within 2-3 weeks

Buch

Claudio Conti
Quantum Machine Learning

This book presents a new way of thinking about quantum mechanics and machine learning by merging the two. Quantum mechanics and machine learning may seem theoretically disparate, but their link becomes cl…

deliverable within 2-3 weeks

Buch

Erik Cuevas, Héctor Escobar, Alberto Luque
Computational Methods with MATLAB®

This textbook provides readers a comprehensive introduction to numerical methods, using MATLAB®. The authors discuss the theory and application of the most often used numerical methods, using MATLAB as a …

deliverable within 2-3 weeks

Buch

Daniele Cuomo
Architectures and Circuits for Distributed Quantum Computing

This thesis treats networks providing quantum computation based on distributed paradigms. Compared to architectures relying on one processor, a network promises to be more scalable and less fault-prone. D…

deliverable within 2-3 weeks

Buch

Bruno Da Ré, Federico Pailos
Metainferential Logics

This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications. It p…

deliverable within 2-3 weeks

Buch

Wilfried Dankmeier
Grundkurs Codierung

Dieses Buch bietet aktuelles Wissen zu Codierungsverfahren und behandelt insbesondere die Korrektur von Datenübertragungs-Fehlern über Leitungen und Funk die Verschlüsselung die Datenkompression Ohne…

deliverable within 2-3 weeks

Buch

R¿zvan Diaconescu
Institution-independent Model Theory

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provid…

deliverable within 2-3 weeks

Buch

Reinhard Diestel
Graph Theory

This standard textbook on modern graph theory combines the authority of a classic with the engaging freshness of style that is the hallmark of active mathematics. It covers the core material of the subjec…

deliverable within 2-3 weeks

Buch

Search Results "Theoretische Informatik" - all Books