Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
Bemærk: Kan ikke leveres før jul.
Numerical Methods for Stochastic Computations: A Spectral Method Approach (Bog, Hardback, Engelsk)Focusing on fundamental aspects of numerical methods for stochastic computations, this book describes the class of numerical... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age (Bog, Hardback, Engelsk)The information age owes its existence to a little-known but crucial development, the theoretical... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
Mathematics of Big Data: Spreadsheets, Databases, Matrices, and Graphs (Bog, Hardback, Engelsk)The first book to present the common mathematical foundations of big data analysis across a range of applications and technologies.
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Type Theory and Formal Proof: An Introduction (Bog, Hardback, Engelsk)Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
Quantum Computer Science: An Introduction (Bog, Hardback, Engelsk)Quantum physics has some spectacular applications in computer science, and this book is a concise introduction to quantum computation. It develops the basic... Læs mere
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Modeling and Reasoning with Bayesian Networks (Bog, Hardback, Engelsk)This book provides a thorough introduction to the formal foundations and practical applications of Bayesian networks. It provides an extensive discussion of... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logical Frameworks (Bog, Hardback, Engelsk)This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Higher Order Operational Techniques in Semantics (Bog, Hardback, Engelsk)A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Acta Numerica 2018: Volume 27 (Bog, Hardback, Engelsk)Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. The papers present overviews of recent developments in their area and provide state-of-the-art techniques and analysis.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Systematic Program Design: From Clarity to Efficiency (Bog, Hardback, Engelsk)A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Semantic Techniques in Quantum Computation (Bog, Hardback, Engelsk)This book is a collection of work from leading researchers that explores quantum computation from the perspective of the branch of theoretical computer science... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Sparse Image and Signal Processing: Wavelets and Related Geometric Multiscale Analysis, Second Edition (Bog, Hardback, Engelsk)This thoroughly updated edition presents state-of-the-art sparse and multiscale image and signal... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
