cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Autores con D
Davide Sangiorgi

Número de Cutter-SanbornS225Entrada de tabla «Sang»

Davide Sangiorgi

· 10 obras en el catálogo

Obras

Tapa de An introduction to bisimulation and coinduction

An introduction to bisimulation and coinduction

AAdvanced topics in bisimulation and coinduction

Advanced topics in bisimulation and coinduction

Tapa de Trustworthy global computing

Trustworthy global computing

Tapa de Concurrency theory

Concurrency theory

IIntroduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

TTheoretical Computer Science

Theoretical Computer Science

Pi-Calculus

LLocality and non-interleaving semantics in calculi for mobil

Locality and non-interleaving semantics in calculi for mobile processes

Tapa de The [pi]-calculus

The [pi]-calculus

AA theory of bisimulation for the (lambda)-calculus

A theory of bisimulation for the (lambda)-calculus

Davide Sangiorgi — obras y número de Cutter | Cutter Number