for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Modern Computer Arithmetic focuses on arbitrary-precision algorithms for efficiently performing arithmetic operations such as addition, multiplication and division, and related... Læs mere
This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication... Læs mere
Address vector and matrix methods necessary in numerical methods and optimization of linear systems with this practical, unified text. Perfect for advanced undergraduate students and graduate students in engineering, physical sciences, and applied mathematics.
Ideal for mathematicians who are interested in applications or for students from applied fields who want to understand the mathematics behind their subject. The... Læs mere
An excellent introduction to various aspects of game theory relevant for many applications in computer science. Lectures range from tutorials concerning... Læs mere
An extensive and authoritative introduction to property testing, the study of super-fast algorithms for the structural analysis of large quantities of data in order to... Læs mere
Presents rigorous descriptions and analyses of the main algorithms for different variations of the Geometric Spanner Network Problem. One of the most important basic principles... Læs mere
This book proposes a formal mathematical language, a distributed pi-calculus called Dpi, for describing, at varying levels of abstraction, the behaviour of mobile agents in a... Læs mere