Su búsqueda retornó 2235 resultados.

Resultados
		Intelligent Computing Theories and Application [recurso electrónico] : 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo. por Huang, De-Shuang [editor.] \| Jo, Kang-Hyun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9772Origen: 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 Centered Computing [recurso electrónico] : Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers / edited by Qiaohong Zu, Bo Hu. por Zu, Qiaohong [editor.] \| Hu, Bo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9567Origen: 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) .
		Mathematical Software ? ICMS 2016 [recurso electrónico] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / edited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese. por Greuel, Gert-Martin [editor.] \| Koch, Thorsten [editor.] \| Paule, Peter [editor.] \| Sommese, Andrew [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9725Origen: 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) .
		Rule Technologies. Research, Tools, and Applications [recurso electrónico] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman. por Alferes, Jose Julio [editor.] \| Bertossi, Leopoldo [editor.] \| Governatori, Guido [editor.] \| Fodor, Paul [editor.] \| Roman, Dumitru [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9718Origen: 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: Information Systems [recurso electrónico] : Third International Conference, HCIBGO 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II / 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 ; 9752Origen: 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) .
		Service-Oriented and Cloud Computing [recurso electrónico] : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings / edited by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski. por Aiello, Marco [editor.] \| Johnsen, Einar Broch [editor.] \| Dustdar, Schahram [editor.] \| Georgievski, Ilche [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9846Origen: 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) .
		Theoretical Aspects of Computing ? ICTAC 2016 [recurso electrónico] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24?31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang. por Sampaio, Augusto [editor.] \| Wang, Farn [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9965Origen: 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) .
		Integrated Uncertainty in Knowledge Modelling and Decision Making [recurso electrónico] : 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30- December 2, 2016, Proceedings / edited by Van-Nam Huynh, Masahiro Inuiguchi, Bac Le, Bao Nguyen Le, Thierry Denoeux. por Huynh, Van-Nam [editor.] \| Inuiguchi, Masahiro [editor.] \| Le, Bac [editor.] \| Le, Bao Nguyen [editor.] \| Denoeux, Thierry [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9978Origen: 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) .
		Scala: From a Functional Programming Perspective [recurso electrónico] : An Introduction to the Programming Language / by Vicenç Torra. por Torra, Vicenç [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9980Origen: 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 Semantic Web [recurso electrónico] : ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 ? June 2, 2016, Revised Selected Papers / edited by Harald Sack, Giuseppe Rizzo, Nadine Steinmetz, Dunja Mladeni?, Sören Auer, Christoph Lange. por Sack, Harald [editor.] \| Rizzo, Giuseppe [editor.] \| Steinmetz, Nadine [editor.] \| Mladeni?, Dunja [editor.] \| Auer, Sören [editor.] \| Lange, Christoph [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9989Origen: 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. Interaction Platforms and Techniques [recurso electrónico] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part II / edited by Masaaki Kurosu. por Kurosu, Masaaki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9732Origen: 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) .
		Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [recurso electrónico] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9953Origen: 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) .
		Semantics, Logics, and Calculi [recurso electrónico] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen. por Probst, Christian W [editor.] \| Hankin, Chris [editor.] \| Hansen, René Rydhof [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9560Edició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) .
		Information Technology in Bio- and Medical Informatics [recurso electrónico] : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings / edited by M. Elena Renda, Miroslav Bursa, Andreas Holzinger, Sami Khuri. por Renda, M. Elena [editor.] \| Bursa, Miroslav [editor.] \| Holzinger, Andreas [editor.] \| Khuri, Sami [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9832Origen: 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) .
		Geographic Information Science [recurso electrónico] : 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings / edited by Jennifer A. Miller, David O'Sullivan, Nancy Wiegand. por Miller, Jennifer A [editor.] \| O'Sullivan, David [editor.] \| Wiegand, Nancy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9927Origen: 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) .
		Progress in Cryptology ? INDOCRYPT 2016 [recurso electrónico] : 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings / edited by Orr Dunkelman, Somitra Kumar Sanadhya. por Dunkelman, Orr [editor.] \| Sanadhya, Somitra Kumar [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10095Origen: 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 Transformation [recurso electrónico] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings / edited by Rachid Echahed, Mark Minas. por Echahed, Rachid [editor.] \| Minas, Mark [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9761Origen: 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) .
		Programming Languages [recurso electrónico] : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings / edited by Fernando Castor, Yu David Liu. por Castor, Fernando [editor.] \| Liu, Yu David [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9889Origen: 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) .
		Persuasive Technology [recurso electrónico] : 11th International Conference, PERSUASIVE 2016, Salzburg, Austria, April 5-7, 2016, Proceedings / edited by Alexander Meschtscherjakov, Boris De Ruyter, Verena Fuchsberger, Martin Murer, Manfred Tscheligi. por Meschtscherjakov, Alexander [editor.] \| De Ruyter, Boris [editor.] \| Fuchsberger, Verena [editor.] \| Murer, Martin [editor.] \| Tscheligi, Manfred [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9638Origen: 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 Retrieval Technology [recurso electrónico] : 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China, November 30 ? December 2, 2016, Proceedings / edited by Shaoping Ma, Ji-Rong Wen, Yiqun Liu, Zhicheng Dou, Min Zhang, Yi Chang, Xin Zhao. por Ma, Shaoping [editor.] \| Wen, Ji-Rong [editor.] \| Liu, Yiqun [editor.] \| Dou, Zhicheng [editor.] \| Zhang, Min [editor.] \| Chang, Yi [editor.] \| Zhao, Xin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9994Origen: 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 Computing Theories and Application [recurso electrónico] : 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo. por Huang, De-Shuang [editor.] \| Jo, Kang-Hyun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9772Origen: 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 Centered Computing [recurso electrónico] : Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers / edited by Qiaohong Zu, Bo Hu. por Zu, Qiaohong [editor.] \| Hu, Bo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9567Origen: 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) .
		Mathematical Software ? ICMS 2016 [recurso electrónico] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / edited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese. por Greuel, Gert-Martin [editor.] \| Koch, Thorsten [editor.] \| Paule, Peter [editor.] \| Sommese, Andrew [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9725Origen: 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) .
		Rule Technologies. Research, Tools, and Applications [recurso electrónico] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman. por Alferes, Jose Julio [editor.] \| Bertossi, Leopoldo [editor.] \| Governatori, Guido [editor.] \| Fodor, Paul [editor.] \| Roman, Dumitru [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9718Origen: 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: Information Systems [recurso electrónico] : Third International Conference, HCIBGO 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II / 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 ; 9752Origen: 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) .
		Service-Oriented and Cloud Computing [recurso electrónico] : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings / edited by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski. por Aiello, Marco [editor.] \| Johnsen, Einar Broch [editor.] \| Dustdar, Schahram [editor.] \| Georgievski, Ilche [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9846Origen: 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) .
		Theoretical Aspects of Computing ? ICTAC 2016 [recurso electrónico] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24?31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang. por Sampaio, Augusto [editor.] \| Wang, Farn [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9965Origen: 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) .
		Integrated Uncertainty in Knowledge Modelling and Decision Making [recurso electrónico] : 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30- December 2, 2016, Proceedings / edited by Van-Nam Huynh, Masahiro Inuiguchi, Bac Le, Bao Nguyen Le, Thierry Denoeux. por Huynh, Van-Nam [editor.] \| Inuiguchi, Masahiro [editor.] \| Le, Bac [editor.] \| Le, Bao Nguyen [editor.] \| Denoeux, Thierry [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9978Origen: 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) .
		Scala: From a Functional Programming Perspective [recurso electrónico] : An Introduction to the Programming Language / by Vicenç Torra. por Torra, Vicenç [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9980Origen: 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 Semantic Web [recurso electrónico] : ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 ? June 2, 2016, Revised Selected Papers / edited by Harald Sack, Giuseppe Rizzo, Nadine Steinmetz, Dunja Mladeni?, Sören Auer, Christoph Lange. por Sack, Harald [editor.] \| Rizzo, Giuseppe [editor.] \| Steinmetz, Nadine [editor.] \| Mladeni?, Dunja [editor.] \| Auer, Sören [editor.] \| Lange, Christoph [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9989Origen: 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. Interaction Platforms and Techniques [recurso electrónico] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part II / edited by Masaaki Kurosu. por Kurosu, Masaaki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9732Origen: 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) .
		Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [recurso electrónico] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9953Origen: 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) .
		Semantics, Logics, and Calculi [recurso electrónico] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen. por Probst, Christian W [editor.] \| Hankin, Chris [editor.] \| Hansen, René Rydhof [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9560Edició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) .
		Information Technology in Bio- and Medical Informatics [recurso electrónico] : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings / edited by M. Elena Renda, Miroslav Bursa, Andreas Holzinger, Sami Khuri. por Renda, M. Elena [editor.] \| Bursa, Miroslav [editor.] \| Holzinger, Andreas [editor.] \| Khuri, Sami [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9832Origen: 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) .
		Geographic Information Science [recurso electrónico] : 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings / edited by Jennifer A. Miller, David O'Sullivan, Nancy Wiegand. por Miller, Jennifer A [editor.] \| O'Sullivan, David [editor.] \| Wiegand, Nancy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9927Origen: 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) .
		Progress in Cryptology ? INDOCRYPT 2016 [recurso electrónico] : 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings / edited by Orr Dunkelman, Somitra Kumar Sanadhya. por Dunkelman, Orr [editor.] \| Sanadhya, Somitra Kumar [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10095Origen: 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 Transformation [recurso electrónico] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings / edited by Rachid Echahed, Mark Minas. por Echahed, Rachid [editor.] \| Minas, Mark [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9761Origen: 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) .
		Programming Languages [recurso electrónico] : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings / edited by Fernando Castor, Yu David Liu. por Castor, Fernando [editor.] \| Liu, Yu David [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9889Origen: 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) .
		Persuasive Technology [recurso electrónico] : 11th International Conference, PERSUASIVE 2016, Salzburg, Austria, April 5-7, 2016, Proceedings / edited by Alexander Meschtscherjakov, Boris De Ruyter, Verena Fuchsberger, Martin Murer, Manfred Tscheligi. por Meschtscherjakov, Alexander [editor.] \| De Ruyter, Boris [editor.] \| Fuchsberger, Verena [editor.] \| Murer, Martin [editor.] \| Tscheligi, Manfred [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9638Origen: 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 Retrieval Technology [recurso electrónico] : 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China, November 30 ? December 2, 2016, Proceedings / edited by Shaoping Ma, Ji-Rong Wen, Yiqun Liu, Zhicheng Dou, Min Zhang, Yi Chang, Xin Zhao. por Ma, Shaoping [editor.] \| Wen, Ji-Rong [editor.] \| Liu, Yiqun [editor.] \| Dou, Zhicheng [editor.] \| Zhang, Min [editor.] \| Chang, Yi [editor.] \| Zhao, Xin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9994Origen: 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.