Resultados
|
|
Cloud Computing and Service Science [electronic resource] : 7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017, Revised Selected Papers / edited by Donald Ferguson, Víctor Méndez Muñoz, Jorge Cardoso, Markus Helfert, Claus Pahl. por Ferguson, Donald [editor.] | Muñoz, Víctor Méndez [editor.] | Cardoso, Jorge [editor.] | Helfert, Markus [editor.] | Pahl, Claus [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 864Edició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) .
|
|
|
|
|
|
Internet of Things (IoT) Technologies for HealthCare [electronic resource] : 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings / edited by Mobyen Uddin Ahmed, Shahina Begum, Jean-Baptiste Fasquel. por Ahmed, Mobyen Uddin [editor.] | Begum, Shahina [editor.] | Fasquel, Jean-Baptiste [editor.] | SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 225Edició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) .
|
|
|
Sensors and Microsystems [electronic resource] : Proceedings of the 19th AISEM 2017 National Conference / edited by Alessandro Leone, Angiola Forleo, Luca Francioso, Simona Capone, Pietro Siciliano, Corrado Di Natale. por Leone, Alessandro [editor.] | Forleo, Angiola [editor.] | Francioso, Luca [editor.] | Capone, Simona [editor.] | Siciliano, Pietro [editor.] | Di Natale, Corrado [editor.] | SpringerLink (Online service). Series Lecture Notes in Electrical Engineering ; 457Edició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) .
|
|
|
|
|
|
Software Technologies: Applications and Foundations [electronic resource] : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / edited by Manuel Mazzara, Iulian Ober, Gwen Salaün. por Mazzara, Manuel [editor.] | Ober, Iulian [editor.] | Salaün, Gwen [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 11176Edició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) .
|
|
|
Turbulence and Interactions [electronic resource] : Proceedings of the TI 2015 Conference, June 11-14, 2015, Cargèse, Corsica, France / edited by Michel O. Deville, Vincent Couaillier, Jean-Luc Estivalezes, Vincent Gleize, Thiên HiêpLê, Marc Terracol, Stéphane Vincent. por Deville, Michel O [editor.] | Couaillier, Vincent [editor.] | Estivalezes, Jean-Luc [editor.] | Gleize, Vincent [editor.] | HiêpLê, Thiên [editor.] | Terracol, Marc [editor.] | Vincent, Stéphane [editor.] | SpringerLink (Online service). Series Notes on Numerical Fluid Mechanics and Multidisciplinary Design ; 135Edició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) .
|
|
|
|
|
|
|
|
|
Particle Image Velocimetry [electronic resource] : A Practical Guide / by Markus Raffel, Christian E. Willert, Fulvio Scarano, Christian J. Kähler, Steve T. Wereley, Jürgen Kompenhans. por Raffel, Markus [author.] | Willert, Christian E [author.] | Scarano, Fulvio [author.] | Kähler, Christian J [author.] | Wereley, Steve T [author.] | Kompenhans, Jürgen [author.] | SpringerLink (Online service). Edición: 3rd 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) .
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings / edited by Christel Baier, Ugo Dal Lago. por Baier, Christel [editor.] | Dal Lago, Ugo [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10803Edició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 Education - Towards a Cybersecure Society [electronic resource] : 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings / edited by Lynette Drevin, Marianthi Theocharidou. por Drevin, Lynette [editor.] | Theocharidou, Marianthi [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 531Edició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) .
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I / edited by Dirk Beyer, Marieke Huisman. por Beyer, Dirk [editor.] | Huisman, Marieke [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10805Edició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) .
|
|
|
|
|
|
Computational Science and Its Applications - ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Elena Stankova, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, Yeonseung Ryu. por Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Stankova, Elena [editor.] | Torre, Carmelo M [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Tarantino, Eufemia [editor.] | Ryu, Yeonseung [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10960Edició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) .
|
|
|
|
|
|
|