for at udvide
kategorilisten.
Matematisk datateori
-
Mobile Networks and Computing: DIMACS Workshop, Mobile Networks and Computing, March 25-27, 1999, DIMACS Center (Bog, Hardback, Engelsk)
Advances in the technologies of networking, wireless communications, and miniaturization of computers have lead to rapid development in mobile communication infrastructure and have engendered a fresh paradigm of computing. This book addresses various aspects of mobile networking.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Algorithmic and Quantitative Real Algebraic Geometry (Bog, Hardback, Engelsk)
Covers topics including deciding basic algebraic properties of real semi-algebraic sets, application of quantitative results in real algebraic... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Satisfiability Problem: Theory and Applications (Bog, Hardback, Engelsk)
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. This book features the application... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Proof Complexity and Feasible Arithmetics (Bog, Hardback, Engelsk)
Contains papers that represent the proceedings of the DIMACS workshop on 'Feasible Arithmetics and Proof Complexity' held in April 1996 at Rutgers University in... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Partial Order Methods in Verification (Bog, Hardback, Engelsk)
Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Mathematical Aspects of Artificial Intelligence (Bog, Hardback, Engelsk)
Examines the connections between Artificial Intelligence (AI) and mathematics, demonstrating the potential for mathematical applications and exposing some... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The SPIN Verification System (Bog, Hardback, Engelsk)
What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Microsurveys in Discrete Probability (Bog, Hardback, Engelsk)
Contains eleven articles surveying topics in discrete probability. This title includes papers that are based on talks given by experts at the DIMACS 'Microsurveys in... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Aspects of VLSI Design with an Emphasis on Semiconductor Device Simulation: 18th Summer Seminar on Applied Mathematics (Bog, Hardback, Engelsk)
Contains the proceedings of the AMS-SIAM Summer Seminar on Computational... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Codes and Association Schemes: DIMACS Workshop Codes and Association Schemes, November 9-12, 1999, DIMACS Center (Bog, Hardback, Engelsk)
Presents papers related to the DIMACS workshop, 'Codes and Association Schemes'. This title... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Quantum Computation: A Grand Mathematical Challenge for the Twenty-first Century and the Millennium (Bog, Hardback, Engelsk)
Presents written versions of the eight lectures given during the AMS Short Course held at the Joint... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Constraint Programming and Large Scale Discrete Optimization: DIMACS Workshop Constraint Programming and Large Scale Discrete Optimization, September 14-17, 1998, DIMACS Center (Bog, Hardback, Engelsk)
Constraint programming has become an important general approach for... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
