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 G
Gilles Barthe

Número de Cutter-SanbornB284Entrada de tabla «Barth»

Gilles Barthe

· 10 obras en el catálogo

Obras

Tapa de Security and Trust Management

Security and Trust Management

Tapa de Programming Languages and Systems

Programming Languages and Systems

Tapa de Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

FFoundations of Probabilistic Programming

Foundations of Probabilistic Programming

VVerification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

CConstruction and Analysis of Safe, Secure, and Interoperable

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

TTrustworthy Global Computing

Trustworthy Global Computing

AApplied Semantics

Applied Semantics

SSoftware Engineering and Formal Methods

Software Engineering and Formal Methods

Tapa de L'enfance spirituelle

L'enfance spirituelle

Gilles Barthe — obras y número de Cutter | Cutter Number