for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Focusing on fundamental aspects of numerical methods for stochastic computations, this book describes the class of numerical... Læs mere
Bemærk: Kan ikke leveres før jul.
The information age owes its existence to a little-known but crucial development, the theoretical... Læs mere
Bemærk: Kan leveres før jul.
The first book to present the common mathematical foundations of big data analysis across a range of applications and technologies.
Bemærk: Kan ikke leveres før jul.
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
Bemærk: Kan leveres før jul.
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
Bemærk: Kan ikke leveres før jul.
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
Bemærk: Kan ikke leveres før jul.
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
Bemærk: Kan ikke leveres før jul.
A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading... Læs mere
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This... Læs mere
Bemærk: Kan ikke leveres før jul.
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
Bemærk: Kan ikke leveres før jul.
This thoroughly updated edition presents state-of-the-art sparse and multiscale image and signal... Læs mere