Su búsqueda retornó 2235 resultados.

Resultados
		Information Security and Cryptology - ICISC 2015 [recurso electrónico] : 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised Selected Papers / edited by Soonhak Kwon, Aaram Yun. por Kwon, Soonhak [editor.] \| Yun, Aaram [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9558Edició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) .
		Medical Image Computing and Computer-Assisted Intervention ? MICCAI 2016 [recurso electrónico] : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part I / edited by Sebastien Ourselin, Leo Joskowicz, Mert R. Sabuncu, Gozde Unal, William Wells. por Ourselin, Sebastien [editor.] \| Joskowicz, Leo [editor.] \| Sabuncu, Mert R [editor.] \| Unal, Gozde [editor.] \| Wells, William [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9900Origen: 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 and Systems [recurso electrónico] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2?8, 2016, Proceedings / edited by Peter Thiemann. por Thiemann, Peter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9632Edició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) .
		Social Computing and Social Media [recurso electrónico] : 8th International Conference, SCSM 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17?22, 2016. Proceedings / edited by Gabriele Meiselwitz. por Meiselwitz, Gabriele [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9742Origen: 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) .
		Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996?2016) [recurso electrónico] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré. por Amblard, Maxime [editor.] \| de Groote, Philippe [editor.] \| Pogodalla, Sylvain [editor.] \| Retoré, Christian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10054Origen: 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) .
		Logics in Artificial Intelligence [recurso electrónico] : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / edited by Loizos Michael, Antonis Kakas. por Michael, Loizos [editor.] \| Kakas, Antonis [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10021Origen: 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) .
		Natural Language Processing and Information Systems [recurso electrónico] : 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings / edited by Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera. por Métais, Elisabeth [editor.] \| Meziane, Farid [editor.] \| Saraee, Mohamad [editor.] \| Sugumaran, Vijayan [editor.] \| Vadera, Sunil [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9612Origen: 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) .
		LATIN 2016: Theoretical Informatics [recurso electrónico] : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings / edited by Evangelos Kranakis, Gonzalo Navarro, Edgar Chávez. por Kranakis, Evangelos [editor.] \| Navarro, Gonzalo [editor.] \| Chávez, Edgar [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9644Edició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) .
		Multi-Agent Systems and Agreement Technologies [recurso electrónico] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / edited by Michael Rovatsos, George Vouros, Vicente Julian. por Rovatsos, Michael [editor.] \| Vouros, George [editor.] \| Julian, Vicente [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9571Origen: 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 Cryptology - CT-RSA 2016 [recurso electrónico] : The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings / edited by Kazue Sako. por Sako, Kazue [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9610Edició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 Data Engineering and Automated Learning ? IDEAL 2016 [recurso electrónico] : 17th International Conference, Yangzhou, China, October 12?14, 2016, Proceedings / edited by Hujun Yin, Yang Gao, Bin Li, Daoqiang Zhang, Ming Yang, Yun Li, Frank Klawonn, Antonio J. Tallón-Ballesteros. por Yin, Hujun [editor.] \| Gao, Yang [editor.] \| Li, Bin [editor.] \| Zhang, Daoqiang [editor.] \| Yang, Ming [editor.] \| Li, Yun [editor.] \| Klawonn, Frank [editor.] \| Tallón-Ballesteros, Antonio J [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9937Origen: 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) .
		Trustworthy Global Computing [recurso electrónico] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 ? September 1, 2015 Revised Selected Papers / edited by Pierre Ganty, Michele Loreti. por Ganty, Pierre [editor.] \| Loreti, Michele [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9533Edició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] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17?18, 2016, Revised Selected Papers / edited by Sandrine Blazy, Marsha Chechik. por Blazy, Sandrine [editor.] \| Chechik, Marsha [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9971Origen: 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) .
		Inductive Logic Programming [recurso electrónico] : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers / edited by Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto. por Inoue, Katsumi [editor.] \| Ohwada, Hayato [editor.] \| Yamamoto, Akihiro [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9575Origen: 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) .
		Hardware and Software: Verification and Testing [recurso electrónico] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / edited by Roderick Bloem, Eli Arbel. por Bloem, Roderick [editor.] \| Arbel, Eli [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10028Origen: 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) .
		Implementation and Application of Automata [recurso electrónico] : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / edited by Yo-Sub Han, Kai Salomaa. por Han, Yo-Sub [editor.] \| Salomaa, Kai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9705Origen: 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) .
		Innovative Security Solutions for Information Technology and Communications [recurso electrónico] : 9th International Conference, SECITC 2016, Bucharest, Romania, June 9-10, 2016, Revised Selected Papers / edited by Ion Bica, Reza Reyhanitabar. por Bica, Ion [editor.] \| Reyhanitabar, Reza [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10006Origen: 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) .
		Worldwide Language Service Infrastructure [recurso electrónico] : Second International Workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised Selected Papers / edited by Yohei Murakami, Donghui Lin. por Murakami, Yohei [editor.] \| Lin, Donghui [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9442Edició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) .
		Theory of Cryptography [recurso electrónico] : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II / edited by Martin Hirt, Adam Smith. por Hirt, Martin [editor.] \| Smith, Adam [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9986Origen: 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) .
		Inclusive Smart Cities and Digital Health [recurso electrónico] : 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings / edited by Carl K. Chang, Lorenzo Chiari, Yu Cao, Hai Jin, Mounir Mokhtari, Hamdi Aloulou. por Chang, Carl K [editor.] \| Chiari, Lorenzo [editor.] \| Cao, Yu [editor.] \| Jin, Hai [editor.] \| Mokhtari, Mounir [editor.] \| Aloulou, Hamdi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9677Origen: 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 Security and Cryptology - ICISC 2015 [recurso electrónico] : 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised Selected Papers / edited by Soonhak Kwon, Aaram Yun. por Kwon, Soonhak [editor.] \| Yun, Aaram [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9558Edició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) .
		Medical Image Computing and Computer-Assisted Intervention ? MICCAI 2016 [recurso electrónico] : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part I / edited by Sebastien Ourselin, Leo Joskowicz, Mert R. Sabuncu, Gozde Unal, William Wells. por Ourselin, Sebastien [editor.] \| Joskowicz, Leo [editor.] \| Sabuncu, Mert R [editor.] \| Unal, Gozde [editor.] \| Wells, William [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9900Origen: 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 and Systems [recurso electrónico] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2?8, 2016, Proceedings / edited by Peter Thiemann. por Thiemann, Peter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9632Edició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) .
		Social Computing and Social Media [recurso electrónico] : 8th International Conference, SCSM 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17?22, 2016. Proceedings / edited by Gabriele Meiselwitz. por Meiselwitz, Gabriele [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9742Origen: 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) .
		Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996?2016) [recurso electrónico] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré. por Amblard, Maxime [editor.] \| de Groote, Philippe [editor.] \| Pogodalla, Sylvain [editor.] \| Retoré, Christian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10054Origen: 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) .
		Logics in Artificial Intelligence [recurso electrónico] : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / edited by Loizos Michael, Antonis Kakas. por Michael, Loizos [editor.] \| Kakas, Antonis [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10021Origen: 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) .
		Natural Language Processing and Information Systems [recurso electrónico] : 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings / edited by Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera. por Métais, Elisabeth [editor.] \| Meziane, Farid [editor.] \| Saraee, Mohamad [editor.] \| Sugumaran, Vijayan [editor.] \| Vadera, Sunil [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9612Origen: 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) .
		LATIN 2016: Theoretical Informatics [recurso electrónico] : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings / edited by Evangelos Kranakis, Gonzalo Navarro, Edgar Chávez. por Kranakis, Evangelos [editor.] \| Navarro, Gonzalo [editor.] \| Chávez, Edgar [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9644Edició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) .
		Multi-Agent Systems and Agreement Technologies [recurso electrónico] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / edited by Michael Rovatsos, George Vouros, Vicente Julian. por Rovatsos, Michael [editor.] \| Vouros, George [editor.] \| Julian, Vicente [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9571Origen: 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 Cryptology - CT-RSA 2016 [recurso electrónico] : The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings / edited by Kazue Sako. por Sako, Kazue [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9610Edició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 Data Engineering and Automated Learning ? IDEAL 2016 [recurso electrónico] : 17th International Conference, Yangzhou, China, October 12?14, 2016, Proceedings / edited by Hujun Yin, Yang Gao, Bin Li, Daoqiang Zhang, Ming Yang, Yun Li, Frank Klawonn, Antonio J. Tallón-Ballesteros. por Yin, Hujun [editor.] \| Gao, Yang [editor.] \| Li, Bin [editor.] \| Zhang, Daoqiang [editor.] \| Yang, Ming [editor.] \| Li, Yun [editor.] \| Klawonn, Frank [editor.] \| Tallón-Ballesteros, Antonio J [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9937Origen: 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) .
		Trustworthy Global Computing [recurso electrónico] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 ? September 1, 2015 Revised Selected Papers / edited by Pierre Ganty, Michele Loreti. por Ganty, Pierre [editor.] \| Loreti, Michele [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9533Edició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] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17?18, 2016, Revised Selected Papers / edited by Sandrine Blazy, Marsha Chechik. por Blazy, Sandrine [editor.] \| Chechik, Marsha [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9971Origen: 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) .
		Inductive Logic Programming [recurso electrónico] : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers / edited by Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto. por Inoue, Katsumi [editor.] \| Ohwada, Hayato [editor.] \| Yamamoto, Akihiro [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9575Origen: 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) .
		Hardware and Software: Verification and Testing [recurso electrónico] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / edited by Roderick Bloem, Eli Arbel. por Bloem, Roderick [editor.] \| Arbel, Eli [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10028Origen: 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) .
		Implementation and Application of Automata [recurso electrónico] : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / edited by Yo-Sub Han, Kai Salomaa. por Han, Yo-Sub [editor.] \| Salomaa, Kai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9705Origen: 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) .
		Innovative Security Solutions for Information Technology and Communications [recurso electrónico] : 9th International Conference, SECITC 2016, Bucharest, Romania, June 9-10, 2016, Revised Selected Papers / edited by Ion Bica, Reza Reyhanitabar. por Bica, Ion [editor.] \| Reyhanitabar, Reza [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10006Origen: 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) .
		Worldwide Language Service Infrastructure [recurso electrónico] : Second International Workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised Selected Papers / edited by Yohei Murakami, Donghui Lin. por Murakami, Yohei [editor.] \| Lin, Donghui [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9442Edició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) .
		Theory of Cryptography [recurso electrónico] : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II / edited by Martin Hirt, Adam Smith. por Hirt, Martin [editor.] \| Smith, Adam [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9986Origen: 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) .
		Inclusive Smart Cities and Digital Health [recurso electrónico] : 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings / edited by Carl K. Chang, Lorenzo Chiari, Yu Cao, Hai Jin, Mounir Mokhtari, Hamdi Aloulou. por Chang, Carl K [editor.] \| Chiari, Lorenzo [editor.] \| Cao, Yu [editor.] \| Jin, Hai [editor.] \| Mokhtari, Mounir [editor.] \| Aloulou, Hamdi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9677Origen: 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.