for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age (Bog, Hardback, Engelsk)The information age owes its existence to a little-known but crucial development, the theoretical... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
A Dictionary of Computer Science (Bog, Paperback / softback, Engelsk)This bestselling dictionary has been fully revised, making it the most up-to-date and authoritative reference of its kind. Providing comprehensive coverage of computer... Læs mere
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Computation and its Limits (Bog, Paperback / softback, Engelsk)Although we are entirely unaware of it, computation is central to all aspects of our existences. Every day we solve, or try to solve, a myriad of problems, from the utterly... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
A First Course in Network Theory (Bog, Paperback / softback, Engelsk)Network theory is a major topic of interdisciplinary research which covers diverse areas including physics, mathematics and sociology. This book covers all the basics and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Practical Weak Supervision: Doing More with Less Data (Bog, Paperback / softback, Engelsk)Most data scientists and engineers today rely on quality labeled data to train machine learning models. But building a training set manually is... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
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 -
Bemærk: Kan ikke leveres før jul.
Type Theory and Formal Proof: An Introduction (Bog, Hardback, Engelsk)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
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
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 -
Bemærk: Kan ikke leveres før jul.
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) -
Bemærk: Kan ikke leveres før jul.
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) -
Bemærk: Kan ikke leveres før jul.
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) -
Bemærk: Kan ikke leveres før jul.
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)
