Diese fünfte deutsche Auflage enthält ein ganz neues Kapitel über van der Waerdens Permanenten...
Learn math by getting creative with code! Use the Python programming language to transform learni...
The YUIMA package is the first comprehensive R framework based on S4 classes and methods which al...
This volume contains revised versions of selected papers presented during the 28th Annual Confere...
Take a practical approach to data structures and algorithms, using techniques and real-world scen...
Companies are scrambling to integrate AI into their systems and operations. But to build truly su...
This book goes back a long way. There is a tradition of research and teaching in inelasticity at ...
Dieses Buch enthält den Mathematikstoff, der für das Informatikstudium in anwendungsorientiert...
This revised and enlarged sixth edition of Proofs from THE BOOK features an entirely ne...
This book constitutes the thoroughly refereed post-proceedings of the Second Internati...
This book is published open access under a CC BY 4.0 license. This book presents comput...
Coq is an interactive proof assistant for the development of mathematical theories and formall...