Introduction to String Diagrams for Computer Scientists
This text provides an accessible introduction to string diagrams from the perspective of computer...
EAN: 9781009625708
Proof Complexity Generators
This book presents a state-of-the-art theory in the field of proof complexity, aiming to...
EAN: 9781009611701
Number Theory and Geometry through History
Developed from a course on the history of mathematics, the book is aimed at school teachers of...
EAN: 9781041011750
Number Systems
Number Systems: A Path into Rigorous Mathematics aims to introduce number systems to an...
EAN: 9781032988252
Number Systems
Number Systems: A Path into Rigorous Mathematics aims to introduce number systems to an...
EAN: 9781032988238
Mathematical Tour
A Mathematical Tour introduces readers to a selection of mathematical topics chosen for their...
EAN: 9781032747897
Mathematical Tour
A Mathematical Tour introduces readers to a selection of mathematical topics chosen for their...
EAN: 9781032747385
Combinatorial Optimization Under Uncertainty
The book intends to discuss the basic ideas, underlying principles, mathematical formulations,...
EAN: 9781032358550
Recommender Systems
This book presents a multi-disciplinary approach for development of Recommender Systems. It...
EAN: 9781032333229
AI, Machine Learning and Deep Learning
Today AI and Machine/Deep Learning have become the hottest areas in the information technology....
EAN: 9781032034058
Abelian Model Category Theory
Abelian model categories are receiving more attention in contemporary research. Including clear...
EAN: 9781009449465
Handbook of Formal Analysis and Verification in Cryptography
This handbook of formal analysis in cryptography is very important for secure communication and...
EAN: 9780367546663
Machine Learning
This book provides an introduction to the most popular methods in machine learning. It covers...
EAN: 9780367433529
Sum Stories
Can one prove that 1 + 1 = 2? Which US president proved Pythagoras' theorem? How long is the...
EAN: 9780199607907
Logic in Computer Science
Mathematical logic is an important basis for mathematics, computer science and artificial...
EAN: 9789819798155
AI and Blockchain in Smart Grids
The book discusses emerging technologies driving the transformation of energy grids. It focuses...
EAN: 9781032812960
Beginner’s Guide to Mathematical Proof
A Beginner’s Guide to Mathematical Proof prepares mathematics majors for the transition to...
EAN: 9781032686196
Teaching and Learning Mathematics Online
This second edition continues to present meaningful and practical solutions for teaching...
EAN: 9781032504537
Teaching and Learning Mathematics Online
This second edition continues to present meaningful and practical solutions for teaching...
EAN: 9781032497754
Zero Trust Framework
In this book, we review both the concepts and mechanics behind the Zero Trust Framework. We also...
EAN: 9781032492810
Advances in Distance Learning in Times of Pandemic
The aim of this book is to draw a holistic picture of ongoing online teaching-activities before...
EAN: 9781032344591
Introducing the Philosophy of Mathematical Practice
The Element introduces the philosophy of mathematical practice, which takes mathematical practice...
EAN: 9781009479387
