for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the... Læs mere
Bemærk: Kan ikke leveres før jul.
This book provides a unified understanding of the use of generating functions for labelled and unlabelled structures. Applications include graphical... Læs mere
Bemærk: Kan leveres før jul.
The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52... Læs mere
Bemærk: Kan ikke leveres før jul.
This comprehensive introduction to stochastic partial differential equations incorporates the effects of randomness into real-world models, offering... Læs mere
Bemærk: Kan ikke leveres før jul.
This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras.
Bemærk: Kan ikke leveres før jul.
This book offers a clear and comprehensive introduction to broad learning, one of the novel learning problems studied in data mining and machine learning.
Bemærk: Kan ikke leveres før jul.
This book describes and outlines the theoretical foundations of system simulation in teaching, and as a practical contribution to teaching-and-learning models.
Bemærk: Kan ikke leveres før jul.
The International Meshing Roundtable (IMR) brings together researchers, developers, and application experts in a variety of disciplines, from all over the world, to present and discuss ideas on mesh generation and related topics.
Bemærk: Kan ikke leveres før jul.
This volume features selected, refereed papers on various aspects of statistics, matrix theory and its applications to statistics,... Læs mere
Bemærk: Kan ikke leveres før jul.
This book presents the main concepts of linear algebra from the viewpoint of applied scientists such as computer scientists and engineers, without compromising on mathematical rigor.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book brings together papers from the 2018 International Conference on Communications, Signal Processing, and Systems, which was held in Dalian, China on July 14–16, 2018.