Su búsqueda obtuvo 2 resultados.

Ordenar
Resultados
Principles of cyber-physical systems / Rajeev Alur

por Alur, Rajeev.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge : MIT Press, 2015Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.5/ALU/pri.

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