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
TOOLympics Challenge 2023

TTOOLympics Challenge 2023

Número de Cutter-SanbornB573tEntrada «Bey» → 573 · marca de obra “t”

TOOLympics Challenge 2023

de Dirk Beyer, Arnd Hartmanns, Fabrice Kordon

Ediciones (1)

TOOLympics Challenge 2023 (2024)
Springer · inglés · ISBN 9783031676949

Más obras de Dirk Beyer

Tapa de Markovian Demand Inventory Models

Markovian Demand Inventory Models

Tapa de Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems

TOOLympics Challenge 2023 — Dirk Beyer, Arnd Hartmanns, Fabrice Kordon | Cutter Number

Tapa de Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tapa de Tests and Proofs

Tests and Proofs

Tapa de Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Tapa de Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Ver todas las obras de Dirk Beyer →