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 J
Javier Esparza

Número de Cutter-SanbornE77Entrada de tabla «Esp»

Javier Esparza

· 11 obras en el catálogo

Obras

Tapa de Finite and algorithmic model theory

Finite and algorithmic model theory

Tapa de Finite and algorithmic model theory

Finite and algorithmic model theory

Tapa de Automata, Languages, and Programming

Automata, Languages, and Programming

Tapa de Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Tapa de Free choice Petri nets

Free choice Petri nets

FFoundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

AApplication and Theory of Petri Nets 2002

Application and Theory of Petri Nets 2002

TTools and Algorithms for the Construction and Analysis of Sy

Tools and Algorithms for the Construction and Analysis of Systems

AAutomata Theory

Automata Theory

OOn the decidability of model checking for several (mu)-calcu

On the decidability of model checking for several (mu)-calculi and Petri nets

Tapa de Unfoldings

Unfoldings

Javier Esparza — obras y número de Cutter | Cutter Number