Resultados
|
|
|
|
|
|
|
|
NASA Formal Methods [electronic resource] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri. por Rozier, Kristin Yvonne [editor.] | Chaudhuri, Swarat [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13903Edició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) .
|
|
|
Combinatorial Algorithms [electronic resource] : 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings / edited by Sun-Yuan Hsieh, Ling-Ju Hung, Chia-Wei Lee. por Hsieh, Sun-Yuan [editor.] | Hung, Ling-Ju [editor.] | Lee, Chia-Wei [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13889Edició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) .
|
|
|
|
|
|
|
|
|
Intelligent Systems Design and Applications [electronic resource] : 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022 - Volume 3 / edited by Ajith Abraham, Sabri Pllana, Gabriella Casalino, Kun Ma, Anu Bajaj. por Abraham, Ajith [editor.] | Pllana, Sabri [editor.] | Casalino, Gabriella [editor.] | Ma, Kun [editor.] | Bajaj, Anu [editor.] | SpringerLink (Online service). Series Lecture Notes in Networks and Systems ; 716Edició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) .
|
|
|
Intelligent Systems Design and Applications [electronic resource] : 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022 - Volume 2 / edited by Ajith Abraham, Sabri Pllana, Gabriella Casalino, Kun Ma, Anu Bajaj. por Abraham, Ajith [editor.] | Pllana, Sabri [editor.] | Casalino, Gabriella [editor.] | Ma, Kun [editor.] | Bajaj, Anu [editor.] | SpringerLink (Online service). Series Lecture Notes in Networks and Systems ; 715Edició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) .
|
|
|
|
|
|
|
|
|
|
|
|
Michael Balz [electronic resource] : Shells and Visions / by John Chilton. por Chilton, John [author.] | 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: 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) .
|
|
|
|
|
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12-15, 2023, Proceedings / edited by Jose M. Juarez, Mar Marcos, Gregor Stiglic, Allan Tucker. por Juarez, Jose M [editor.] | Marcos, Mar [editor.] | Stiglic, Gregor [editor.] | Tucker, Allan [editor.] | SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13897Edició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) .
|
|
|
Web and Wireless Geographical Information Systems [electronic resource] : 20th International Symposium, W2GIS 2023, Quebec City, QC, Canada, June 12-13, 2023, Proceedings / edited by Mir Abolfazl Mostafavi, Géraldine Del Mondo. por Mostafavi, Mir Abolfazl [editor.] | Del Mondo, Géraldine [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13912Edició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) .
|
|
|
|
|
|
|
|
|
Testing and Experimentation in Civil Engineering [electronic resource] : From Current to Smart Technologies / edited by Carlos Chastre, José Neves, Diogo Ribeiro, Fernando F. S. Pinho, Hugo Biscaia, Maria Graça Neves, Paulina Faria, Rui Micaelo. por Chastre, Carlos [editor.] | Neves, José [editor.] | Ribeiro, Diogo [editor.] | Pinho, Fernando F. S [editor.] | Biscaia, Hugo [editor.] | Neves, Maria Graça [editor.] | Faria, Paulina [editor.] | Micaelo, Rui [editor.] | SpringerLink (Online service). Series RILEM Bookseries ; 41Edició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) .
|
|
|
|