for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The first book to present the common mathematical foundations of big data analysis across a range of applications and technologies.
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
This undergraduate introduction to computational complexity gives a wide perspective on two central issues in theoretical computer science.... Læs mere
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
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching.
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
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