TEST - Catálogo BURRF
   

Su búsqueda retornó 3 resultados.

Ordenar
Resultados
1.
Hybrid Systems: Computation and Control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings / edited by Rupak Majumdar, Paulo Tabuada. por
  • Majumdar, Rupak [editor.]
  • Tabuada, Paulo [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5469
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.

2.
Networked Embedded Sensing and Control : Workshop NESC’05: University of Notre Dame, USA October 2005 Proceedings / edited by Panos J. Antsaklis, Paulo Tabuada. por
  • Antsaklis, Panos J [editor.]
  • Tabuada, Paulo [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Control and Information Science ; 331
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.

3.
Verification and Control of Hybrid Systems : A Symbolic Approach / by Paulo Tabuada. por
  • Tabuada, Paulo [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2009
Disponibilidad: No hay ítems disponibles.

Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha