Refinar su búsqueda

Su búsqueda retornó 5913 resultados.

Ordenar
Resultados
AIxIA 2023 - Advances in Artificial Intelligence [electronic resource] : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini.

por Basili, Roberto [editor.] | Lembo, Domenico [editor.] | Limongelli, Carla [editor.] | Orlandini, Andrea [editor.] | SpringerLink (Online service).

Series Lecture Notes in Artificial Intelligence ; 14318Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Algebraic Formalization of Smart Systems [electronic resource] : Theory and Practice / by Natalia Serdyukova, Vladimir Serdyukov.

por Serdyukova, Natalia [author.] | Serdyukov, Vladimir [author.] | SpringerLink (Online service).

Series Smart Innovation, Systems and Technologies ; 91Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Algebraic Foundations in Computer Science [recurso electrónico] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis.

por Kuich, Werner [editor.] | Rahonis, George [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 7020Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.

Algebraic Methodology and Software Technology [recurso electrónico] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic.

por Johnson, Michael [editor.] | Pavlovic, Dusko [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6486Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Algebraic Quasi-Fractal Logic of Smart Systems [electronic resource] : Theory and Practice / edited by Natalia Serdyukova, Vladimir Serdyukov.

por Serdyukova, Natalia [editor.] | Serdyukov, Vladimir [editor.] | SpringerLink (Online service).

Series Intelligent Systems Reference Library ; 251Edición: 1st ed. 2024.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Algorithm Engineering [recurso electrónico] : Selected Results and Surveys / edited by Lasse Kliemann, Peter Sanders.

por Kliemann, Lasse [editor.] | Sanders, Peter [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9220Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Algorithmic Advances in Riemannian Geometry and Applications [recurso electrónico] : For Machine Learning, Computer Vision, Statistics, and Optimization / edited by Hà Quang Minh, Vittorio Murino.

por Minh, Hà Quang [editor.] | Murino, Vittorio [editor.] | SpringerLink (Online service).

Series Advances in Computer Vision and Pattern RecognitionOrigen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Algorithmic Aspects in Information and Management [recurso electrónico] : 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings / edited by Bo Chen.

por Chen, Bo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6124Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A43.

Algorithmic Aspects in Information and Management [electronic resource] : 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings / edited by Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko.

por Tang, Shaojie [editor.] | Du, Ding-Zhu [editor.] | Woodruff, David [editor.] | Butenko, Sergiy [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 11343Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Algorithmic Aspects in Information and Management [electronic resource] : 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II / edited by Smita Ghosh, Zhao Zhang.

por Ghosh, Smita [editor.] | Zhang, Zhao [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 15180Edición: 1st ed. 2024.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Algorithmic Aspects in Information and Management [electronic resource] : 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I / edited by Smita Ghosh, Zhao Zhang.

por Ghosh, Smita [editor.] | Zhang, Zhao [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 15179Edición: 1st ed. 2024.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Algorithmic Aspects of Cloud Computing [recurso electrónico] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.

por Karydis, Ioannis [editor.] | Sioutas, Spyros [editor.] | Triantafillou, Peter [editor.] | Tsoumakos, Dimitrios [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9511Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Algorithmic Decision Theory [recurso electrónico] : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings / edited by Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs.

por Brafman, Ronen I [editor.] | Roberts, Fred S [editor.] | Tsoukiàs, Alexis [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6992Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Algorithmic Foundation of Robotics VIII [recurso electrónico] : Selected Contributions of the Eight International Workshop on the Algorithmic Foundations of Robotics / edited by Gregory S. Chirikjian, Howie Choset, Marco Morales, Todd Murphey.

por Chirikjian, Gregory S [editor.] | Choset, Howie [editor.] | Morales, Marco [editor.] | Murphey, Todd [editor.] | SpringerLink (Online service).

Series Springer Tracts in Advanced Robotics ; 57Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TJ210.2 -211.495.

Algorithmic Foundations of Robotics IX [recurso electrónico] : Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics / edited by David Hsu, Volkan Isler, Jean-Claude Latombe, Ming C. Lin.

por Hsu, David [editor.] | Isler, Volkan [editor.] | Latombe, Jean-Claude [editor.] | Lin, Ming C [editor.] | SpringerLink (Online service).

Series Springer Tracts in Advanced Robotics ; 68Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TJ210.2 -211.495.

Algorithmic Foundations of Robotics XV [electronic resource] : Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics / edited by Steven M. LaValle, Jason M. O'Kane, Michael Otte, Dorsa Sadigh, Pratap Tokekar.

por LaValle, Steven M [editor.] | O'Kane, Jason M [editor.] | Otte, Michael [editor.] | Sadigh, Dorsa [editor.] | Tokekar, Pratap [editor.] | SpringerLink (Online service).

Series Springer Proceedings in Advanced Robotics ; 25Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Algorithmic Game Theory [electronic resource] : 16th International Symposium, SAGT 2023, Egham, UK, September 4-7, 2023, Proceedings / edited by Argyrios Deligkas, Aris Filos-Ratsikas.

por Deligkas, Argyrios [editor.] | Filos-Ratsikas, Aris [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14238Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Algorithmic Game Theory [electronic resource] : 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings / edited by Guido Schäfer, Carmine Ventre.

por Schäfer, Guido [editor.] | Ventre, Carmine [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 15156Edición: 1st ed. 2024.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Algorithmic Intelligence [electronic resource] : Towards an Algorithmic Foundation for Artificial Intelligence / by Stefan Edelkamp.

por Edelkamp, Stefan [author.] | SpringerLink (Online service).

Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Algorithmic Learning Theory [recurso electrónico] : 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings / edited by Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann.

por Hutter, Marcus [editor.] | Stephan, Frank [editor.] | Vovk, Vladimir [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6331Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Páginas

Con tecnología Koha