for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading... Læs mere
A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This... Læs mere
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
This thoroughly updated edition presents state-of-the-art sparse and multiscale image and signal... Læs mere
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
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
In the transmission of information storage, preventing noise and/or eavesdropping is essential. This undergraduate... Læs mere
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
This book, meant for graduate students and researchers, explores the... Læs mere
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
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.