Resultados
|
|
|
|
|
|
|
|
Euro-Par 2017: Parallel Processing Workshops [electronic resource] : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers / edited by Dora B. Heras, Luc Bougé, Gabriele Mencagli, Emmanuel Jeannot, Rizos Sakellariou, Rosa M. Badia, Jorge G. Barbosa, Laura Ricci, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer. por Heras, Dora B [editor.] | Bougé, Luc [editor.] | Mencagli, Gabriele [editor.] | Jeannot, Emmanuel [editor.] | Sakellariou, Rizos [editor.] | Badia, Rosa M [editor.] | Barbosa, Jorge G [editor.] | Ricci, Laura [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Weidendorfer, Josef [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10659Edició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) .
|
|
|
|
|
|
Information Security Applications [electronic resource] : 18th International Conference, WISA 2017, Jeju Island, Korea, August 24-26, 2017, Revised Selected Papers / edited by Brent ByungHoon Kang, Taesoo Kim. por Kang, Brent ByungHoon [editor.] | Kim, Taesoo [editor.] | SpringerLink (Online service). Series Security and Cryptology ; 10763Edició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) .
|
|
|
|
|
|
Tests and Proofs [electronic resource] : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Catherine Dubois, Burkhart Wolff. por Dubois, Catherine [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 10889Edició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) .
|
|
|
Information Security Applications [electronic resource] : 18th International Conference, WISA 2017, Jeju Island, Korea, August 24-26, 2017, Revised Selected Papers / edited by Brent ByungHoon Kang, Taesoo Kim. por Kang, Brent ByungHoon [editor.] | Kim, Taesoo [editor.] | SpringerLink (Online service). Series Security and Cryptology ; 10763Edició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) .
|
|
|
|
|
|
Generalized Models and Non-classical Approaches in Complex Materials 2 [electronic resource] / edited by Holm Altenbach, Joël Pouget, Martine Rousseau, Bernard Collet, Thomas Michelitsch. por Altenbach, Holm [editor.] | Pouget, Joël [editor.] | Rousseau, Martine [editor.] | Collet, Bernard [editor.] | Michelitsch, Thomas [editor.] | SpringerLink (Online service). Series Advanced Structured Materials ; 90Edició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) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2018 [electronic resource] : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / edited by Olaf Beyersdorff, Christoph M. Wintersteiger. por Beyersdorff, Olaf [editor.] | Wintersteiger, Christoph M [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10929Edició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) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|