for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
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