Su búsqueda retornó 5651 resultados.

Resultados
		PRICAI 2016: Trends in Artificial Intelligence [recurso electrónico] : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings / edited by Richard Booth, Min-Ling Zhang. por Booth, Richard [editor.] \| Zhang, Min-Ling [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9810Origen: 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) .
		Deductive Software Verification ? The KeY Book [recurso electrónico] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich. por Ahrendt, Wolfgang [editor.] \| Beckert, Bernhard [editor.] \| Bubel, Richard [editor.] \| Hähnle, Reiner [editor.] \| Schmitt, Peter H [editor.] \| Ulbrich, Mattias [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10001Origen: 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) .
		Multiagent System Technologies [recurso electrónico] : 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / edited by Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian Ahrndt. por Klusch, Matthias [editor.] \| Unland, Rainer [editor.] \| Shehory, Onn [editor.] \| Pokahr, Alexander [editor.] \| Ahrndt, Sebastian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9872Origen: 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) .
		Management and Security in the Age of Hyperconnectivity [recurso electrónico] : 10th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2016, Munich, Germany, June 20-23, 2016, Proceedings / edited by Rémi Badonnel, Robert Koch, Aiko Pras, Martin Dra?ar, Burkhard Stiller. por Badonnel, Rémi [editor.] \| Koch, Robert [editor.] \| Pras, Aiko [editor.] \| Dra?ar, Martin [editor.] \| Stiller, Burkhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9701Origen: 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) .
		NASA Formal Methods [recurso electrónico] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / edited by Sanjai Rayadurgam, Oksana Tkachuk. por Rayadurgam, Sanjai [editor.] \| Tkachuk, Oksana [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9690Origen: 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) .
		Smart Health [recurso electrónico] : International Conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected Papers / edited by Xiaolong Zheng, Daniel Dajun Zeng, Hsinchun Chen, Scott J. Leischow. por Zheng, Xiaolong [editor.] \| Zeng, Daniel Dajun [editor.] \| Chen, Hsinchun [editor.] \| Leischow, Scott J [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9545Edición: 1st ed. 2016.Origen: 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) .
		On the Move to Meaningful Internet Systems: OTM 2016 Conferences [recurso electrónico] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna. por Debruyne, Christophe [editor.] \| Panetto, Hervé [editor.] \| Meersman, Robert [editor.] \| Dillon, Tharam [editor.] \| Kühn, eva [editor.] \| O'Sullivan, Declan [editor.] \| Ardagna, Claudio Agostino [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10033Origen: 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) .
		Secure IT Systems [recurso electrónico] : 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings / edited by Billy Bob Brumley, Juha Röning. por Brumley, Billy Bob [editor.] \| Röning, Juha [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10014Origen: 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) .
		Topics in Theoretical Computer Science [recurso electrónico] : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers / edited by Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi. por Hajiaghayi, Mohammad Taghi [editor.] \| Mousavi, Mohammad Reza [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9541Edición: 1st ed. 2016.Origen: 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) .
		Intelligent Computer Mathematics [recurso electrónico] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa. por Kohlhase, Michael [editor.] \| Johansson, Moa [editor.] \| Miller, Bruce [editor.] \| de Moura, Leonardo [editor.] \| Tompa, Frank [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9791Origen: 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) .
		Intelligent Robotics and Applications [recurso electrónico] : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I / edited by Naoyuki Kubota, Kazuo Kiguchi, Honghai Liu, Takenori Obo. por Kubota, Naoyuki [editor.] \| Kiguchi, Kazuo [editor.] \| Liu, Honghai [editor.] \| Obo, Takenori [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9834Origen: 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) .
		Computer Vision ? ECCV 2016 [recurso electrónico] : 14th European Conference, Amsterdam, The Netherlands, October 11?14, 2016, Proceedings, Part VII / edited by Bastian Leibe, Jiri Matas, Nicu Sebe, Max Welling. por Leibe, Bastian [editor.] \| Matas, Jiri [editor.] \| Sebe, Nicu [editor.] \| Welling, Max [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9911Origen: 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) .
		Computer Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan. por Chaudhuri, Swarat [editor.] \| Farzan, Azadeh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9780Origen: 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) .
		Dynamic Products [recurso electrónico] : Shaping Information to Engage and Persuade / by Sara Colombo. por Colombo, Sara [author.] \| SpringerLink (Online service). Series SpringerBriefs in Applied Sciences and TechnologyOrigen: 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) .
		Ontology Engineering [recurso electrónico] : 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers / edited by Valentina Tamma, Mauro Dragoni, Rafael Gonçalves, Agnieszka ?awrynowicz. por Tamma, Valentina [editor.] \| Dragoni, Mauro [editor.] \| Gonçalves, Rafael [editor.] \| ?awrynowicz, Agnieszka [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9557Origen: 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) .
		Pattern Recognition [recurso electrónico] : 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings / edited by Bodo Rosenhahn, Bjoern Andres. por Rosenhahn, Bodo [editor.] \| Andres, Bjoern [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9796Origen: 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) .
		Web-Age Information Management [recurso electrónico] : 17th International Conference, WAIM 2016, Nanchang, China, June 3-5, 2016, Proceedings, Part II / edited by Bin Cui, Nan Zhang, Jianliang Xu, Xiang Lian, Dexi Liu. por Cui, Bin [editor.] \| Zhang, Nan [editor.] \| Xu, Jianliang [editor.] \| Lian, Xiang [editor.] \| Liu, Dexi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9659Origen: 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) .
		Parallel Processing and Applied Mathematics [recurso electrónico] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr. por Wyrzykowski, Roman [editor.] \| Deelman, Ewa [editor.] \| Dongarra, Jack [editor.] \| Karczewski, Konrad [editor.] \| Kitowski, Jacek [editor.] \| Wiatr, Kazimierz [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9574Origen: 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) .
		Information and Communications Security [recurso electrónico] : 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 ? December 2, 2016, Proceedings / edited by Kwok-Yan Lam, Chi-Hung Chi, Sihan Qing. por Lam, Kwok-Yan [editor.] \| Chi, Chi-Hung [editor.] \| Qing, Sihan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9977Origen: 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) .
		Computer Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan. por Chaudhuri, Swarat [editor.] \| Farzan, Azadeh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9779Origen: 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) .

		PRICAI 2016: Trends in Artificial Intelligence [recurso electrónico] : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings / edited by Richard Booth, Min-Ling Zhang. por Booth, Richard [editor.] \| Zhang, Min-Ling [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9810Origen: 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) .
		Deductive Software Verification ? The KeY Book [recurso electrónico] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich. por Ahrendt, Wolfgang [editor.] \| Beckert, Bernhard [editor.] \| Bubel, Richard [editor.] \| Hähnle, Reiner [editor.] \| Schmitt, Peter H [editor.] \| Ulbrich, Mattias [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10001Origen: 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) .
		Multiagent System Technologies [recurso electrónico] : 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / edited by Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian Ahrndt. por Klusch, Matthias [editor.] \| Unland, Rainer [editor.] \| Shehory, Onn [editor.] \| Pokahr, Alexander [editor.] \| Ahrndt, Sebastian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9872Origen: 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) .
		Management and Security in the Age of Hyperconnectivity [recurso electrónico] : 10th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2016, Munich, Germany, June 20-23, 2016, Proceedings / edited by Rémi Badonnel, Robert Koch, Aiko Pras, Martin Dra?ar, Burkhard Stiller. por Badonnel, Rémi [editor.] \| Koch, Robert [editor.] \| Pras, Aiko [editor.] \| Dra?ar, Martin [editor.] \| Stiller, Burkhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9701Origen: 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) .
		NASA Formal Methods [recurso electrónico] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / edited by Sanjai Rayadurgam, Oksana Tkachuk. por Rayadurgam, Sanjai [editor.] \| Tkachuk, Oksana [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9690Origen: 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) .
		Smart Health [recurso electrónico] : International Conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected Papers / edited by Xiaolong Zheng, Daniel Dajun Zeng, Hsinchun Chen, Scott J. Leischow. por Zheng, Xiaolong [editor.] \| Zeng, Daniel Dajun [editor.] \| Chen, Hsinchun [editor.] \| Leischow, Scott J [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9545Edición: 1st ed. 2016.Origen: 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) .
		On the Move to Meaningful Internet Systems: OTM 2016 Conferences [recurso electrónico] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna. por Debruyne, Christophe [editor.] \| Panetto, Hervé [editor.] \| Meersman, Robert [editor.] \| Dillon, Tharam [editor.] \| Kühn, eva [editor.] \| O'Sullivan, Declan [editor.] \| Ardagna, Claudio Agostino [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10033Origen: 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) .
		Secure IT Systems [recurso electrónico] : 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings / edited by Billy Bob Brumley, Juha Röning. por Brumley, Billy Bob [editor.] \| Röning, Juha [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10014Origen: 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) .
		Topics in Theoretical Computer Science [recurso electrónico] : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers / edited by Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi. por Hajiaghayi, Mohammad Taghi [editor.] \| Mousavi, Mohammad Reza [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9541Edición: 1st ed. 2016.Origen: 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) .
		Intelligent Computer Mathematics [recurso electrónico] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa. por Kohlhase, Michael [editor.] \| Johansson, Moa [editor.] \| Miller, Bruce [editor.] \| de Moura, Leonardo [editor.] \| Tompa, Frank [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9791Origen: 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) .
		Intelligent Robotics and Applications [recurso electrónico] : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I / edited by Naoyuki Kubota, Kazuo Kiguchi, Honghai Liu, Takenori Obo. por Kubota, Naoyuki [editor.] \| Kiguchi, Kazuo [editor.] \| Liu, Honghai [editor.] \| Obo, Takenori [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9834Origen: 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) .
		Computer Vision ? ECCV 2016 [recurso electrónico] : 14th European Conference, Amsterdam, The Netherlands, October 11?14, 2016, Proceedings, Part VII / edited by Bastian Leibe, Jiri Matas, Nicu Sebe, Max Welling. por Leibe, Bastian [editor.] \| Matas, Jiri [editor.] \| Sebe, Nicu [editor.] \| Welling, Max [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9911Origen: 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) .
		Computer Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan. por Chaudhuri, Swarat [editor.] \| Farzan, Azadeh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9780Origen: 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) .
		Dynamic Products [recurso electrónico] : Shaping Information to Engage and Persuade / by Sara Colombo. por Colombo, Sara [author.] \| SpringerLink (Online service). Series SpringerBriefs in Applied Sciences and TechnologyOrigen: 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) .
		Ontology Engineering [recurso electrónico] : 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers / edited by Valentina Tamma, Mauro Dragoni, Rafael Gonçalves, Agnieszka ?awrynowicz. por Tamma, Valentina [editor.] \| Dragoni, Mauro [editor.] \| Gonçalves, Rafael [editor.] \| ?awrynowicz, Agnieszka [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9557Origen: 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) .
		Pattern Recognition [recurso electrónico] : 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings / edited by Bodo Rosenhahn, Bjoern Andres. por Rosenhahn, Bodo [editor.] \| Andres, Bjoern [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9796Origen: 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) .
		Web-Age Information Management [recurso electrónico] : 17th International Conference, WAIM 2016, Nanchang, China, June 3-5, 2016, Proceedings, Part II / edited by Bin Cui, Nan Zhang, Jianliang Xu, Xiang Lian, Dexi Liu. por Cui, Bin [editor.] \| Zhang, Nan [editor.] \| Xu, Jianliang [editor.] \| Lian, Xiang [editor.] \| Liu, Dexi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9659Origen: 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) .
		Parallel Processing and Applied Mathematics [recurso electrónico] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr. por Wyrzykowski, Roman [editor.] \| Deelman, Ewa [editor.] \| Dongarra, Jack [editor.] \| Karczewski, Konrad [editor.] \| Kitowski, Jacek [editor.] \| Wiatr, Kazimierz [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9574Origen: 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) .
		Information and Communications Security [recurso electrónico] : 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 ? December 2, 2016, Proceedings / edited by Kwok-Yan Lam, Chi-Hung Chi, Sihan Qing. por Lam, Kwok-Yan [editor.] \| Chi, Chi-Hung [editor.] \| Qing, Sihan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9977Origen: 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) .
		Computer Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan. por Chaudhuri, Swarat [editor.] \| Farzan, Azadeh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9779Origen: 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) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Series

Tópicos

Su búsqueda retornó 5651 resultados.