Matematik för datavetare

This much-awaited new edition of Biggs' best-selling text includes new chapters on statements and proof, logical framework, and natural numbers and the integers, in addition to updated chapters, over 1000 tailored exercises and an accompanying web...

Läs mer »

This fifth edition continues to improve on the features that have made it the market leader. The text offers a flexible organization, enabling instructors to adapt the book to their particular courses. The book is both complete and careful, and it...

Läs mer »

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics o...

Läs mer »

This book integrates the foundations of quantum computing with a hands-on coding approach to this emerging field; it is the first to bring these elements together in an updated manner. This work is suitable for both academic coursework and corpora...

Läs mer »

Data-driven discovery is revolutionizing the modeling, prediction, and control of complex systems. This textbook brings together machine learning, engineering mathematics, and mathematical physics to integrate modeling and control of dynamical sys...

Läs mer »

This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. This new edition c...

Läs mer »

Why are some problems easy to solve, while others seem nearly impossible? What can we compute with a given amount of time or memory, and what cannot be computed at all? How will quantum physics change the landscape of computation? This book gives ...

Läs mer »

This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study ...

Läs mer »

Cryptography, in particular public-key cryptography, has emerged in the last 20 years as an important discipline that is not only the subject of an enormous amount of research, but provides the foundation for information security in many applicati...

Läs mer »

Getting numbers is easy; getting numbers you can trust is hard. This practical guide by experimentation leaders at Google, LinkedIn, and Microsoft will teach you how to accelerate innovation using trustworthy online controlled experiments, or A/B ...

Läs mer »

Ward Cheney and David Kincaid have developed Linear Algebra: Theory and Applications, Second Edition, a multi-faceted introductory textbook, which was motivated by their desire for a single text that meets the various requirements for differing co...

Läs mer »

This introductory book on quantum computing includes an emphasis on the development of algorithms. Appropriate for both university students as well as software developers interested in programming a quantum computer, this practical approach to mod...

Läs mer »

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Ca...

Läs mer »

Beginning graduate students in mathematical sciences and related areas in physical and computer sciences and engineering are expected to be familiar with a daunting breadth of mathematics, but few have such a background. This bestselling book help...

Läs mer »

This book integrates the foundations of quantum computing with a hands-on coding approach to this emerging field; it is the first work to bring these strands together in an updated manner. This work is suitable for both academic coursework and cor...

Läs mer »

This is the only book that gives a rigorous and comprehensive treatment with lots of examples, exercises, remarks on this particular level between the standard first undergraduate course and the first graduate course based on measure theory. There...

Läs mer »

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it has three unusual features. First, the int...

Läs mer »

This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences. Specifically designed for the student who is intimidated by mathem...

Läs mer »

Master Bayesian Inference through Practical Examples and ComputationWithout Advanced Mathematical Analysis   Bayesian methods of inference are deeply natural and extremely powerful. However, most discussions of Bayesian inference rely on inte...

Läs mer »

Linear algebra and the foundations of deep learning, together at last! From Professor Gilbert Strang, acclaimed author of Introduction to Linear Algebra, comes Linear Algebra and Learning from Data, the first textbook that teaches linear algebra t...

Läs mer »

There has been an explosive growth in the field of combinatorial algorithms. These algorithms depend not only on results in combinatorics and especially in graph theory, but also on the development of new data structures and new techniques for ana...

Läs mer »

This book systematically classifies the mathematical formalisms of computational models that are required for solving problems in mathematics, engineering and various other disciplines. It also provides numerical methods for solving these problems...

Läs mer »

This fifth edition continues to improve on the features that have made it the market leader. The text offers a flexible organization, enabling instructors to adapt the book to their particular courses. The book is both complete and careful, and it...

Läs mer »

Active student engagement is key to this classroom-tested combinatorics text, boasting 1200+ carefully designed problems, ten mini-projects, section warm-up problems, and chapter opening problems. The author - an award-winning teacher - writes in ...

Läs mer »

Expert coverage of the design and implementation of state estimation algorithms for tracking and navigation Estimation with Applications to Tracking and Navigation treats the estimation of various quantities from inherently inaccurate remote obser...

Läs mer »

Computability, Complexity, and Languages is anintroductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is ...

Läs mer »

Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatment; useful for computer scientists. 2003 editi...

Läs mer »

Conservation laws are the mathematical expression of the principles of conservation and provide effective and accurate predictive models of our physical world. Although intense research activity during the last decades has led to substantial advan...

Läs mer »

At the intersection of mathematics, engineering, and computer science sits the thriving field of compressive sensing. Based on the premise that data acquisition and compression can be performed simultaneously, compressive sensing finds application...

Läs mer »

This new color edition of Braun and Murdoch's bestselling textbook integrates use of the RStudio platform and adds discussion of newer graphics systems, extensive exploration of Markov chain Monte Carlo, expert advice on common error messages, mot...

Läs mer »