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
Hybrid systems

Tapa de Hybrid systems

Número de Cutter-SanbornM245hEntrada «Male» → 245 · marca de obra “h”

Hybrid systems

de Oded Maler, Amir Pnueli, Freek Wiedijk

Materias

Hybrid computers
Digital control systems
Congresses

Ediciones (1)

Hybrid Systems: Computation and Control (2003)
Springer · inglés · ISBN 9783540009139

Más obras de Oded Maler

Tapa de Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings

Hybrid systems — Oded Maler, Amir Pnueli, Freek Wiedijk | Cutter Number

Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings

HHybrid Systems Biology

Hybrid Systems Biology

HHybrid Systems : Computation and Control

Hybrid Systems : Computation and Control

CComputer Aided Verification

Computer Aided Verification

VVerification and Synthesis of Hybrid Systems

Verification and Synthesis of Hybrid Systems

Tapa de Hybrid and Real-Time Systems

Hybrid and Real-Time Systems

Ver todas las obras de Oded Maler →