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) .
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 28th International Conference on Applications of Natural Language to Information Systems, NLDB 2023, Derby, UK, June 21-23, 2023, Proceedings / edited by Elisabeth Métais, Farid Meziane, Vijayan Sugumaran, Warren Manning, Stephan Reiff-Marganiec. por Métais, Elisabeth [editor.] | Meziane, Farid [editor.] | Sugumaran, Vijayan [editor.] | Manning, Warren [editor.] | Reiff-Marganiec, Stephan [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13913Edició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) .
|
|
|
|
|
|
|
|
|
|
|
|
New Trends in Database and Information Systems [electronic resource] : ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings / edited by Alberto Abelló, Panos Vassiliadis, Oscar Romero, Robert Wrembel, Francesca Bugiotti, Johann Gamper, Genoveva Vargas Solar, Ester Zumpano. por Abelló, Alberto [editor.] | Vassiliadis, Panos [editor.] | Romero, Oscar [editor.] | Wrembel, Robert [editor.] | Bugiotti, Francesca [editor.] | Gamper, Johann [editor.] | Vargas Solar, Genoveva [editor.] | Zumpano, Ester [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 1850Edició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) .
|
|
|
|
|
|
Ophthalmic Medical Image Analysis [electronic resource] : 10th International Workshop, OMIA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings / edited by Bhavna Antony, Hao Chen, Huihui Fang, Huazhu Fu, Cecilia S. Lee, Yalin Zheng. por Antony, Bhavna [editor.] | Chen, Hao [editor.] | Fang, Huihui [editor.] | Fu, Huazhu [editor.] | Lee, Cecilia S [editor.] | Zheng, Yalin [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14096Edició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) .
|
|
|
Optimization and Learning [electronic resource] : 6th International Conference, OLA 2023, Malaga, Spain, May 3-5, 2023, Proceedings / edited by Bernabé Dorronsoro, Francisco Chicano, Gregoire Danoy, El-Ghazali Talbi. por Dorronsoro, Bernabé [editor.] | Chicano, Francisco [editor.] | Danoy, Gregoire [editor.] | Talbi, El-Ghazali [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 1824Edició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) .
|
|
|
Pan-African Artificial Intelligence and Smart Systems [electronic resource] : Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings / edited by Telex Magloire Ngatched Nkouatchah, Isaac Woungang, Jules-Raymond Tapamo, Serestina Viriri. por Ngatched Nkouatchah, Telex Magloire [editor.] | Woungang, Isaac [editor.] | Tapamo, Jules-Raymond [editor.] | Viriri, Serestina [editor.] | SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 459Edició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) .
|
|
|
|
|
|
Pattern Recognition [electronic resource] : 15th Mexican Conference, MCPR 2023, Tepic, Mexico, June 21-24, 2023, Proceedings / edited by Ansel Yoan Rodríguez-González, Humberto Pérez-Espinosa, José Francisco Martínez-Trinidad, Jesús Ariel Carrasco-Ochoa, José Arturo Olvera-López. por Rodríguez-González, Ansel Yoan [editor.] | Pérez-Espinosa, Humberto [editor.] | Martínez-Trinidad, José Francisco [editor.] | Carrasco-Ochoa, Jesús Ariel [editor.] | Olvera-López, José Arturo [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13902Edició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) .
|
|
|
Pattern Recognition Applications and Methods [electronic resource] : 10th International Conference, ICPRAM 2021, and 11th International Conference, ICPRAM 2022, Virtual Event, February 4-6, 2021 and February 3-5, 2022, Revised Selected Papers / edited by Maria De Marsico, Gabriella Sanniti di Baja, Ana Fred. por De Marsico, Maria [editor.] | Sanniti di Baja, Gabriella [editor.] | Fred, Ana [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13822Edició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) .
|
|
|
|
|
|
|
|
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / edited by Martin Gebser, Ilya Sergey. por Gebser, Martin [editor.] | Sergey, Ilya [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14512Edició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) .
|
|
|
Proceedings of Emerging Trends and Technologies on Intelligent Systems [electronic resource] : ETTIS 2022 / edited by Arti Noor, Kriti Saroha, Emil Pricop, Abhijit Sen, Gaurav Trivedi. por Noor, Arti [editor.] | Saroha, Kriti [editor.] | Pricop, Emil [editor.] | Sen, Abhijit [editor.] | Trivedi, Gaurav [editor.] | SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 1414Edició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) .
|