Su búsqueda retornó 206 resultados.

Resultados
		A 25-Year Perspective on Logic Programming [recurso electrónico] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli. por Dovier, Agostino [editor.] \| Pontelli, Enrico [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6125Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: QA8.9 -QA10.3.
		Advanced Information Systems Engineering [electronic resource] : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings / edited by Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor. por Indulska, Marta [editor.] \| Reinhartz-Berger, Iris [editor.] \| Cetina, Carlos [editor.] \| Pastor, Oscar [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13901Edició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) .
		Advances in Artificial Life, Evolutionary Computation and Systems Chemistry [recurso electrónico] : 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers / edited by Federico Rossi, Fabio Mavelli, Pasquale Stano, Danilo Caivano. por Rossi, Federico [editor.] \| Mavelli, Fabio [editor.] \| Stano, Pasquale [editor.] \| Caivano, Danilo [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 587Origen: 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) .
		Advances in Conceptual Modeling [electronic resource] : ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings / edited by Tiago Prince Sales, João Araújo, José Borbinha, Giancarlo Guizzardi. por Sales, Tiago Prince [editor.] \| Araújo, João [editor.] \| Borbinha, José [editor.] \| Guizzardi, Giancarlo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14319Edició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) .
		Advances in Cryptology ? ASIACRYPT 2016 [recurso electrónico] : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II / edited by Jung Hee Cheon, Tsuyoshi Takagi. por Cheon, Jung Hee [editor.] \| Takagi, Tsuyoshi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10032Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Advances in Cryptology ? ASIACRYPT 2016 [recurso electrónico] : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I / edited by Jung Hee Cheon, Tsuyoshi Takagi. por Cheon, Jung Hee [editor.] \| Takagi, Tsuyoshi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10031Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Advances in Swarm Intelligence [electronic resource] : 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Wenjian Luo. por Tan, Ying [editor.] \| Shi, Yuhui [editor.] \| Luo, Wenjian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13968Edició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) .
		Advances in Swarm Intelligence [electronic resource] : 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Wenjian Luo. por Tan, Ying [editor.] \| Shi, Yuhui [editor.] \| Luo, Wenjian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13969Edició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) .
		Adventures Between Lower Bounds and Higher Altitudes [electronic resource] : Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday / edited by Hans-Joachim Böckenhauer, Dennis Komm, Walter Unger. por Böckenhauer, Hans-Joachim [editor.] \| Komm, Dennis [editor.] \| Unger, Walter [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11011Edició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) .
		AIxIA 2022 - Advances in Artificial Intelligence [electronic resource] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings / edited by Agostino Dovier, Angelo Montanari, Andrea Orlandini. por Dovier, Agostino [editor.] \| Montanari, Angelo [editor.] \| Orlandini, Andrea [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13796Edició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) .
		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; 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) .
		Algorithmic Aspects of Cloud Computing [electronic resource] : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers / edited by Luca Foschini, Spyros Kontogiannis. por Foschini, Luca [editor.] \| Kontogiannis, Spyros [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13799Edició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) .
		Algorithmic Learning Theory [recurso electrónico] : 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings / edited by Ronald Ortner, Hans Ulrich Simon, Sandra Zilles. por Ortner, Ronald [editor.] \| Simon, Hans Ulrich [editor.] \| Zilles, Sandra [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9925Origen: 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) .
		Algorithmic Randomness and Complexity [recurso electrónico] / by Rodney G. Downey, Denis R. Hirschfeldt. por Downey, Rodney G [author.] \| Hirschfeldt, Denis R [author.] \| SpringerLink (Online service). Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeEdición: 1.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 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.
		Algorithms and Architectures for Parallel Processing [recurso electrónico] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I / edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo. por Hsu, Ching-Hsien [editor.] \| Yang, Laurence T [editor.] \| Park, Jong Hyuk [editor.] \| Yeo, Sang-Soo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6081Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Algorithms and Architectures for Parallel Processing [recurso electrónico] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II / edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo. por Hsu, Ching-Hsien [editor.] \| Yang, Laurence T [editor.] \| Park, Jong Hyuk [editor.] \| Yeo, Sang-Soo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6082Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Algorithms and Models for the Web Graph [electronic resource] : 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023, Proceedings / edited by Megan Dewar, Paweł Prałat, Przemysław Szufel, François Théberge, Małgorzata Wrzosek. por Dewar, Megan [editor.] \| Prałat, Paweł [editor.] \| Szufel, Przemysław [editor.] \| Théberge, François [editor.] \| Wrzosek, Małgorzata [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13894Edició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) .
		Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Kenneth J. Supowit. por Supowit, Kenneth J [author.] \| SpringerLink (Online service). Series Computer Science Foundations and Applied LogicEdició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: Birkhäuser, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Apartness and Uniformity [recurso electrónico] : A Constructive Development / by Douglas S. Bridges, Luminita Simona Vîta. por Bridges, Douglas S [author.] \| Vîta, Luminita Simona [author.] \| SpringerLink (Online service). Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: QA75.5 -76.95.
		Applications of Evolutionary Computation [electronic resource] : 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings / edited by João Correia, Stephen Smith, Raneem Qaddoura. por Correia, João [editor.] \| Smith, Stephen [editor.] \| Qaddoura, Raneem [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13989Edició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) .

		A 25-Year Perspective on Logic Programming [recurso electrónico] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli. por Dovier, Agostino [editor.] \| Pontelli, Enrico [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6125Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: QA8.9 -QA10.3.
		Advanced Information Systems Engineering [electronic resource] : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings / edited by Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor. por Indulska, Marta [editor.] \| Reinhartz-Berger, Iris [editor.] \| Cetina, Carlos [editor.] \| Pastor, Oscar [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13901Edició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) .
		Advances in Artificial Life, Evolutionary Computation and Systems Chemistry [recurso electrónico] : 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers / edited by Federico Rossi, Fabio Mavelli, Pasquale Stano, Danilo Caivano. por Rossi, Federico [editor.] \| Mavelli, Fabio [editor.] \| Stano, Pasquale [editor.] \| Caivano, Danilo [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 587Origen: 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) .
		Advances in Conceptual Modeling [electronic resource] : ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings / edited by Tiago Prince Sales, João Araújo, José Borbinha, Giancarlo Guizzardi. por Sales, Tiago Prince [editor.] \| Araújo, João [editor.] \| Borbinha, José [editor.] \| Guizzardi, Giancarlo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14319Edició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) .
		Advances in Cryptology ? ASIACRYPT 2016 [recurso electrónico] : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II / edited by Jung Hee Cheon, Tsuyoshi Takagi. por Cheon, Jung Hee [editor.] \| Takagi, Tsuyoshi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10032Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Advances in Cryptology ? ASIACRYPT 2016 [recurso electrónico] : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I / edited by Jung Hee Cheon, Tsuyoshi Takagi. por Cheon, Jung Hee [editor.] \| Takagi, Tsuyoshi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10031Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Advances in Swarm Intelligence [electronic resource] : 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Wenjian Luo. por Tan, Ying [editor.] \| Shi, Yuhui [editor.] \| Luo, Wenjian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13968Edició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) .
		Advances in Swarm Intelligence [electronic resource] : 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Wenjian Luo. por Tan, Ying [editor.] \| Shi, Yuhui [editor.] \| Luo, Wenjian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13969Edició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) .
		Adventures Between Lower Bounds and Higher Altitudes [electronic resource] : Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday / edited by Hans-Joachim Böckenhauer, Dennis Komm, Walter Unger. por Böckenhauer, Hans-Joachim [editor.] \| Komm, Dennis [editor.] \| Unger, Walter [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11011Edició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) .
		AIxIA 2022 - Advances in Artificial Intelligence [electronic resource] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings / edited by Agostino Dovier, Angelo Montanari, Andrea Orlandini. por Dovier, Agostino [editor.] \| Montanari, Angelo [editor.] \| Orlandini, Andrea [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13796Edició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) .
		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; 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) .
		Algorithmic Aspects of Cloud Computing [electronic resource] : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers / edited by Luca Foschini, Spyros Kontogiannis. por Foschini, Luca [editor.] \| Kontogiannis, Spyros [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13799Edició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) .
		Algorithmic Learning Theory [recurso electrónico] : 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings / edited by Ronald Ortner, Hans Ulrich Simon, Sandra Zilles. por Ortner, Ronald [editor.] \| Simon, Hans Ulrich [editor.] \| Zilles, Sandra [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9925Origen: 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) .
		Algorithmic Randomness and Complexity [recurso electrónico] / by Rodney G. Downey, Denis R. Hirschfeldt. por Downey, Rodney G [author.] \| Hirschfeldt, Denis R [author.] \| SpringerLink (Online service). Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeEdición: 1.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 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.
		Algorithms and Architectures for Parallel Processing [recurso electrónico] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I / edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo. por Hsu, Ching-Hsien [editor.] \| Yang, Laurence T [editor.] \| Park, Jong Hyuk [editor.] \| Yeo, Sang-Soo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6081Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Algorithms and Architectures for Parallel Processing [recurso electrónico] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II / edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo. por Hsu, Ching-Hsien [editor.] \| Yang, Laurence T [editor.] \| Park, Jong Hyuk [editor.] \| Yeo, Sang-Soo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6082Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Algorithms and Models for the Web Graph [electronic resource] : 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023, Proceedings / edited by Megan Dewar, Paweł Prałat, Przemysław Szufel, François Théberge, Małgorzata Wrzosek. por Dewar, Megan [editor.] \| Prałat, Paweł [editor.] \| Szufel, Przemysław [editor.] \| Théberge, François [editor.] \| Wrzosek, Małgorzata [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13894Edició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) .
		Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Kenneth J. Supowit. por Supowit, Kenneth J [author.] \| SpringerLink (Online service). Series Computer Science Foundations and Applied LogicEdició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: Birkhäuser, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Apartness and Uniformity [recurso electrónico] : A Constructive Development / by Douglas S. Bridges, Luminita Simona Vîta. por Bridges, Douglas S [author.] \| Vîta, Luminita Simona [author.] \| SpringerLink (Online service). Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: QA75.5 -76.95.
		Applications of Evolutionary Computation [electronic resource] : 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings / edited by João Correia, Stephen Smith, Raneem Qaddoura. por Correia, João [editor.] \| Smith, Stephen [editor.] \| Qaddoura, Raneem [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13989Edició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) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Series

Tópicos

Su búsqueda retornó 206 resultados.