Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Transactions on Engineering Technologies [electronic resource] : International MultiConference of Engineers and Computer Scientists 2021 / edited by Sio-Iong Ao, Oscar Castillo, Hideki Katagiri, Alan Chan, Mahyar A. Amouzegar. por Ao, Sio-Iong [editor.] | Castillo, Oscar [editor.] | Katagiri, Hideki [editor.] | Chan, Alan [editor.] | Amouzegar, Mahyar A [editor.] | SpringerLink (Online service). Edició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: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang. por Dragoi, Cezara [editor.] | Emmi, Michael [editor.] | Wang, Jingbo [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13881Edició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) .
|
|
|
|
|
|
|
|
|
Metaheuristics [electronic resource] : 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings / edited by Luca Di Gaspero, Paola Festa, Amir Nakib, Mario Pavone. por Di Gaspero, Luca [editor.] | Festa, Paola [editor.] | Nakib, Amir [editor.] | Pavone, Mario [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13838Edició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 International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
Modelling and Development of Intelligent Systems [electronic resource] : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers / edited by Dana Simian, Laura Florentina Stoica. por Simian, Dana [editor.] | Stoica, Laura Florentina [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 1761Edició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) .
|