Su búsqueda obtuvo 2 resultados.

Ordenar
Resultados
Handbook of hybrid systems control : theory, tools, applications / edited by Juan Lunze and Franјoise Lamnabhi-Lagarrigue

por Lunze, Jan [editor literario] | Lamnabhi-Lagarrigue, Francoise.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge : Cambridge University, 2009Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 681.5/HAN.

Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)

por Alur, Rajeev, 1966- [editor literario] | Henziger, Thomas A [editor literario] | Sontag, Eduardo D [editor literario].

Series Lecture Notes in Computer Science ; 1066Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Heidelberg : Springer, 1996Otro título: Hybrid systems 3 | Hybrid systems three.Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 681.5/HYB.

Páginas

Con tecnología Koha