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 T
Tobias Nipkow

Número de Cutter-SanbornN719Entrada de tabla «Nip»

Tobias Nipkow

· 7 obras en el catálogo

Obras

Tapa de FM 2006

FM 2006

Tapa de Isabelle/HOL

Isabelle/HOL

Tapa de Automated reasoning

Automated reasoning

CConcrete Semantics

Concrete Semantics

FFM 2006 : Formal Methods

FM 2006 : Formal Methods

FFunctional Data Structures and Algorithms

Functional Data Structures and Algorithms

Tapa de Rewriting Techniques and Applications

Rewriting Techniques and Applications

Tobias Nipkow — obras y número de Cutter | Cutter Number