for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Nominal Sets gives a detailed account of this new approach to the syntax and semantics of programming languages based on symmetries of names. Covering theory and applications, the book will be welcomed by researchers and graduate students in theoretical computer science.
Bemærk: Kan ikke leveres før jul.
Modern Computer Arithmetic focuses on arbitrary-precision algorithms for efficiently performing arithmetic operations such as addition, multiplication and division, and related... Læs mere
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
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
Bemærk: Kan ikke leveres før jul.
An excellent introduction to various aspects of game theory relevant for many applications in computer science. Lectures range from tutorials concerning... Læs mere
Bemærk: Kan ikke leveres før jul.
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
Bemærk: Kan ikke leveres før jul.
This book provides an authoritative and multifaceted introduction to eight major approaches to computation on uncountable mathematical domains. The perspectives... Læs mere
Bemærk: Kan ikke leveres før jul.
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
Bemærk: Kan ikke leveres før jul.
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software... Læs mere