for at udvide
kategorilisten.
Matematisk datateori
-
Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Bayesian and grAphical Models for Biomedical Imaging: First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
More Math Into LaTeX (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Optimization of Polynomials in Non-Commuting Variables (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift (Bog, Paperback / softback, Engelsk)
This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
From Requirements to Java in a Snap: Model-Driven Requirements Engineering in Practice (Bog, Paperback / softback, Engelsk)
This book provides a coherent methodology for Model-Driven Requirements Engineering which stresses the systematic treatment of requirements within the realm of modelling and model transformations.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Stochastic Models, Statistics and Their Applications: Wroclaw, Poland, February 2015 (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Applied Number Theory (Bog, Paperback / softback, Engelsk)
This textbook effectively builds a bridge from basic number theory to recent advances in applied number theory.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Engineering Computation of Structures: The Finite Element Method (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering (Bog, Paperback / softback, Engelsk)
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Algebraic Design Theory and Hadamard Matrices: ADTHM, Lethbridge, Alberta, Canada, July 2014 (Bog, Paperback / softback, Engelsk)
Starting with applications in experimental design theory and the theory of error-correcting codes, they have found unexpected and important applications in cryptography, quantum information theory, communications, and networking.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bridging Constraint Satisfaction and Boolean Satisfiability (Bog, Paperback / softback, Engelsk)
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.
Levering: Skaffevare (forvent 14 - 30 hverdage)
