Su búsqueda retornó 5913 resultados.

Resultados
		Intelligent Computing Theories and Application [electronic resource] : 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo, Xiao-Long Zhang. por Huang, De-Shuang [editor.] \| Jo, Kang-Hyun [editor.] \| Zhang, Xiao-Long [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10955Edició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) .
		Rules and Reasoning [electronic resource] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman. por Benzmüller, Christoph [editor.] \| Ricca, Francesco [editor.] \| Parent, Xavier [editor.] \| Roman, Dumitru [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11092Edició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 VII / 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 ; 11211Edició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) .
		Intelligent Robotics and Applications [electronic resource] : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018, Proceedings, Part II / edited by Zhiyong Chen, Alexandre Mendes, Yamin Yan, Shifeng Chen. por Chen, Zhiyong [editor.] \| Mendes, Alexandre [editor.] \| Yan, Yamin [editor.] \| Chen, Shifeng [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10985Edició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) .
		Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, Proceedings / edited by Gennady Agre, Josef van Genabith, Thierry Declerck. por Agre, Gennady [editor.] \| van Genabith, Josef [editor.] \| Declerck, Thierry [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11089Edició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) .
		Information Security Practice and Experience [electronic resource] : 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings / edited by Chunhua Su, Hiroaki Kikuchi. por Su, Chunhua [editor.] \| Kikuchi, Hiroaki [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 11125Edició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) .
		Supervised Descriptive Pattern Mining [electronic resource] / by Sebastián Ventura, José María Luna. por Ventura, Sebastián [author.] \| Luna, José María [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) .
		Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part V / edited by Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa. por Cheng, Long [editor.] \| Leung, Andrew Chi Sing [editor.] \| Ozawa, Seiichi [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11305Edició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) .
		Machine Learning for Medical Image Reconstruction [electronic resource] : First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / edited by Florian Knoll, Andreas Maier, Daniel Rueckert. por Knoll, Florian [editor.] \| Maier, Andreas [editor.] \| Rueckert, Daniel [editor.] \| SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11074Edició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) .
		Future Data and Security Engineering [electronic resource] : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28-30, 2018, Proceedings / edited by Tran Khanh Dang, Josef Küng, Roland Wagner, Nam Thoai, Makoto Takizawa. por Dang, Tran Khanh [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Thoai, Nam [editor.] \| Takizawa, Makoto [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11251Edició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) .
		Transforming Digital Worlds [electronic resource] : 13th International Conference, iConference 2018, Sheffield, UK, March 25-28, 2018, Proceedings / edited by Gobinda Chowdhury, Julie McLeod, Val Gillet, Peter Willett. por Chowdhury, Gobinda [editor.] \| McLeod, Julie [editor.] \| Gillet, Val [editor.] \| Willett, Peter [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10766Edició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) .
		Artificial Life and Intelligent Agents [electronic resource] : Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers / edited by Peter R. Lewis, Christopher J. Headleand, Steve Battle, Panagiotis D. Ritsos. por Lewis, Peter R [editor.] \| Headleand, Christopher J [editor.] \| Battle, Steve [editor.] \| Ritsos, Panagiotis D [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 732Edició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) .
		Pattern Recognition and Computer Vision [electronic resource] : First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part I / edited by Jian-Huang Lai, Cheng-Lin Liu, Xilin Chen, Jie Zhou, Tieniu Tan, Nanning Zheng, Hongbin Zha. por Lai, Jian-Huang [editor.] \| Liu, Cheng-Lin [editor.] \| Chen, Xilin [editor.] \| Zhou, Jie [editor.] \| Tan, Tieniu [editor.] \| Zheng, Nanning [editor.] \| Zha, Hongbin [editor.] \| SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11256Edició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) .
		Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11244Edició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) .
		Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11245Edició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) .
		Future Data and Security Engineering [electronic resource] : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28-30, 2018, Proceedings / edited by Tran Khanh Dang, Josef Küng, Roland Wagner, Nam Thoai, Makoto Takizawa. por Dang, Tran Khanh [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Thoai, Nam [editor.] \| Takizawa, Makoto [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11251Edició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) .
		Logical Foundations of Cyber-Physical Systems [electronic resource] / by André Platzer. por Platzer, André [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) .
		No hay imagen de cubierta disponible Methodologies and Application Issues of Contemporary Computing Framework [electronic resource] / edited by Jyotsna Kumar Mandal, Somnath Mukhopadhyay, Paramartha Dutta, Kousik Dasgupta. por Mandal, Jyotsna Kumar [editor.] \| Mukhopadhyay, Somnath [editor.] \| Dutta, Paramartha [editor.] \| Dasgupta, Kousik [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) .
		Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11245Edició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) .
		Symposium on Real-Time and Hybrid Systems [electronic resource] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / edited by Cliff Jones, Ji Wang, Naijun Zhan. por Jones, Cliff [editor.] \| Wang, Ji [editor.] \| Zhan, Naijun [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11180Edició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) .

		Intelligent Computing Theories and Application [electronic resource] : 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo, Xiao-Long Zhang. por Huang, De-Shuang [editor.] \| Jo, Kang-Hyun [editor.] \| Zhang, Xiao-Long [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10955Edició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) .
		Rules and Reasoning [electronic resource] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman. por Benzmüller, Christoph [editor.] \| Ricca, Francesco [editor.] \| Parent, Xavier [editor.] \| Roman, Dumitru [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11092Edició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 VII / 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 ; 11211Edició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) .
		Intelligent Robotics and Applications [electronic resource] : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018, Proceedings, Part II / edited by Zhiyong Chen, Alexandre Mendes, Yamin Yan, Shifeng Chen. por Chen, Zhiyong [editor.] \| Mendes, Alexandre [editor.] \| Yan, Yamin [editor.] \| Chen, Shifeng [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10985Edició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) .
		Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, Proceedings / edited by Gennady Agre, Josef van Genabith, Thierry Declerck. por Agre, Gennady [editor.] \| van Genabith, Josef [editor.] \| Declerck, Thierry [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11089Edició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) .
		Information Security Practice and Experience [electronic resource] : 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings / edited by Chunhua Su, Hiroaki Kikuchi. por Su, Chunhua [editor.] \| Kikuchi, Hiroaki [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 11125Edició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) .
		Supervised Descriptive Pattern Mining [electronic resource] / by Sebastián Ventura, José María Luna. por Ventura, Sebastián [author.] \| Luna, José María [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) .
		Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part V / edited by Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa. por Cheng, Long [editor.] \| Leung, Andrew Chi Sing [editor.] \| Ozawa, Seiichi [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11305Edició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) .
		Machine Learning for Medical Image Reconstruction [electronic resource] : First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / edited by Florian Knoll, Andreas Maier, Daniel Rueckert. por Knoll, Florian [editor.] \| Maier, Andreas [editor.] \| Rueckert, Daniel [editor.] \| SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11074Edició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) .
		Future Data and Security Engineering [electronic resource] : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28-30, 2018, Proceedings / edited by Tran Khanh Dang, Josef Küng, Roland Wagner, Nam Thoai, Makoto Takizawa. por Dang, Tran Khanh [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Thoai, Nam [editor.] \| Takizawa, Makoto [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11251Edició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) .
		Transforming Digital Worlds [electronic resource] : 13th International Conference, iConference 2018, Sheffield, UK, March 25-28, 2018, Proceedings / edited by Gobinda Chowdhury, Julie McLeod, Val Gillet, Peter Willett. por Chowdhury, Gobinda [editor.] \| McLeod, Julie [editor.] \| Gillet, Val [editor.] \| Willett, Peter [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10766Edició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) .
		Artificial Life and Intelligent Agents [electronic resource] : Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers / edited by Peter R. Lewis, Christopher J. Headleand, Steve Battle, Panagiotis D. Ritsos. por Lewis, Peter R [editor.] \| Headleand, Christopher J [editor.] \| Battle, Steve [editor.] \| Ritsos, Panagiotis D [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 732Edició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) .
		Pattern Recognition and Computer Vision [electronic resource] : First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part I / edited by Jian-Huang Lai, Cheng-Lin Liu, Xilin Chen, Jie Zhou, Tieniu Tan, Nanning Zheng, Hongbin Zha. por Lai, Jian-Huang [editor.] \| Liu, Cheng-Lin [editor.] \| Chen, Xilin [editor.] \| Zhou, Jie [editor.] \| Tan, Tieniu [editor.] \| Zheng, Nanning [editor.] \| Zha, Hongbin [editor.] \| SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11256Edició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) .
		Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11244Edició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) .
		Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11245Edició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) .
		Future Data and Security Engineering [electronic resource] : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28-30, 2018, Proceedings / edited by Tran Khanh Dang, Josef Küng, Roland Wagner, Nam Thoai, Makoto Takizawa. por Dang, Tran Khanh [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Thoai, Nam [editor.] \| Takizawa, Makoto [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11251Edició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) .
		Logical Foundations of Cyber-Physical Systems [electronic resource] / by André Platzer. por Platzer, André [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) .
		No hay imagen de cubierta disponible Methodologies and Application Issues of Contemporary Computing Framework [electronic resource] / edited by Jyotsna Kumar Mandal, Somnath Mukhopadhyay, Paramartha Dutta, Kousik Dasgupta. por Mandal, Jyotsna Kumar [editor.] \| Mukhopadhyay, Somnath [editor.] \| Dutta, Paramartha [editor.] \| Dasgupta, Kousik [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) .
		Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11245Edició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) .
		Symposium on Real-Time and Hybrid Systems [electronic resource] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / edited by Cliff Jones, Ji Wang, Naijun Zhan. por Jones, Cliff [editor.] \| Wang, Ji [editor.] \| Zhan, Naijun [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11180Edició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.