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
Functional Data Structures and Algorithms

FFunctional Data Structures and Algorithms

Número de Cutter-SanbornN719fEntrada «Nip» → 719 · marca de obra “f”

Functional Data Structures and Algorithms

de Tobias Nipkow

Ediciones (1)

Functional Data Structures and Algorithms (2025)
Association for Computing Machinery · inglés · ISBN 9798400731563

Más obras de Tobias Nipkow

Tapa de FM 2006

FM 2006

Tapa de Isabelle/HOL

Isabelle/HOL

Tapa de Automated reasoning

Functional Data Structures and Algorithms — Tobias Nipkow | Cutter Number

Automated reasoning

CConcrete Semantics

Concrete Semantics

FFM 2006 : Formal Methods

FM 2006 : Formal Methods

Tapa de Rewriting Techniques and Applications

Rewriting Techniques and Applications

Ver todas las obras de Tobias Nipkow →