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) .
|
|
|
Electronic Government and the Information Systems Perspective [electronic resource] : 7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3-5, 2018, Proceedings / edited by Andrea Kő, Enrico Francesconi. por Kő, Andrea [editor.] | Francesconi, Enrico [editor.] | SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11032Edició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) .
|
|
|
|
|
|
|
|
|
|
|
|
Detonation Control for Propulsion [electronic resource] : Pulse Detonation and Rotating Detonation Engines / edited by Jiun-Ming Li, Chiang Juay Teo, Boo Cheong Khoo, Jian-Ping Wang, Cheng Wang. por Li, Jiun-Ming [editor.] | Teo, Chiang Juay [editor.] | Khoo, Boo Cheong [editor.] | Wang, Jian-Ping [editor.] | Wang, Cheng [editor.] | SpringerLink (Online service). Series Shock Wave and High Pressure PhenomenaEdició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) .
|
|
|
|
|
|
Topics in Parallel and Distributed Computing [electronic resource] : Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms / edited by Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg, Alan Sussman, Charles Weems. por Prasad, Sushil K [editor.] | Gupta, Anshul [editor.] | Rosenberg, Arnold [editor.] | Sussman, Alan [editor.] | Weems, Charles [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: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|