Resultados
|
|
Computational Topology in Image Context [recurso electrónico] : 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings / edited by Alexandra Bac, Jean-Luc Mari. por Bac, Alexandra [editor.] | Mari, Jean-Luc [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9667Origen: 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 Aided Systems Theory - EUROCAST 2017 [electronic resource] : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. por Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10672Edició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 Aided Systems Theory - EUROCAST 2017 [electronic resource] : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. por Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10671Edició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 Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] | Weissenbacher, Georg [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10982Edició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 Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] | Weissenbacher, Georg [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10981Edició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 Algebra in Scientific Computing [recurso electrónico] : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. por Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9890Origen: 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 and Computing Technologies in Agriculture III [recurso electrónico] : Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers / edited by Daoliang Li, Chunjiang Zhao. por Li, Daoliang [editor.] | Zhao, Chunjiang [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 317Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK7874.6.
|
|
|
Computer and Computing Technologies in Agriculture IV [recurso electrónico] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I / edited by Daoliang Li, Yande Liu, Yingyi Chen. por Li, Daoliang [editor.] | Liu, Yande [editor.] | Chen, Yingyi [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 344Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
|
|
|
Computer and Computing Technologies in Agriculture IV [recurso electrónico] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II / edited by Daoliang Li, Yande Liu, Yingyi Chen. por Li, Daoliang [editor.] | Liu, Yande [editor.] | Chen, Yingyi [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 345Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
|
|
|
Computer and Computing Technologies in Agriculture IV [recurso electrónico] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV / edited by Daoliang Li, Yande Liu, Yingyi Chen. por Li, Daoliang [editor.] | Liu, Yande [editor.] | Chen, Yingyi [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 347Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
|
|
|
Computer Information Systems and Industrial Management [recurso electrónico] : 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings / edited by Khalid Saeed, W?adys?aw Homenda. por Saeed, Khalid [editor.] | Homenda, W?adys?aw [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9842Origen: 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 Performance Engineering [recurso electrónico] : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / edited by Dieter Fiems, Marco Paolieri, Agapios N. Platis. por Fiems, Dieter [editor.] | Paolieri, Marco [editor.] | Platis, Agapios N [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9951Origen: 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) .
|
|
|
|
|
|
|
|
|
Conceptual Modeling [recurso electrónico] : 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings / edited by Isabelle Comyn-Wattiau, Katsumi Tanaka, Il-Yeol Song, Shuichiro Yamamoto, Motoshi Saeki. por Comyn-Wattiau, Isabelle [editor.] | Tanaka, Katsumi [editor.] | Song, Il-Yeol [editor.] | Yamamoto, Shuichiro [editor.] | Saeki, Motoshi [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9974Origen: 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) .
|
|
|
|
|
|
|
|
|
Critical Infrastructure Protection X [recurso electrónico] : 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers / edited by Mason Rice, Sujeet Shenoi. por Rice, Mason [editor.] | Shenoi, Sujeet [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 485Origen: 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) .
|
|
|
Data Mining and Constraint Programming [recurso electrónico] : Foundations of a Cross-Disciplinary Approach / edited by Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi. por Bessiere, Christian [editor.] | De Raedt, Luc [editor.] | Kotthoff, Lars [editor.] | Nijssen, Siegfried [editor.] | O'Sullivan, Barry [editor.] | Pedreschi, Dino [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10101Origen: 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) .
|
|
|
Database Theory and Application, Bio-Science and Bio-Technology [recurso electrónico] : International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Yanchun Zhang, Alfredo Cuzzocrea, Jianhua Ma, Kyo-il Chung, Tughrul Arslan, Xiaofeng Song. por Zhang, Yanchun [editor.] | Cuzzocrea, Alfredo [editor.] | Ma, Jianhua [editor.] | Chung, Kyo-il [editor.] | Arslan, Tughrul [editor.] | Song, Xiaofeng [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 118Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .C65.
|