Thema Theoretische Informatik – alle Bücher, Seite 2

Rodney G. Downey, Alexander Melnikov
Computable Structure Theory

Theory and Applications of Computability

This is the first book which gives a unified theory for countable and uncountable computable structures.The work treats computable linear orderings, graphs, groups and Boolean algebras unified with comput…

lieferbar innerhalb 2-3 Wochen

Buch

K. Erciyes
Guide to Distributed Algorithms

Undergraduate Topics in Computer Science

The study of distributed algorithms provides the needed background in many real-life applications, such as: distributed real-time systems, wireless sensor networks, mobile ad hoc networks and distributed …

lieferbar innerhalb 2-3 Wochen

Buch

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to sim…

lieferbar innerhalb 2-3 Wochen

Buch

Edith Framm, Joachim Framm, Dieter Schott
Gottlob Frege

Geschildert wird das Leben und Wirken von Gottlob Frege (1848-1925), einem der größten Denker der Neuzeit, der in Wismar aufwuchs und der später inmitten der kleineren, aber durch bedeutende Gelehrte und …

lieferbar innerhalb 2-3 Wochen

Buch

Paul A. Gagniuc
Coding Examples from Simple to Complex

Synthesis Lectures on Computer Science

This book provides a comprehensive guide to JavaScript, which stands as the cornerstone of modern programming and is the main computer language driving the Internet. The author introduces readers to the r…

lieferbar innerhalb 2-3 Wochen

Buch

Paul A. Gagniuc
Coding Examples from Simple to Complex

Synthesis Lectures on Computer Science

This book provides a comprehensive guide to Python, which stands as the cornerstone of modern programming and is the main computer language driving software prototyping in both industry and research. The …

lieferbar innerhalb 2-3 Wochen

Buch

Mauricio Garita
Applied Quantitative Finance

Provides conceptual knowledge on quantitative finance and a theoretical background prior to the application of Python Offers a hands-on experience of implementing and using Python Focuses on advanced fina…

lieferbar innerhalb 2-3 Wochen

Buch

Nikolaos Halidias
Calculus of One Variable

De Gruyter Textbook

This book is a textbook about calculus of one variable. It contains proofs of all the theorems, propositions etc but also Python codes in order to solve many calculus problems. To produce these codes we u…

sofort lieferbar

Buch

Reinhard Heckel
Deep Learning for Computational Imaging

This textbook offers an introduction to deep learning for solving inverse problems. It introduces deep neural networks and deep neural network based signal and image reconstruction techniques. It discusse…

lieferbar innerhalb 1-2 Wochen

Buch

Dirk W. Hoffmann
Limits of Mathematics

Mathematics Study Resources - Band 19

Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth centu…

lieferbar innerhalb 2-3 Wochen

Buch

Douglas R. Hofstadter
Gödel, Escher, Bach. Anniversary Edition

Hofstadter entwickelt aus den Bereichen Logik, Molekularbiologie, Kunst, Computertechnik, Teilchenphysik und Philosophie ein gigantisches Mosaik, einen virtuos arrangierten Blick auf die Welt unter dem Wi…

sofort lieferbar

Buch

Rudolf P. Huebener
Conductors, Semiconductors, Superconductors

Undergraduate Lecture Notes in Physics

This compact undergraduate textbook provides a concise yet thorough introduction to the fundamentals of solid-state physics, while also briefly discussing the historical context surrounding key scholars i…

lieferbar innerhalb 2-3 Wochen

Buch

Venkata Rangarao Kaluri
Direction Finding Algorithms for Practicing Engineers

Direction-finding algorithms, once primarily associated with defense applications, are now gaining traction in the automotive sector and other civilian areas, especially in autonomous vehicles. This shift…

lieferbar ab 27.4.2026.

Buch

Andreas Klappenecker, Hyunyoung Lee
Discrete Structures

Undergraduate Texts in Mathematics

The aim of this text is to introduce discrete mathematics to beginning students of mathematics or computer science. It does this by bringing some coherency into the seemingly incongruent subjects that com…

lieferbar innerhalb 2-3 Wochen

Buch

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

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

The explosion of new data collection capabilities and artificial intelligence software has created an unprecedented need to rethink the current architectures of existing computer systems. Indeed, legacy a…

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

Trefferliste "Theoretische Informatik" - alle Bücher