for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte inaugurated the important paradigm shift from finite proofs to infinite proofs and developed the mathematical tools for their analysis.
Bemærk: Kan ikke leveres før jul.
This edition includes new topics such as Boosting, Multi-armed bandits, statistical tests, social networks,... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book provides analytical and numerical methods for the estimation of dimension characteristics... Læs mere
Bemærk: Kan ikke leveres før jul.
This book presents a collection of papers on recent advances in problems concerning dynamics, optimal control and optimization.
Bemærk: Kan ikke leveres før jul.
The book is well versed with the hottest research topics such as Lifetime of Coverage, Weighted Sensor Cover, k-Coverage, Heterogeneous Sensors, Barrier, Sweep and Partial Coverage, Mobile Sensors, Camera Sensors and Energy-Harvesting Sensors, and more.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical... Læs mere
Bemærk: Kan ikke leveres før jul.
This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures.... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This volume of the CRM Conference Series is based on a carefully refereed selection of contributions presented at the "11th International Symposium on Quantum Theory and Symmetries", held in Montréal, Canada from July 1-5, 2019.