Resultados
|
|
Theoretical Aspects of Computing ? ICTAC 2016 [recurso electrónico] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24?31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang. por Sampaio, Augusto [editor.] | Wang, Farn [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9965Origen: 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: Discussion, Dissemination, Applications [recurso electrónico] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9953Origen: 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) .
|
|
|
Computational Science and Its Applications -- ICCSA 2016 [recurso electrónico] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang. por Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A.C [editor.] | Torre, Carmelo M [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Wang, Shangguang [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9788Origen: 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) .
|
|
|
Open Source Systems: Integrating Communities [recurso electrónico] : 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedings / edited by Kevin Crowston, Imed Hammouda, Björn Lundell, Gregorio Robles, Jonas Gamalielsson, Juho Lindman. por Crowston, Kevin [editor.] | Hammouda, Imed [editor.] | Lundell, Björn [editor.] | Robles, Gregorio [editor.] | Gamalielsson, Jonas [editor.] | Lindman, Juho [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 472Origen: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
Mobility Management [recurso electrónico] : Principle, Technology and Applications / by Shanzhi Chen, Yan Shi, Bo Hu, Ming Ai. por Chen, Shanzhi [author.] | Shi, Yan [author.] | Hu, Bo [author.] | Ai, Ming [author.] | SpringerLink (Online service). Series Signals and Communication TechnologyOrigen: 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) .
|
|
|
|
|
|
|