Resultados
|
|
Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang. por Lahiri, Shuvendu K [editor.] | Wang, Chao [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 11138Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun. por André, Étienne [editor.] | Sun, Jun [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14216Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I / edited by Étienne André, Jun Sun. por André, Étienne [editor.] | Sun, Jun [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14215Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
Automatic control systems / Farid Golnaraghi, Benjamin C. Kuo. por Golnaraghi, M. F | Kuo, Benjamin C, 1930- [coaut. ]. Edición: 10th ed. Tipo de material: Texto; Forma literaria:
No es ficción ; Audiencia:
Especializado; Detalles de publicación: New York, NY : McGraw-Hill Education, 2017Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (1) Signatura topográfica: TJ213 G56 2017, Biblioteca Central Tijuana (1) Signatura topográfica: TJ213 G56 2017.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automation Control Theory Perspectives in Intelligent Systems [recurso electrónico] : Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 3 / edited by Radek Silhavy, Roman Senkerik, Zuzana Kominkova Oplatkova, Petr Silhavy, Zdenka Prokopova. por Silhavy, Radek [editor.] | Senkerik, Roman [editor.] | Oplatkova, Zuzana Kominkova [editor.] | Silhavy, Petr [editor.] | Prokopova, Zdenka [editor.] | SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 466Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automotive Model Predictive Control [recurso electrónico] : Models, Methods and Applications / edited by Luigi Re, Frank Allgöwer, Luigi Glielmo, Carlos Guardiola, Ilya Kolmanovsky. por Re, Luigi [editor.] | Allgöwer, Frank [editor.] | Glielmo, Luigi [editor.] | Guardiola, Carlos [editor.] | Kolmanovsky, Ilya [editor.] | SpringerLink (Online service). Series Lecture Notes in Control and Information Sciences ; 402Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: London : Springer London, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TJ212 -225.
|
|
|
|
|
|
|