Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
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) -
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) -
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) -
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: Print on Demand (forvent 14 - 30 hverdage) -
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) -
The Space and Motion of Communicating Agents (Bog, Hardback, Engelsk)
Robin Milner's unified and rigorous structural theory, based on bigraphs, for systems of interacting agents, enables us to model networks of agents and... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Spectral Analysis for Univariate Time Series (Bog, Hardback, Engelsk)
Spectral analysis is an important technique for interpreting time series data. This book uses the R language and real world examples to show data analysts... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Protecting Information: From Classical Error Correction to Quantum Cryptography (Bog, Hardback, Engelsk)
In the transmission of information storage, preventing noise and/or eavesdropping is essential. This undergraduate... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Practical Smoothing: The Joys of P-splines (Bog, Hardback, Engelsk)
P-splines are widely used in statistics and machine learning for smoothing out noise in data and to avoid overtraining. This practical guide covers theory and a... Læs mere
Levering: 6 - 9 hverdage -
Operator-Adapted Wavelets, Fast Solvers, and Numerical Homogenization: From a Game Theoretic Approach to Numerical Approximation and Algorithm Design (Bog, Hardback, Engelsk)
This book, meant for graduate students and researchers, explores the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Numerical Analysis for Engineers and Scientists (Bog, Hardback, Engelsk)
Striking a balance between theory and practice, this graduate-level text is perfect for students in the applied sciences. It provides full coverage of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Nominal Sets: Names and Symmetry in Computer Science (Bog, Hardback, Engelsk)
Nominal Sets gives a detailed account of this new approach to the syntax and semantics of programming languages based on symmetries of names. Covering theory and applications, the book will be welcomed by researchers and graduate students in theoretical computer science.
Levering: Skaffevare (forvent 14 - 30 hverdage)
