Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
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) -
Mathematical and Computational Biology International Workshop, 21-25 October, 1997, University of Aizu, Aizu-Wakamatsu City, Japan: Computational Morphogenesis, Hierarchical Complexity, and Digital Evolution : an International Workshop, 21-25 October, 199 (Bog, Paperback / softback, Engelsk)
Contains 13 lectures from the International Workshop on Mathematical and... 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) -
Coloring Mixed Hypergraphs: Theory, Algorithms and Applications (Bog, Hardback, Engelsk)
The theory of graph coloring has existed for more than 150 years. This book states that in the case of hypergraphs, there exist problems on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Cryptography: An Introduction (Bog, Paperback / softback, Engelsk)
Learning about cryptography requires examining fundamental issues about information security. This book offers a description of the main notions of modern cryptography: a... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bioconsensus: DIMACS Working Group Meetings on Bioconsensus, October 25-26, 2000 and October 2-5, 2001, DIMACS Center (Bog, Hardback, Engelsk)
Consensus methods developed in the context of voting, decision making, and other areas of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
