Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation [recurso electrónico] : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers / edited by Anna-Lena Lamprecht. por Lamprecht, Anna-Lena [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 683Origen: 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) .
|
|
|
|
|
|
Web-Age Information Management [recurso electrónico] : 17th International Conference, WAIM 2016, Nanchang, China, June 3-5, 2016, Proceedings, Part I / edited by Bin Cui, Nan Zhang, Jianliang Xu, Xiang Lian, Dexi Liu. por Cui, Bin [editor.] | Zhang, Nan [editor.] | Xu, Jianliang [editor.] | Lian, Xiang [editor.] | Liu, Dexi [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9658Origen: 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) .
|
|
|
|
|
|
Discovery Science [recurso electrónico] : 19th International Conference, DS 2016, Bari, Italy, October 19?21, 2016, Proceedings / edited by Toon Calders, Michelangelo Ceci, Donato Malerba. por Calders, Toon [editor.] | Ceci, Michelangelo [editor.] | Malerba, Donato [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9956Origen: 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) .
|
|
|
Knowledge Discovery, Knowledge Engineering and Knowledge Management [recurso electrónico] : 7th International Joint Conference, IC3K 2015, Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers / edited by Ana Fred, Jan L.G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe. por Fred, Ana [editor.] | Dietz, Jan L.G [editor.] | Aveiro, David [editor.] | Liu, Kecheng [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 631Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
Human Behavior Understanding [recurso electrónico] : 7th International Workshop, HBU 2016, Amsterdam, The Netherlands, October 16, 2016, Proceedings / edited by Mohamed Chetouani, Jeffrey Cohn, Albert Ali Salah. por Chetouani, Mohamed [editor.] | Cohn, Jeffrey [editor.] | Salah, Albert Ali [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9997Origen: 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) .
|
|
|
Trends and Applications in Knowledge Discovery and Data Mining [recurso electrónico] : PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, Revised Selected Papers / edited by Huiping Cao, Jinyan Li, Ruili Wang. por Cao, Huiping [editor.] | Li, Jinyan [editor.] | Wang, Ruili [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9794Origen: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Vision ? ECCV 2016 [recurso electrónico] : 14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part V / edited by Bastian Leibe, Jiri Matas, Nicu Sebe, Max Welling. por Leibe, Bastian [editor.] | Matas, Jiri [editor.] | Sebe, Nicu [editor.] | Welling, Max [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9909Origen: 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) .
|
|
|
|
|
|
|