Su búsqueda retornó 2235 resultados.

Resultados
		Automated Reasoning [recurso electrónico] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 ? July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari. por Olivetti, Nicola [editor.] \| Tiwari, Ashish [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9706Origen: 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) .
		Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [recurso electrónico] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe. por Armando, Alessandro [editor.] \| Lowe, Gavin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6186Origen: 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 .A25.
		Automated Reasoning with Analytic Tableaux and Related Methods [recurso electrónico] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe. por Brünnler, Kai [editor.] \| Metcalfe, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6793Origen: 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: Q334 -342.
		Automated Technology for Verification and Analysis [recurso electrónico] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings / edited by Ahmed Bouajjani, Wei-Ngan Chin. por Bouajjani, Ahmed [editor.] \| Chin, Wei-Ngan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6252Origen: 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.758.
		Automated Technology for Verification and Analysis [recurso electrónico] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings / edited by Tevfik Bultan, Pao-Ann Hsiung. por Bultan, Tevfik [editor.] \| Hsiung, Pao-Ann [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6996Origen: 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: QA76.758.
		Automated Technology for Verification and Analysis [recurso electrónico] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled. por Artho, Cyrille [editor.] \| Legay, Axel [editor.] \| Peled, Doron [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9938Origen: 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) .
		Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun. por André, Étienne [editor.] \| Sun, Jun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14216Edició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) .
		Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I / edited by Étienne André, Jun Sun. por André, Étienne [editor.] \| Sun, Jun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14215Edició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) .
		Autonomic and Trusted Computing [recurso electrónico] : 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou. por Xie, Bing [editor.] \| Branke, Juergen [editor.] \| Sadjadi, S. Masoud [editor.] \| Zhang, Daqing [editor.] \| Zhou, Xingshe [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6407Origen: 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 .A25.
		Autonomic and Trusted Computing [recurso electrónico] : 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings / edited by Jose M. Alcaraz Calero, Laurence T. Yang, Félix Gómez Mármol, Luis Javier García Villalba, Andy Xiaolin Li, Yan Wang. por Calero, Jose M. Alcaraz [editor.] \| Yang, Laurence T [editor.] \| Mármol, Félix Gómez [editor.] \| García Villalba, Luis Javier [editor.] \| Li, Andy Xiaolin [editor.] \| Wang, Yan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6906Origen: 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: QA76.9 .A25.
		Autonomous Agents and Multiagent Systems [recurso electrónico] : AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / edited by Nardine Osman, Carles Sierra. por Osman, Nardine [editor.] \| Sierra, Carles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10003Origen: 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) .
		Autonomous Agents and Multiagent Systems [recurso electrónico] : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / edited by Nardine Osman, Carles Sierra. por Osman, Nardine [editor.] \| Sierra, Carles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10002Origen: 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) .
		Autonomous and Intelligent Systems [recurso electrónico] : Second International Conference, AIS 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings / edited by Mohamed Kamel, Fakhri Karray, Wail Gueaieb, Alaa Khamis. por Kamel, Mohamed [editor.] \| Karray, Fakhri [editor.] \| Gueaieb, Wail [editor.] \| Khamis, Alaa [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6752Origen: 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: Q334 -342.
		Availability, Reliability and Security for Business, Enterprise and Health Information Systems [recurso electrónico] : IFIP WG 8.4/8.9 International Cross Domain Conference and Workshop, ARES 2011, Vienna, Austria, August 22-26, 2011. Proceedings / edited by A Min Tjoa, Gerald Quirchmayr, Ilsun You, Lida Xu. por Tjoa, A Min [editor.] \| Quirchmayr, Gerald [editor.] \| You, Ilsun [editor.] \| Xu, Lida [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6908Origen: 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: QA76.76 .A65.
		Availability, Reliability, and Security in Information Systems [recurso electrónico] : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2016, and Workshop on Privacy Aware Machine Learning for Health Data Science, PAML 2016, Salzburg, Austria, August 31 - September 2, 2016, Proceedings / edited by Francesco Buccafurri, Andreas Holzinger, Peter Kieseberg, A Min Tjoa, Edgar Weippl. por Buccafurri, Francesco [editor.] \| Holzinger, Andreas [editor.] \| Kieseberg, Peter [editor.] \| Tjoa, A Min [editor.] \| Weippl, Edgar [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9817Origen: 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) .
		Belief Functions: Theory and Applications [recurso electrónico] : 4th International Conference, BELIEF 2016, Prague, Czech Republic, September 21-23, 2016, Proceedings / edited by Ji?ina Vejnarová, Václav Kratochvíl. por Vejnarová, Ji?ina [editor.] \| Kratochvíl, Václav [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9861Origen: 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) .
		Benchmarking, Measuring, and Optimizing [electronic resource] : 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers / edited by Ana Gainaru, Ce Zhang, Chunjie Luo. por Gainaru, Ana [editor.] \| Zhang, Ce [editor.] \| Luo, Chunjie [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13852Edició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) .
		Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More [recurso electrónico] : 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings / edited by Mitsuhisa Sato, Toshihiro Hanawa, Matthias S. Müller, Barbara M. Chapman, Bronis R. Supinski. por Sato, Mitsuhisa [editor.] \| Hanawa, Toshihiro [editor.] \| Müller, Matthias S [editor.] \| Chapman, Barbara M [editor.] \| Supinski, Bronis R [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6132Origen: 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: TK7895 .M5.
		Big Data Analytics and Knowledge Discovery [recurso electrónico] : 18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings / edited by Sanjay Madria, Takahiro Hara. por Madria, Sanjay [editor.] \| Hara, Takahiro [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9829Origen: 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) .
		Big Data Analytics and Knowledge Discovery [electronic resource] : 25th International Conference, DaWaK 2023, Penang, Malaysia, August 28-30, 2023, Proceedings / edited by Robert Wrembel, Johann Gamper, Gabriele Kotsis, A Min Tjoa, Ismail Khalil. por Wrembel, Robert [editor.] \| Gamper, Johann [editor.] \| Kotsis, Gabriele [editor.] \| Tjoa, A Min [editor.] \| Khalil, Ismail [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14148Edició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) .

		Automated Reasoning [recurso electrónico] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 ? July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari. por Olivetti, Nicola [editor.] \| Tiwari, Ashish [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9706Origen: 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) .
		Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [recurso electrónico] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe. por Armando, Alessandro [editor.] \| Lowe, Gavin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6186Origen: 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 .A25.
		Automated Reasoning with Analytic Tableaux and Related Methods [recurso electrónico] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe. por Brünnler, Kai [editor.] \| Metcalfe, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6793Origen: 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: Q334 -342.
		Automated Technology for Verification and Analysis [recurso electrónico] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings / edited by Ahmed Bouajjani, Wei-Ngan Chin. por Bouajjani, Ahmed [editor.] \| Chin, Wei-Ngan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6252Origen: 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.758.
		Automated Technology for Verification and Analysis [recurso electrónico] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings / edited by Tevfik Bultan, Pao-Ann Hsiung. por Bultan, Tevfik [editor.] \| Hsiung, Pao-Ann [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6996Origen: 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: QA76.758.
		Automated Technology for Verification and Analysis [recurso electrónico] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled. por Artho, Cyrille [editor.] \| Legay, Axel [editor.] \| Peled, Doron [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9938Origen: 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) .
		Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun. por André, Étienne [editor.] \| Sun, Jun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14216Edició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) .
		Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I / edited by Étienne André, Jun Sun. por André, Étienne [editor.] \| Sun, Jun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14215Edició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) .
		Autonomic and Trusted Computing [recurso electrónico] : 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou. por Xie, Bing [editor.] \| Branke, Juergen [editor.] \| Sadjadi, S. Masoud [editor.] \| Zhang, Daqing [editor.] \| Zhou, Xingshe [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6407Origen: 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 .A25.
		Autonomic and Trusted Computing [recurso electrónico] : 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings / edited by Jose M. Alcaraz Calero, Laurence T. Yang, Félix Gómez Mármol, Luis Javier García Villalba, Andy Xiaolin Li, Yan Wang. por Calero, Jose M. Alcaraz [editor.] \| Yang, Laurence T [editor.] \| Mármol, Félix Gómez [editor.] \| García Villalba, Luis Javier [editor.] \| Li, Andy Xiaolin [editor.] \| Wang, Yan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6906Origen: 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: QA76.9 .A25.
		Autonomous Agents and Multiagent Systems [recurso electrónico] : AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / edited by Nardine Osman, Carles Sierra. por Osman, Nardine [editor.] \| Sierra, Carles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10003Origen: 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) .
		Autonomous Agents and Multiagent Systems [recurso electrónico] : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / edited by Nardine Osman, Carles Sierra. por Osman, Nardine [editor.] \| Sierra, Carles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10002Origen: 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) .
		Autonomous and Intelligent Systems [recurso electrónico] : Second International Conference, AIS 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings / edited by Mohamed Kamel, Fakhri Karray, Wail Gueaieb, Alaa Khamis. por Kamel, Mohamed [editor.] \| Karray, Fakhri [editor.] \| Gueaieb, Wail [editor.] \| Khamis, Alaa [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6752Origen: 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: Q334 -342.
		Availability, Reliability and Security for Business, Enterprise and Health Information Systems [recurso electrónico] : IFIP WG 8.4/8.9 International Cross Domain Conference and Workshop, ARES 2011, Vienna, Austria, August 22-26, 2011. Proceedings / edited by A Min Tjoa, Gerald Quirchmayr, Ilsun You, Lida Xu. por Tjoa, A Min [editor.] \| Quirchmayr, Gerald [editor.] \| You, Ilsun [editor.] \| Xu, Lida [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6908Origen: 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: QA76.76 .A65.
		Availability, Reliability, and Security in Information Systems [recurso electrónico] : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2016, and Workshop on Privacy Aware Machine Learning for Health Data Science, PAML 2016, Salzburg, Austria, August 31 - September 2, 2016, Proceedings / edited by Francesco Buccafurri, Andreas Holzinger, Peter Kieseberg, A Min Tjoa, Edgar Weippl. por Buccafurri, Francesco [editor.] \| Holzinger, Andreas [editor.] \| Kieseberg, Peter [editor.] \| Tjoa, A Min [editor.] \| Weippl, Edgar [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9817Origen: 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) .
		Belief Functions: Theory and Applications [recurso electrónico] : 4th International Conference, BELIEF 2016, Prague, Czech Republic, September 21-23, 2016, Proceedings / edited by Ji?ina Vejnarová, Václav Kratochvíl. por Vejnarová, Ji?ina [editor.] \| Kratochvíl, Václav [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9861Origen: 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) .
		Benchmarking, Measuring, and Optimizing [electronic resource] : 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers / edited by Ana Gainaru, Ce Zhang, Chunjie Luo. por Gainaru, Ana [editor.] \| Zhang, Ce [editor.] \| Luo, Chunjie [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13852Edició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) .
		Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More [recurso electrónico] : 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings / edited by Mitsuhisa Sato, Toshihiro Hanawa, Matthias S. Müller, Barbara M. Chapman, Bronis R. Supinski. por Sato, Mitsuhisa [editor.] \| Hanawa, Toshihiro [editor.] \| Müller, Matthias S [editor.] \| Chapman, Barbara M [editor.] \| Supinski, Bronis R [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6132Origen: 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: TK7895 .M5.
		Big Data Analytics and Knowledge Discovery [recurso electrónico] : 18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings / edited by Sanjay Madria, Takahiro Hara. por Madria, Sanjay [editor.] \| Hara, Takahiro [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9829Origen: 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) .
		Big Data Analytics and Knowledge Discovery [electronic resource] : 25th International Conference, DaWaK 2023, Penang, Malaysia, August 28-30, 2023, Proceedings / edited by Robert Wrembel, Johann Gamper, Gabriele Kotsis, A Min Tjoa, Ismail Khalil. por Wrembel, Robert [editor.] \| Gamper, Johann [editor.] \| Kotsis, Gabriele [editor.] \| Tjoa, A Min [editor.] \| Khalil, Ismail [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14148Edició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

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.