for at udvide
kategorilisten.
Matematisk datateori
-
Algorithmic Randomness and Complexity (Bog, Paperback / softback, Engelsk)
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
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Walter Gautschi, Volume 1: Selected Works with Commentaries (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
High Dimensional Probability VI: The Banff Volume (Bog, Paperback / softback, Engelsk)
These include random matrix theory, nonparametric statistics, empirical process theory, statistical learning theory, concentration of measure phenomena,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Algorithms in Invariant Theory (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Swarm, Evolutionary, and Memetic Computing: 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 8297 and LNCS 8298 constitutes the proceedings of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reliable Software Technologies – Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 19th Ada-Europe... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Intelligent Computing Theory: 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book – in conjunction with the volumes LNAI 8589 and LNBI 8590 – constitutes the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The Life and Work of Leon Henkin: Essays on His Contributions (Bog, Paperback / softback, Engelsk)
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
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods in Macro-Biology: First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the First International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Krakow, Poland, October 27–28, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 31st International Symposium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
