for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The theory of algorithmic randomness uses tools from computability theory and algorithmic information theory to address questions such as these. It will be of... Læs mere
Walter Gautschi has written extensively on topics ranging from special functions, quadrature and orthogonal polynomials to difference and differential equations, software implementations, and the history of mathematics.
These include random matrix theory, nonparametric statistics, empirical process theory, statistical learning theory, concentration of measure phenomena,... Læs mere
The book of Sturmfels is both an easy-to-read textbook for invariant theory and a challenging research monograph that introduces a new approach to the algorithmic side of invariant theory.
The two-volume set LNCS 8297 and LNCS 8298 constitutes the proceedings of... Læs mere
This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. They deal with declarative programming, including functional programming and logic programming.
This book constitutes the refereed proceedings of the 19th Ada-Europe... Læs mere
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
This book – in conjunction with the volumes LNAI 8589 and LNBI 8590 – constitutes the... Læs mere
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose... Læs mere
This book constitutes the refereed proceedings of the First International... Læs mere
This book constitutes the refereed proceedings of the 31st International Symposium... Læs mere