Su búsqueda retornó 5913 resultados.

Resultados
		Formal Methods [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink. por Havelund, Klaus [editor.] \| Peleska, Jan [editor.] \| Roscoe, Bill [editor.] \| de Vink, Erik [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10951Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Knowledge Management and Acquisition for Intelligent Systems [electronic resource] : 15th Pacific Rim Knowledge Acquisition Workshop, PKAW 2018, Nanjing, China, August 28-29, 2018, Proceedings / edited by Kenichi Yoshida, Maria Lee. por Yoshida, Kenichi [editor.] \| Lee, Maria [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11016Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		PRICAI 2018: Trends in Artificial Intelligence [electronic resource] : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28-31, 2018, Proceedings, Part I / edited by Xin Geng, Byeong-Ho Kang. por Geng, Xin [editor.] \| Kang, Byeong-Ho [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11012Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Wireless and Satellite Systems [electronic resource] : 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings / edited by Prashant Pillai, Kandeepan Sithamparanathan, Giovanni Giambene, Miguel Ángel Vázquez, Paul Daniel Mitchell. por Pillai, Prashant [editor.] \| Sithamparanathan, Kandeepan [editor.] \| Giambene, Giovanni [editor.] \| Vázquez, Miguel Ángel [editor.] \| Mitchell, Paul Daniel [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 231Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		No hay imagen de cubierta disponible Multi-Objective Optimization [electronic resource] : Evolutionary to Hybrid Framework / edited by Jyotsna K. Mandal, Somnath Mukhopadhyay, Paramartha Dutta. por Mandal, Jyotsna K [editor.] \| Mukhopadhyay, Somnath [editor.] \| Dutta, Paramartha [editor.] \| SpringerLink (Online service). Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Mobile Big Data [electronic resource] / by Xiang Cheng, Luoyang Fang, Liuqing Yang, Shuguang Cui. por Cheng, Xiang [author.] \| Fang, Luoyang [author.] \| Yang, Liuqing [author.] \| Cui, Shuguang [author.] \| SpringerLink (Online service). Series Wireless NetworksEdición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computational Collective Intelligence [electronic resource] : 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II / edited by Ngoc Thanh Nguyen, Elias Pimenidis, Zaheer Khan, Bogdan Trawiński. por Nguyen, Ngoc Thanh [editor.] \| Pimenidis, Elias [editor.] \| Khan, Zaheer [editor.] \| Trawiński, Bogdan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11056Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The NIPS '17 Competition: Building Intelligent Systems [electronic resource] / edited by Sergio Escalera, Markus Weimer. por Escalera, Sergio [editor.] \| Weimer, Markus [editor.] \| SpringerLink (Online service). Series The Springer Series on Challenges in Machine LearningEdición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computer Vision - ECCV 2018 [electronic resource] : 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part I / edited by Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss. por Ferrari, Vittorio [editor.] \| Hebert, Martial [editor.] \| Sminchisescu, Cristian [editor.] \| Weiss, Yair [editor.] \| SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11205Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Robotics Research [electronic resource] : Volume 2 / edited by Antonio Bicchi, Wolfram Burgard. por Bicchi, Antonio [editor.] \| Burgard, Wolfram [editor.] \| SpringerLink (Online service). Series Springer Proceedings in Advanced Robotics ; 3Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computer Vision - ECCV 2018 [electronic resource] : 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part VI / edited by Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss. por Ferrari, Vittorio [editor.] \| Hebert, Martial [editor.] \| Sminchisescu, Cristian [editor.] \| Weiss, Yair [editor.] \| SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11210Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Web Information Systems Engineering - WISE 2018 [electronic resource] : 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I / edited by Hakim Hacid, Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou. por Hacid, Hakim [editor.] \| Hacid, Hakim [editor.] \| Cellary, Wojciech [editor.] \| Wang, Hua [editor.] \| Paik, Hye-Young [editor.] \| Zhou, Rui [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11233Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Programming Languages and Systems [electronic resource] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings / edited by Sukyoung Ryu. por Ryu, Sukyoung [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11275Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz. por Dutle, Aaron [editor.] \| Muñoz, César [editor.] \| Narkawicz, Anthony [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10811Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Shape in Medical Imaging [electronic resource] : International Workshop, ShapeMI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / edited by Martin Reuter, Christian Wachinger, Hervé Lombaert, Beatriz Paniagua, Marcel Lüthi, Bernhard Egger. por Reuter, Martin [editor.] \| Wachinger, Christian [editor.] \| Lombaert, Hervé [editor.] \| Paniagua, Beatriz [editor.] \| Lüthi, Marcel [editor.] \| Egger, Bernhard [editor.] \| SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11167Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz. por Dutle, Aaron [editor.] \| Muñoz, César [editor.] \| Narkawicz, Anthony [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10811Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods for Nonmonotonic and Related Logics [electronic resource] : Vol II: Theory Revision, Inheritance, and Various Abstract Properties / by Karl Schlechta. por Schlechta, Karl [author.] \| SpringerLink (Online service). Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods for Nonmonotonic and Related Logics [electronic resource] : Vol I: Preference and Size / by Karl Schlechta. por Schlechta, Karl [author.] \| SpringerLink (Online service). Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Recent Trends and Future Technology in Applied Intelligence [electronic resource] : 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings / edited by Malek Mouhoub, Samira Sadaoui, Otmane Ait Mohamed, Moonis Ali. por Mouhoub, Malek [editor.] \| Sadaoui, Samira [editor.] \| Ait Mohamed, Otmane [editor.] \| Ali, Moonis [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10868Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Innovations in Bio-Inspired Computing and Applications [electronic resource] : Proceedings of the 8th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2017) held in Marrakech, Morocco, December 11-13, 2017 / edited by Ajith Abraham, Abdelkrim Haqiq, Azah Kamilah Muda, Niketa Gandhi. por Abraham, Ajith [editor.] \| Haqiq, Abdelkrim [editor.] \| Muda, Azah Kamilah [editor.] \| Gandhi, Niketa [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 735Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

		Formal Methods [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink. por Havelund, Klaus [editor.] \| Peleska, Jan [editor.] \| Roscoe, Bill [editor.] \| de Vink, Erik [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10951Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Knowledge Management and Acquisition for Intelligent Systems [electronic resource] : 15th Pacific Rim Knowledge Acquisition Workshop, PKAW 2018, Nanjing, China, August 28-29, 2018, Proceedings / edited by Kenichi Yoshida, Maria Lee. por Yoshida, Kenichi [editor.] \| Lee, Maria [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11016Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		PRICAI 2018: Trends in Artificial Intelligence [electronic resource] : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28-31, 2018, Proceedings, Part I / edited by Xin Geng, Byeong-Ho Kang. por Geng, Xin [editor.] \| Kang, Byeong-Ho [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11012Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Wireless and Satellite Systems [electronic resource] : 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings / edited by Prashant Pillai, Kandeepan Sithamparanathan, Giovanni Giambene, Miguel Ángel Vázquez, Paul Daniel Mitchell. por Pillai, Prashant [editor.] \| Sithamparanathan, Kandeepan [editor.] \| Giambene, Giovanni [editor.] \| Vázquez, Miguel Ángel [editor.] \| Mitchell, Paul Daniel [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 231Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		No hay imagen de cubierta disponible Multi-Objective Optimization [electronic resource] : Evolutionary to Hybrid Framework / edited by Jyotsna K. Mandal, Somnath Mukhopadhyay, Paramartha Dutta. por Mandal, Jyotsna K [editor.] \| Mukhopadhyay, Somnath [editor.] \| Dutta, Paramartha [editor.] \| SpringerLink (Online service). Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Mobile Big Data [electronic resource] / by Xiang Cheng, Luoyang Fang, Liuqing Yang, Shuguang Cui. por Cheng, Xiang [author.] \| Fang, Luoyang [author.] \| Yang, Liuqing [author.] \| Cui, Shuguang [author.] \| SpringerLink (Online service). Series Wireless NetworksEdición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computational Collective Intelligence [electronic resource] : 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II / edited by Ngoc Thanh Nguyen, Elias Pimenidis, Zaheer Khan, Bogdan Trawiński. por Nguyen, Ngoc Thanh [editor.] \| Pimenidis, Elias [editor.] \| Khan, Zaheer [editor.] \| Trawiński, Bogdan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11056Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The NIPS '17 Competition: Building Intelligent Systems [electronic resource] / edited by Sergio Escalera, Markus Weimer. por Escalera, Sergio [editor.] \| Weimer, Markus [editor.] \| SpringerLink (Online service). Series The Springer Series on Challenges in Machine LearningEdición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computer Vision - ECCV 2018 [electronic resource] : 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part I / edited by Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss. por Ferrari, Vittorio [editor.] \| Hebert, Martial [editor.] \| Sminchisescu, Cristian [editor.] \| Weiss, Yair [editor.] \| SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11205Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Robotics Research [electronic resource] : Volume 2 / edited by Antonio Bicchi, Wolfram Burgard. por Bicchi, Antonio [editor.] \| Burgard, Wolfram [editor.] \| SpringerLink (Online service). Series Springer Proceedings in Advanced Robotics ; 3Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computer Vision - ECCV 2018 [electronic resource] : 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part VI / edited by Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss. por Ferrari, Vittorio [editor.] \| Hebert, Martial [editor.] \| Sminchisescu, Cristian [editor.] \| Weiss, Yair [editor.] \| SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11210Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Web Information Systems Engineering - WISE 2018 [electronic resource] : 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I / edited by Hakim Hacid, Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou. por Hacid, Hakim [editor.] \| Hacid, Hakim [editor.] \| Cellary, Wojciech [editor.] \| Wang, Hua [editor.] \| Paik, Hye-Young [editor.] \| Zhou, Rui [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11233Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Programming Languages and Systems [electronic resource] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings / edited by Sukyoung Ryu. por Ryu, Sukyoung [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11275Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz. por Dutle, Aaron [editor.] \| Muñoz, César [editor.] \| Narkawicz, Anthony [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10811Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Shape in Medical Imaging [electronic resource] : International Workshop, ShapeMI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / edited by Martin Reuter, Christian Wachinger, Hervé Lombaert, Beatriz Paniagua, Marcel Lüthi, Bernhard Egger. por Reuter, Martin [editor.] \| Wachinger, Christian [editor.] \| Lombaert, Hervé [editor.] \| Paniagua, Beatriz [editor.] \| Lüthi, Marcel [editor.] \| Egger, Bernhard [editor.] \| SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11167Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz. por Dutle, Aaron [editor.] \| Muñoz, César [editor.] \| Narkawicz, Anthony [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10811Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods for Nonmonotonic and Related Logics [electronic resource] : Vol II: Theory Revision, Inheritance, and Various Abstract Properties / by Karl Schlechta. por Schlechta, Karl [author.] \| SpringerLink (Online service). Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods for Nonmonotonic and Related Logics [electronic resource] : Vol I: Preference and Size / by Karl Schlechta. por Schlechta, Karl [author.] \| SpringerLink (Online service). Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Recent Trends and Future Technology in Applied Intelligence [electronic resource] : 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings / edited by Malek Mouhoub, Samira Sadaoui, Otmane Ait Mohamed, Moonis Ali. por Mouhoub, Malek [editor.] \| Sadaoui, Samira [editor.] \| Ait Mohamed, Otmane [editor.] \| Ali, Moonis [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10868Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Innovations in Bio-Inspired Computing and Applications [electronic resource] : Proceedings of the 8th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2017) held in Marrakech, Morocco, December 11-13, 2017 / edited by Ajith Abraham, Abdelkrim Haqiq, Azah Kamilah Muda, Niketa Gandhi. por Abraham, Ajith [editor.] \| Haqiq, Abdelkrim [editor.] \| Muda, Azah Kamilah [editor.] \| Gandhi, Niketa [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 735Edición: 1st ed. 2018.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, 2018Acceso 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

Lugares

Tópicos

Su búsqueda retornó 5913 resultados.