TEST - Catálogo BURRF
   

Su búsqueda retornó 2 resultados.

Ordenar
Resultados
1.
Correct system design : symposium in honor of ernst-rüdiger olderog on the occasion of his 60th birthday, oldenburg, germany, september 8-9, 2015, proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. por
  • Meyer, Roland [editor.]
  • Platzer, André [editor.]
  • Wehrheim, Heike [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9360
Edición: 1st ed. 2015.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Cham : Springer International Publishing : Springer, 2015
Disponibilidad: No hay ítems disponibles.

2.
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics / by André Platzer. por
  • Platzer, André [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
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