Su búsqueda retornó 2235 resultados.

Resultados
		Wired/Wireless Internet Communications [recurso electrónico] : 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings / edited by Lefteris Mamatas, Ibrahim Matta, Panagiotis Papadimitriou, Yevgeni Koucheryavy. por Mamatas, Lefteris [editor.] \| Matta, Ibrahim [editor.] \| Papadimitriou, Panagiotis [editor.] \| Koucheryavy, Yevgeni [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9674Origen: 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) .
		Medical Imaging and Augmented Reality [recurso electrónico] : 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings / edited by Guoyan Zheng, Hongen Liao, Pierre Jannin, Philippe Cattin, Su-Lin Lee. por Zheng, Guoyan [editor.] \| Liao, Hongen [editor.] \| Jannin, Pierre [editor.] \| Cattin, Philippe [editor.] \| Lee, Su-Lin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9805Origen: 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) .
		Software Engineering and Formal Methods [recurso electrónico] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn. por De Nicola, Rocco [editor.] \| Kühn, Eva [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9763Origen: 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) .
		Machine Learning and Knowledge Discovery in Databases [recurso electrónico] : European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part I / edited by Paolo Frasconi, Niels Landwehr, Giuseppe Manco, Jilles Vreeken. por Frasconi, Paolo [editor.] \| Landwehr, Niels [editor.] \| Manco, Giuseppe [editor.] \| Vreeken, Jilles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9851Origen: 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) .
		Human-Computer Interaction. Novel User Experiences [recurso electrónico] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III / edited by Masaaki Kurosu. por Kurosu, Masaaki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9733Origen: 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) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV [recurso electrónico] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Decker, Hendrik [editor.] \| Lhotska, Lenka [editor.] \| Link, Sebastian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9510Edición: 1st ed. 2016.Origen: 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) .
		Information Theoretic Security [recurso electrónico] : 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9-12, 2016, Revised Selected Papers / edited by Anderson C.A. Nascimento, Paulo Barreto. por Nascimento, Anderson C.A [editor.] \| Barreto, Paulo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10015Origen: 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) .
		Graph-Theoretic Concepts in Computer Science [recurso electrónico] : 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers / edited by Pinar Heggernes. por Heggernes, Pinar [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9941Origen: 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) .
		Information Security Applications [recurso electrónico] : 16th International Workshop, WISA 2015, Jeju Island, Korea, August 20?22, 2015, Revised Selected Papers / edited by Ho-won Kim, Dooho Choi. por Kim, Ho-won [editor.] \| Choi, Dooho [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9503Edició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) .
		HCI in Business, Government, and Organizations: eCommerce and Innovation [recurso electrónico] : Third International Conference, HCIBGO 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I / edited by Fiona Fui-Hoon Nah, Chuan-Hoo Tan. por Nah, Fiona Fui-Hoon [editor.] \| Tan, Chuan-Hoo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9751Origen: 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) .
		MultiMedia Modeling [recurso electrónico] : 22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part I / edited by Qi Tian, Nicu Sebe, Guo-Jun Qi, Benoit Huet, Richang Hong, Xueliang Liu. por Tian, Qi [editor.] \| Sebe, Nicu [editor.] \| Qi, Guo-Jun [editor.] \| Huet, Benoit [editor.] \| Hong, Richang [editor.] \| Liu, Xueliang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9516Edició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) .
		Universal Access in Human-Computer Interaction. Methods, Techniques, and Best Practices [recurso electrónico] : 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part I / edited by Margherita Antona, Constantine Stephanidis. por Antona, Margherita [editor.] \| Stephanidis, Constantine [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9737Origen: 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) .
		Theory and Practice of Formal Methods [recurso electrónico] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen. por Ábrahám, Erika [editor.] \| Bonsangue, Marcello [editor.] \| Johnsen, Einar Broch [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9660Origen: 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) .
		Human Interface and the Management of Information: Information, Design and Interaction [recurso electrónico] : 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016, Proceedings, Part I / edited by Sakae Yamamoto. por Yamamoto, Sakae [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9734Origen: 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) .
		Image and Video Technology [recurso electrónico] : 7th Pacific-Rim Symposium, PSIVT 2015, Auckland, New Zealand, November 25-27, 2015, Revised Selected Papers / edited by Thomas Bräunl, Brendan McCane, Mariano Rivera, Xinguo Yu. por Bräunl, Thomas [editor.] \| McCane, Brendan [editor.] \| Rivera, Mariano [editor.] \| Yu, Xinguo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9431Edició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) .
		Transactions on Computational Science XXVI [recurso electrónico] : Special Issue on Cyberworlds and Cybersecurity / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Andrés Iglesias, Mikio Shinya, Akemi Galvez, Alexei Sourin. por Gavrilova, Marina L [editor.] \| Tan, C.J. Kenneth [editor.] \| Iglesias, Andrés [editor.] \| Shinya, Mikio [editor.] \| Galvez, Akemi [editor.] \| Sourin, Alexei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9550Edición: 1st ed. 2016.Origen: 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) .
		Games and Learning Alliance [recurso electrónico] : 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5?7, 2016, Proceedings / edited by Rosa Bottino, Johan Jeuring, Remco C. Veltkamp. por Bottino, Rosa [editor.] \| Jeuring, Johan [editor.] \| Veltkamp, Remco C [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10056Origen: 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) .
		Principles and Practice of Multi-Agent Systems [recurso electrónico] : International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers / edited by Matteo Baldoni, Cristina Baroglio, Floris Bex, Floriana Grasso, Nancy Green, Mohammad-Reza Namazi-Rad, Masayuki Numao, Merlin Teodosia Suarez. por Baldoni, Matteo [editor.] \| Baroglio, Cristina [editor.] \| Bex, Floris [editor.] \| Grasso, Floriana [editor.] \| Green, Nancy [editor.] \| Namazi-Rad, Mohammad-Reza [editor.] \| Numao, Masayuki [editor.] \| Suarez, Merlin Teodosia [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9935Origen: 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) .
		Internet of Vehicles ? Technologies and Services [recurso electrónico] : Third International Conference, IOV 2016, Nadi, Fiji, December 7?10, 2016, Proceedings / edited by Ching-Hsien Hsu, Shangguang Wang, Ao Zhou, Ali Shawkat. por Hsu, Ching-Hsien [editor.] \| Wang, Shangguang [editor.] \| Zhou, Ao [editor.] \| Shawkat, Ali [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10036Origen: 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) .
		Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / edited by Akash Lal, Stefano Tonetta. por Lal, Akash [editor.] \| Tonetta, Stefano [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13800Edició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) .

		Wired/Wireless Internet Communications [recurso electrónico] : 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings / edited by Lefteris Mamatas, Ibrahim Matta, Panagiotis Papadimitriou, Yevgeni Koucheryavy. por Mamatas, Lefteris [editor.] \| Matta, Ibrahim [editor.] \| Papadimitriou, Panagiotis [editor.] \| Koucheryavy, Yevgeni [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9674Origen: 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) .
		Medical Imaging and Augmented Reality [recurso electrónico] : 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings / edited by Guoyan Zheng, Hongen Liao, Pierre Jannin, Philippe Cattin, Su-Lin Lee. por Zheng, Guoyan [editor.] \| Liao, Hongen [editor.] \| Jannin, Pierre [editor.] \| Cattin, Philippe [editor.] \| Lee, Su-Lin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9805Origen: 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) .
		Software Engineering and Formal Methods [recurso electrónico] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn. por De Nicola, Rocco [editor.] \| Kühn, Eva [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9763Origen: 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) .
		Machine Learning and Knowledge Discovery in Databases [recurso electrónico] : European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part I / edited by Paolo Frasconi, Niels Landwehr, Giuseppe Manco, Jilles Vreeken. por Frasconi, Paolo [editor.] \| Landwehr, Niels [editor.] \| Manco, Giuseppe [editor.] \| Vreeken, Jilles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9851Origen: 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) .
		Human-Computer Interaction. Novel User Experiences [recurso electrónico] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III / edited by Masaaki Kurosu. por Kurosu, Masaaki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9733Origen: 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) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV [recurso electrónico] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Decker, Hendrik [editor.] \| Lhotska, Lenka [editor.] \| Link, Sebastian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9510Edición: 1st ed. 2016.Origen: 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) .
		Information Theoretic Security [recurso electrónico] : 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9-12, 2016, Revised Selected Papers / edited by Anderson C.A. Nascimento, Paulo Barreto. por Nascimento, Anderson C.A [editor.] \| Barreto, Paulo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10015Origen: 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) .
		Graph-Theoretic Concepts in Computer Science [recurso electrónico] : 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers / edited by Pinar Heggernes. por Heggernes, Pinar [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9941Origen: 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) .
		Information Security Applications [recurso electrónico] : 16th International Workshop, WISA 2015, Jeju Island, Korea, August 20?22, 2015, Revised Selected Papers / edited by Ho-won Kim, Dooho Choi. por Kim, Ho-won [editor.] \| Choi, Dooho [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9503Edició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) .
		HCI in Business, Government, and Organizations: eCommerce and Innovation [recurso electrónico] : Third International Conference, HCIBGO 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I / edited by Fiona Fui-Hoon Nah, Chuan-Hoo Tan. por Nah, Fiona Fui-Hoon [editor.] \| Tan, Chuan-Hoo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9751Origen: 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) .
		MultiMedia Modeling [recurso electrónico] : 22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part I / edited by Qi Tian, Nicu Sebe, Guo-Jun Qi, Benoit Huet, Richang Hong, Xueliang Liu. por Tian, Qi [editor.] \| Sebe, Nicu [editor.] \| Qi, Guo-Jun [editor.] \| Huet, Benoit [editor.] \| Hong, Richang [editor.] \| Liu, Xueliang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9516Edició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) .
		Universal Access in Human-Computer Interaction. Methods, Techniques, and Best Practices [recurso electrónico] : 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part I / edited by Margherita Antona, Constantine Stephanidis. por Antona, Margherita [editor.] \| Stephanidis, Constantine [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9737Origen: 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) .
		Theory and Practice of Formal Methods [recurso electrónico] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen. por Ábrahám, Erika [editor.] \| Bonsangue, Marcello [editor.] \| Johnsen, Einar Broch [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9660Origen: 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) .
		Human Interface and the Management of Information: Information, Design and Interaction [recurso electrónico] : 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016, Proceedings, Part I / edited by Sakae Yamamoto. por Yamamoto, Sakae [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9734Origen: 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) .
		Image and Video Technology [recurso electrónico] : 7th Pacific-Rim Symposium, PSIVT 2015, Auckland, New Zealand, November 25-27, 2015, Revised Selected Papers / edited by Thomas Bräunl, Brendan McCane, Mariano Rivera, Xinguo Yu. por Bräunl, Thomas [editor.] \| McCane, Brendan [editor.] \| Rivera, Mariano [editor.] \| Yu, Xinguo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9431Edició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) .
		Transactions on Computational Science XXVI [recurso electrónico] : Special Issue on Cyberworlds and Cybersecurity / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Andrés Iglesias, Mikio Shinya, Akemi Galvez, Alexei Sourin. por Gavrilova, Marina L [editor.] \| Tan, C.J. Kenneth [editor.] \| Iglesias, Andrés [editor.] \| Shinya, Mikio [editor.] \| Galvez, Akemi [editor.] \| Sourin, Alexei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9550Edición: 1st ed. 2016.Origen: 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) .
		Games and Learning Alliance [recurso electrónico] : 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5?7, 2016, Proceedings / edited by Rosa Bottino, Johan Jeuring, Remco C. Veltkamp. por Bottino, Rosa [editor.] \| Jeuring, Johan [editor.] \| Veltkamp, Remco C [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10056Origen: 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) .
		Principles and Practice of Multi-Agent Systems [recurso electrónico] : International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers / edited by Matteo Baldoni, Cristina Baroglio, Floris Bex, Floriana Grasso, Nancy Green, Mohammad-Reza Namazi-Rad, Masayuki Numao, Merlin Teodosia Suarez. por Baldoni, Matteo [editor.] \| Baroglio, Cristina [editor.] \| Bex, Floris [editor.] \| Grasso, Floriana [editor.] \| Green, Nancy [editor.] \| Namazi-Rad, Mohammad-Reza [editor.] \| Numao, Masayuki [editor.] \| Suarez, Merlin Teodosia [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9935Origen: 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) .
		Internet of Vehicles ? Technologies and Services [recurso electrónico] : Third International Conference, IOV 2016, Nadi, Fiji, December 7?10, 2016, Proceedings / edited by Ching-Hsien Hsu, Shangguang Wang, Ao Zhou, Ali Shawkat. por Hsu, Ching-Hsien [editor.] \| Wang, Shangguang [editor.] \| Zhou, Ao [editor.] \| Shawkat, Ali [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10036Origen: 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) .
		Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / edited by Akash Lal, Stefano Tonetta. por Lal, Akash [editor.] \| Tonetta, Stefano [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13800Edició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) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.