Thema Theoretische Informatik – alle Bücher, Seite 2

Ernst-Erich Doberkat
Formale Logik im Dialog

Dieses Buch bietet in dialogischer und unkonventioneller Form eine vertiefte Einführung in die mathematische Logik mit einem besonderen Fokus auf die Anforderungen der modernen Softwaretechnik. Es behande…

sofort lieferbar

Buch

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

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

Frank J. Grundig
Agile Transformation erfolgreich meistern

In einer Zeit, in der Unternehmen sich ständig weiterentwickeln und anpassen müssen, um wettbewerbsfähig zu bleiben, gewinnen agile Methoden und Rahmenwerke zunehmend an Bedeutung. Doch welches agile Fram…

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

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

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

Jesse van Griensven Thé, Roydon Andrew Fraser, Jose Rosas-Bustos
Quantum Computing and Quantum Machine Learning for Engineers and Developers

This book guides readers from the foundations of quantum mechanics through advanced quantum algorithms (such as Shor's and Grover's) and state-of-the-art machine learning methods. By illustrating how thes…

lieferbar innerhalb 2-3 Wochen

Buch

Frank J. Grundig
Agile Transformation erfolgreich meistern

In einer Zeit, in der Unternehmen sich ständig weiterentwickeln und anpassen müssen, um wettbewerbsfähig zu bleiben, gewinnen agile Methoden und Rahmenwerke zunehmend an Bedeutung. Doch welches agile Fram…

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

George F. Hastings
Business Continuity nach ITIL

In einer digital vernetzten Welt sind Ausfallzeiten und IT-Störungen nicht nur ärgerlich, sondern können den gesamten Geschäftsbetrieb gefährden. Wie können Unternehmen ihre IT-Services so gestalten, dass…

lieferbar innerhalb 2-3 Wochen

Buch

George F. Hastings
Business Continuity nach ITIL

In einer digital vernetzten Welt sind Ausfallzeiten und IT-Störungen nicht nur ärgerlich, sondern können den gesamten Geschäftsbetrieb gefährden. Wie können Unternehmen ihre IT-Services so gestalten, dass…

lieferbar innerhalb 2-3 Wochen

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

Ricarda Held
Ada Lovelace: The Mother of Computing

In an era when women were rarely seen in scientific circles, Ada Lovelace defied expectations and shaped history. Known as the "Enchantress of Numbers," she was more than just a mathematician. A…

lieferbar innerhalb 2-3 Wochen

Buch

Ricarda Held
Ada Lovelace: The Mother of Computing

In an era when women were rarely seen in scientific circles, Ada Lovelace defied expectations and shaped history. Known as the "Enchantress of Numbers," she was more than just a mathematician. A…

lieferbar innerhalb 2-3 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

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