Computational Theory – alle Bücher, Seite 2

Dale Miller
Proof Theory and Logic Programming

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper u…

lieferbar ab 18.12.2025.

Buch

Simon Newcomb
Logarithmic and Other Mathematical Tables. With Examples of Their Use and Hints on the Art of Computation

Reprint of the original, first published in 1882. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Simon Newcomb
Logarithmic and Other Mathematical Tables. With Examples of Their Use and Hints on the Art of Computation

Reprint of the original, first published in 1882. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Christopher James Bostock
Introduction to Quantized Fields

This short book approaches quantum field theory via the study of a selection of important papers in QED, electroweak theory and QCD. It places emphasis on Fermi and Bethe's original papers involving the n…

Erscheint bald

Buch

Feng Qian, Gulan Zhang, Shengli Pan
Tensor Computation for Seismic Data Processing

This book aims to provide a comprehensive understanding of tensor computation and its applications in seismic data analysis, exclusively catering to seasoned researchers, graduate students, and industrial…

lieferbar innerhalb 2-3 Wochen

Buch

Luca Leuzzi, Enzo Marinari, Giorgio Parisi
Probability Theory for Quantitative Scientists

Based on the long-running Probability Theory course at the Sapienza University of Rome, this book offers a fresh and in-depth approach to probability and statistics, while remaining intuitive and accessib…

lieferbar innerhalb 1-2 Wochen

Buch

Noé Cuneo, Vojkan Jak¿i¿, Claude-Alain Pillet, Armen Shirikyan
What is a Fluctuation Theorem?

SpringerBriefs in Mathematical Physics - Band 54

This book provides a modern review of Fluctuation Relations and Fluctuation Theorems in nonequilibrium statistical mechanics. It focuses on the pioneering perspectives of Gallavotti and Cohen, according t…

lieferbar ab 23.12.2025.

Buch

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, du…

lieferbar innerhalb 2-3 Wochen

Buch

Marcelo Epstein
An Elementary Introduction to n-fold Groupoids

Surveys and Tutorials in the Applied Mathematical Sciences - Band 19

This book introduces groupoids and n-fold groupoids as powerful mathematical tools that unify and generalize local and distant symmetries observed in physical systems. While these concepts are typically d…

lieferbar ab 28.1.2026.

Buch

Raj Spielmann
Theoretical Fluid Mechanics

The book offers a didactically elaborated introduction to theoretical fluid mechanics and provides insights into the diversity of its applications in nature and technology. The focus is on aerodynamics fo…

lieferbar ab 6.1.2026.

Buch

Sun¿ica ¿Ani¿, Jeffrey Kuan, Boris Muha, Krutika Tawri
Deterministic and Stochastic Fluid-Structure Interaction

Advances in Mathematical Fluid Mechanics

This book explores the most recent developments in the field of deterministic and stochastic fluid-structure interaction (FSI), which describes the coupled dynamical interaction between fluids and deforma…

lieferbar ab 16.12.2025.

Buch

Computational Methods for the Analysis of Non-Covalent Interactions

Structure and Bonding - Band 190

This volume showcases state-of-the-art computational methodologies for the description and analysis of non-covalent interactions. Each chapter focusses on a specific approach, outlining a theoretical fram…

lieferbar in mind. 4 Wochen

Buch

Marco T. Morazán
Programming-Based Formal Languages and Automata Theory

This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contains the traditional mathematical development usually employed in c…

lieferbar innerhalb 2-3 Wochen

Buch

Carsten Elsner, Christopher Robin Havens
Continued Fractions

This monograph originates from a study of the continued fraction [1, 2, 3, ...], which we call the Zopf number. Its origins date back to 1929 when Siegel introduced it as a ratio of Bessel functions. Cont…

lieferbar innerhalb 2-3 Wochen

Buch

Hugh C. Williams, Eric L. F. Roettger
The Enchantment of Numbers

Inspired by the classic Recreations in the Theory of Numbers-The Queen of Mathematics Entertains by Albert H. Beiler, this book brings the excitement of recreational number theory into the 21st century th…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithms and Discrete Applied Mathematics

This book constitutes the refereed proceedings of the 11th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2025, held in Coimbatore, India, during February 13-15, 2025.The …

lieferbar innerhalb 2-3 Wochen

Buch

Algorithmic Foundations of Robotics XVI, Volume 2

Springer Proceedings in Advanced Robotics - Band 38

This book is the second volume of two that present research advances on algorithmic robotics written by leading experts in the field. Algorithms are a fundamental component of robotic systems: they contro…

lieferbar ab 10.3.2026.

Buch