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 C
Christel Baier

Número de Cutter-SanbornB152Entrada de tabla «Bai»

Christel Baier

· 7 obras en el catálogo

Obras

Tapa de Principles of model checking

Principles of model checking

Tapa de Validation of stochastic systems

Validation of stochastic systems

Tapa de Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Tapa de Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Tapa de SOFSEM 2017 : Theory and Practice of Computer Science

SOFSEM 2017 : Theory and Practice of Computer Science

TTools and Algorithms for the Construction and Analysis of Sy

Tools and Algorithms for the Construction and Analysis of Systems

CCONCUR 2006 - Concurrency Theory

CONCUR 2006 - Concurrency Theory

Christel Baier — obras y número de Cutter | Cutter Number