for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Contains papers presented at the Workshop on Parallel Processing of Discrete Optimization Problems held at DIMACS in April 1994. This book covers a... Læs mere
Connects coding theory with actual applications in consumer electronics and with other areas of mathematics. This book... Læs mere
Covers the Third DIMACS Implementation Challenge that was conducted as part of the 1993-1994 Special Year on Parallel Algorithms. This book includes two problem areas for research... Læs mere
Contains the proceedings of two workshops on computational aspects of geometric group theory. This book discusses the computational aspects of geometric group theory.
Contains selected papers from the DIMACS Workshop on Logic and Random Structures that was held in November 1995. This book features the relationship between logic and probabilistic techniques in the study of finite structures.
Presents a survey of major topics concerning modern applications of networks in the context of distributed computing. This book includes issues on diverse areas of... Læs mere
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.
Computational geometry is a borderline subject related to pure and applied mathematics, computer science, and engineering. This... Læs mere
Based on the lectures for undergraduates at Moscow State University, this book offers an introduction to the central facts and basic notions of the general theory of computation. It... Læs mere
Covers topics including deciding basic algebraic properties of real semi-algebraic sets, application of quantitative results in real algebraic... Læs mere
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. This book features the application... Læs mere
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