for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
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 -
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 -
P, NP, and NP-Completeness: The Basics of Computational Complexity (Bog, Paperback / softback, Engelsk)
This undergraduate introduction to computational complexity gives a wide perspective on two central issues in theoretical computer science.... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
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) -
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) -
Knowledge Representation, Reasoning and Declarative Problem Solving (Bog, Paperback / softback, Engelsk)
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.
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, Paperback / softback, 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) -
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)
