for at udvide
kategorilisten.
Matematisk datateori
-
Bemærk: Kan leveres før jul.
Computational Thinking: A Perspective on Computer Science (Bog, Hardback, Engelsk)The book is divided into chapters on logic thinking, algorithmic thinking, systems thinking, and network thinking.
Levering: 6 - 9 hverdage -
Bemærk: Kan leveres før jul.
Mathematical Logic (Bog, Hardback, Engelsk)This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Nonlinear Dimensionality Reduction (Bog, Hardback, Engelsk)However, since the late nineties, many new methods have been developed and nonlinear dimensionality reduction, also called manifold learning, has become a hot topic.... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Computation and Automata (Bog, Hardback, Engelsk)In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Design Theory and Computer Science (Bog, Hardback, Engelsk)The logic and methodology of design is examined in this book from the perspective of computer science. Computers provide the context for this both by discussion of the... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Term Rewriting Systems (Bog, Hardback, Engelsk)A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Bounded Arithmetic, Propositional Logic and Complexity Theory (Bog, Hardback, Engelsk)An up-to-date, unified treatment of research in this interdisciplinary subject, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and computational complexity theory and lists a number of intriguing open problems.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logical Foundations of Proof Complexity (Bog, Hardback, Engelsk)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
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Combinatorial Species and Tree-like Structures (Bog, Hardback, Engelsk)This book provides a unified understanding of the use of generating functions for labelled and unlabelled structures. Applications include graphical... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Bog, Hardback, Engelsk)The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52... Læs mere
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
An Introduction to Computational Stochastic PDEs (Bog, Hardback, Engelsk)This comprehensive introduction to stochastic partial differential equations incorporates the effects of randomness into real-world models, offering... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Heyting Algebras: Duality Theory (Bog, Hardback, Engelsk)This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras.
Levering: Skaffevare (forvent 14 - 30 hverdage)
