Resultados
|
|
|
|
|
Research and Advanced Technology for Digital Libraries [recurso electrónico] : 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, Hannover, Germany, September 5?9, 2016, Proceedings / edited by Norbert Fuhr, László Kovács, Thomas Risse, Wolfgang Nejdl. por Fuhr, Norbert [editor.] | Kovács, László [editor.] | Risse, Thomas [editor.] | Nejdl, Wolfgang [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9819Origen: 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) .
|
|
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [recurso electrónico] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10?14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9952Origen: 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) .
|
|
|
Robotics [recurso electrónico] : 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlândia, Brazil, October 28 - November 1, 2015, Revised Selected Papers / edited by Fernando Santos Osório, Rogério Sales Gonçalves. por Santos Osório, Fernando [editor.] | Sales Gonçalves, Rogério [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 619Origen: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
Discrete Geometry for Computer Imagery [recurso electrónico] : 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings / edited by Nicolas Normand, Jeanpierre Guédon, Florent Autrusseau. por Normand, Nicolas [editor.] | Guédon, Jeanpierre [editor.] | Autrusseau, Florent [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9647Origen: 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) .
|
|
|
Stability and Synchronization Control of Stochastic Neural Networks [recurso electrónico] / by Wuneng Zhou, Jun Yang, Liuwei Zhou, Dongbing Tong. por Zhou, Wuneng [author.] | Yang, Jun [author.] | Zhou, Liuwei [author.] | Tong, Dongbing [author.] | SpringerLink (Online service). Series Studies in Systems, Decision and Control ; 35Edició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) .
|
|
|
|
|
|
Computer Vision ? ECCV 2016 [recurso electrónico] : 14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part II / 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 ; 9906Origen: 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) .
|
|
|
Automatic Processing of Natural-Language Electronic Texts with NooJ [recurso electrónico] : 9th International Conference, NooJ 2015, Minsk, Belarus, June 11-13, 2015, Revised Selected Papers / edited by Tatsiana Okrut, Yuras Hetsevich, Max Silberztein, Hanna Stanislavenka. por Okrut, Tatsiana [editor.] | Hetsevich, Yuras [editor.] | Silberztein, Max [editor.] | Stanislavenka, Hanna [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 607Origen: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
Software Technologies: Applications and Foundations [recurso electrónico] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer. por Milazzo, Paolo [editor.] | Varró, Dániel [editor.] | Wimmer, Manuel [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9946Origen: 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) .
|
|
|
|
|
|
|
|
|
|