Su búsqueda retornó 2235 resultados.

Resultados
		Text, Speech, and Dialogue [recurso electrónico] : 19th International Conference, TSD 2016, Brno , Czech Republic, September 12-16, 2016, Proceedings / edited by Petr Sojka, Ale? Horák, Ivan Kope?ek, Karel Pala. por Sojka, Petr [editor.] \| Horák, Ale? [editor.] \| Kope?ek, Ivan [editor.] \| Pala, Karel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9924Origen: 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) .
		Social Informatics [recurso electrónico] : 8th International Conference, SocInfo 2016, Bellevue, WA, USA, November 11-14, 2016, Proceedings, Part II / edited by Emma Spiro, Yong-Yeol Ahn. por Spiro, Emma [editor.] \| Ahn, Yong-Yeol [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10047Origen: 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 I / 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 ; 9658Origen: 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 Behavior Understanding [recurso electrónico] : 7th International Workshop, HBU 2016, Amsterdam, The Netherlands, October 16, 2016, Proceedings / edited by Mohamed Chetouani, Jeffrey Cohn, Albert Ali Salah. por Chetouani, Mohamed [editor.] \| Cohn, Jeffrey [editor.] \| Salah, Albert Ali [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9997Origen: 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) .
		Trends and Applications in Knowledge Discovery and Data Mining [recurso electrónico] : PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, Revised Selected Papers / edited by Huiping Cao, Jinyan Li, Ruili Wang. por Cao, Huiping [editor.] \| Li, Jinyan [editor.] \| Wang, Ruili [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9794Origen: 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 Aspects of Information Security, Privacy, and Trust [recurso electrónico] : 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Theo Tryfonas. por Tryfonas, Theo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9750Origen: 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. Users and Context Diversity [recurso electrónico] : 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part III / edited by Margherita Antona, Constantine Stephanidis. por Antona, Margherita [editor.] \| Stephanidis, Constantine [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9739Origen: 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) .
		The New Codebreakers [recurso electrónico] : Essays Dedicated to David Kahn on the Occasion of His 85th Birthday / edited by Peter Y. A. Ryan, David Naccache, Jean-Jacques Quisquater. por Ryan, Peter Y. A [editor.] \| Naccache, David [editor.] \| Quisquater, Jean-Jacques [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9100Origen: 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) .
		Provable Security [recurso electrónico] : 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings / edited by Liqun Chen, Jinguang Han. por Chen, Liqun [editor.] \| Han, Jinguang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10005Origen: 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) .
		Language and Automata Theory and Applications [recurso electrónico] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / edited by Adrian-Horia Dediu, Jan Janou?ek, Carlos Martín-Vide, Bianca Truthe. por Dediu, Adrian-Horia [editor.] \| Janou?ek, Jan [editor.] \| Martín-Vide, Carlos [editor.] \| Truthe, Bianca [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9618Edició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) .
		Health Information Science [recurso electrónico] : 5th International Conference, HIS 2016, Shanghai, China, November 5-7, 2016, Proceedings / edited by Xiaoxia Yin, James Geller, Ye Li, Rui Zhou, Hua Wang, Yanchun Zhang. por Yin, Xiaoxia [editor.] \| Geller, James [editor.] \| Li, Ye [editor.] \| Zhou, Rui [editor.] \| Wang, Hua [editor.] \| Zhang, Yanchun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10038Origen: 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) .
		Verification, Model Checking, and Abstract Interpretation [recurso electrónico] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino. por Jobstmann, Barbara [editor.] \| Leino, K. Rustan M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9583Edició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) .
		Image and Video Technology ? PSIVT 2015 Workshops [recurso electrónico] : RV 2015, GPID 2013, VG 2015, EO4AS 2015, MCBMIIA 2015, and VSWS 2015, Auckland, New Zealand, November 23-27, 2015. Revised Selected Papers / edited by Fay Huang, Akihiro Sugimoto. por Huang, Fay [editor.] \| Sugimoto, Akihiro [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9555Edició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) .
		Verified Software: Theories, Tools, and Experiments [recurso electrónico] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18?19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia. por Gurfinkel, Arie [editor.] \| Seshia, Sanjit A [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9593Edició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) .
		High Performance Computing in Science and Engineering [recurso electrónico] : Second International Conference, HPCSE 2015, Solá?, Czech Republic, May 25-28, 2015, Revised Selected Papers / edited by Tomá? Kozubek, Radim Blaheta, Jakub ?ístek, Miroslav Rozlo?ník, Martin ?ermák. por Kozubek, Tomá? [editor.] \| Blaheta, Radim [editor.] \| ?ístek, Jakub [editor.] \| Rozlo?ník, Miroslav [editor.] \| ?ermák, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9611Origen: 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 Virtual Agents [recurso electrónico] : 16th International Conference, IVA 2016, Los Angeles, CA, USA, September 20?23, 2016, Proceedings / edited by David Traum, William Swartout, Peter Khooshabeh, Stefan Kopp, Stefan Scherer, Anton Leuski. por Traum, David [editor.] \| Swartout, William [editor.] \| Khooshabeh, Peter [editor.] \| Kopp, Stefan [editor.] \| Scherer, Stefan [editor.] \| Leuski, Anton [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10011Origen: 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) .
		Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things [recurso electrónico] : 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 ? September 4, 2015. Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. por Nambiar, Raghunath [editor.] \| Poess, Meikel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9508Edició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) .
		Web Information Systems Engineering ? WISE 2016 [recurso electrónico] : 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I / edited by Wojciech Cellary, Mohamed F. Mokbel, Jianmin Wang, Hua Wang, Rui Zhou, Yanchun Zhang. por Cellary, Wojciech [editor.] \| Mokbel, Mohamed F [editor.] \| Wang, Jianmin [editor.] \| Wang, Hua [editor.] \| Zhou, Rui [editor.] \| Zhang, Yanchun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10041Origen: 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 Architecture [recurso electrónico] : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings / edited by Bedir Tekinerdogan, Uwe Zdun, Ali Babar. por Tekinerdogan, Bedir [editor.] \| Zdun, Uwe [editor.] \| Babar, Ali [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9839Origen: 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) .
		Research and Advanced Technology for Digital Libraries [recurso electrónico] : 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, Hannover, Germany, September 5?9, 2016, Proceedings / edited by Norbert Fuhr, László Kovács, Thomas Risse, Wolfgang Nejdl. por Fuhr, Norbert [editor.] \| Kovács, László [editor.] \| Risse, Thomas [editor.] \| Nejdl, Wolfgang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9819Origen: 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) .

		Text, Speech, and Dialogue [recurso electrónico] : 19th International Conference, TSD 2016, Brno , Czech Republic, September 12-16, 2016, Proceedings / edited by Petr Sojka, Ale? Horák, Ivan Kope?ek, Karel Pala. por Sojka, Petr [editor.] \| Horák, Ale? [editor.] \| Kope?ek, Ivan [editor.] \| Pala, Karel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9924Origen: 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) .
		Social Informatics [recurso electrónico] : 8th International Conference, SocInfo 2016, Bellevue, WA, USA, November 11-14, 2016, Proceedings, Part II / edited by Emma Spiro, Yong-Yeol Ahn. por Spiro, Emma [editor.] \| Ahn, Yong-Yeol [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10047Origen: 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 I / 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 ; 9658Origen: 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 Behavior Understanding [recurso electrónico] : 7th International Workshop, HBU 2016, Amsterdam, The Netherlands, October 16, 2016, Proceedings / edited by Mohamed Chetouani, Jeffrey Cohn, Albert Ali Salah. por Chetouani, Mohamed [editor.] \| Cohn, Jeffrey [editor.] \| Salah, Albert Ali [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9997Origen: 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) .
		Trends and Applications in Knowledge Discovery and Data Mining [recurso electrónico] : PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, Revised Selected Papers / edited by Huiping Cao, Jinyan Li, Ruili Wang. por Cao, Huiping [editor.] \| Li, Jinyan [editor.] \| Wang, Ruili [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9794Origen: 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 Aspects of Information Security, Privacy, and Trust [recurso electrónico] : 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Theo Tryfonas. por Tryfonas, Theo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9750Origen: 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. Users and Context Diversity [recurso electrónico] : 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part III / edited by Margherita Antona, Constantine Stephanidis. por Antona, Margherita [editor.] \| Stephanidis, Constantine [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9739Origen: 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) .
		The New Codebreakers [recurso electrónico] : Essays Dedicated to David Kahn on the Occasion of His 85th Birthday / edited by Peter Y. A. Ryan, David Naccache, Jean-Jacques Quisquater. por Ryan, Peter Y. A [editor.] \| Naccache, David [editor.] \| Quisquater, Jean-Jacques [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9100Origen: 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) .
		Provable Security [recurso electrónico] : 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings / edited by Liqun Chen, Jinguang Han. por Chen, Liqun [editor.] \| Han, Jinguang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10005Origen: 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) .
		Language and Automata Theory and Applications [recurso electrónico] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / edited by Adrian-Horia Dediu, Jan Janou?ek, Carlos Martín-Vide, Bianca Truthe. por Dediu, Adrian-Horia [editor.] \| Janou?ek, Jan [editor.] \| Martín-Vide, Carlos [editor.] \| Truthe, Bianca [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9618Edició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) .
		Health Information Science [recurso electrónico] : 5th International Conference, HIS 2016, Shanghai, China, November 5-7, 2016, Proceedings / edited by Xiaoxia Yin, James Geller, Ye Li, Rui Zhou, Hua Wang, Yanchun Zhang. por Yin, Xiaoxia [editor.] \| Geller, James [editor.] \| Li, Ye [editor.] \| Zhou, Rui [editor.] \| Wang, Hua [editor.] \| Zhang, Yanchun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10038Origen: 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) .
		Verification, Model Checking, and Abstract Interpretation [recurso electrónico] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino. por Jobstmann, Barbara [editor.] \| Leino, K. Rustan M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9583Edició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) .
		Image and Video Technology ? PSIVT 2015 Workshops [recurso electrónico] : RV 2015, GPID 2013, VG 2015, EO4AS 2015, MCBMIIA 2015, and VSWS 2015, Auckland, New Zealand, November 23-27, 2015. Revised Selected Papers / edited by Fay Huang, Akihiro Sugimoto. por Huang, Fay [editor.] \| Sugimoto, Akihiro [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9555Edició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) .
		Verified Software: Theories, Tools, and Experiments [recurso electrónico] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18?19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia. por Gurfinkel, Arie [editor.] \| Seshia, Sanjit A [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9593Edició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) .
		High Performance Computing in Science and Engineering [recurso electrónico] : Second International Conference, HPCSE 2015, Solá?, Czech Republic, May 25-28, 2015, Revised Selected Papers / edited by Tomá? Kozubek, Radim Blaheta, Jakub ?ístek, Miroslav Rozlo?ník, Martin ?ermák. por Kozubek, Tomá? [editor.] \| Blaheta, Radim [editor.] \| ?ístek, Jakub [editor.] \| Rozlo?ník, Miroslav [editor.] \| ?ermák, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9611Origen: 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 Virtual Agents [recurso electrónico] : 16th International Conference, IVA 2016, Los Angeles, CA, USA, September 20?23, 2016, Proceedings / edited by David Traum, William Swartout, Peter Khooshabeh, Stefan Kopp, Stefan Scherer, Anton Leuski. por Traum, David [editor.] \| Swartout, William [editor.] \| Khooshabeh, Peter [editor.] \| Kopp, Stefan [editor.] \| Scherer, Stefan [editor.] \| Leuski, Anton [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10011Origen: 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) .
		Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things [recurso electrónico] : 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 ? September 4, 2015. Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. por Nambiar, Raghunath [editor.] \| Poess, Meikel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9508Edició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) .
		Web Information Systems Engineering ? WISE 2016 [recurso electrónico] : 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I / edited by Wojciech Cellary, Mohamed F. Mokbel, Jianmin Wang, Hua Wang, Rui Zhou, Yanchun Zhang. por Cellary, Wojciech [editor.] \| Mokbel, Mohamed F [editor.] \| Wang, Jianmin [editor.] \| Wang, Hua [editor.] \| Zhou, Rui [editor.] \| Zhang, Yanchun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10041Origen: 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 Architecture [recurso electrónico] : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings / edited by Bedir Tekinerdogan, Uwe Zdun, Ali Babar. por Tekinerdogan, Bedir [editor.] \| Zdun, Uwe [editor.] \| Babar, Ali [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9839Origen: 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) .
		Research and Advanced Technology for Digital Libraries [recurso electrónico] : 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, Hannover, Germany, September 5?9, 2016, Proceedings / edited by Norbert Fuhr, László Kovács, Thomas Risse, Wolfgang Nejdl. por Fuhr, Norbert [editor.] \| Kovács, László [editor.] \| Risse, Thomas [editor.] \| Nejdl, Wolfgang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9819Origen: 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

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.