Su búsqueda retornó 83 resultados. Suscribirse a esta búsqueda

|
Introduction to Reliable and Secure Distributed Programming [recurso electrónico] / by Christian Cachin, Rachid Guerraoui, Luís Rodrigues.

por Cachin, Christian [author.] | Guerraoui, Rachid [author.] | Rodrigues, Luís [author.] | SpringerLink (Online service).

Edición: 2.Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA76.9 .A43] (1).

iOS Forensic Analysis for iPhone, iPad, and iPod touch [recurso electrónico] / by Sean Morrissey.

por Morrissey, Sean [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berkeley, CA : Apress : Imprint: Apress, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA76.9 .A25] (1).

Job Scheduling Strategies for Parallel Processing [recurso electrónico] : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn.

por Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.758] (1).

Languages and Compilers for Parallel Computing [recurso electrónico] : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / edited by Xipeng Shen, Frank Mueller, James Tuck.

por Shen, Xipeng [editor.] | Mueller, Frank [editor.] | Tuck, James [editor.] | SpringerLink (Online service).

Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 (1).

Large-Scale Scientific Computing [recurso electrónico] : 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski.

por Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Wasniewski, Jerzy [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA297 -299.4] (1).

Linux for embedded and real-time applications [recurso electrónico] / Doug Abbott.

por Abbott, Doug, 1944-.

Edición: 3rd ed.Tipo de material: libro Libro; Formato: disponible en línea remoto; Forma literaria: No es ficción ; Audiencia: Especializado; Editor: Oxford : Newnes, 2012Acceso en línea: Libro electrónico ScienceDirect Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA76.76 .O63] (1).

Managing the Dynamics of Networks and Services [recurso electrónico] : 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings / edited by Isabelle Chrisment, Alva Couch, Rémi Badonnel, Martin Waldburger.

por Chrisment, Isabelle [editor.] | Couch, Alva [editor.] | Badonnel, Rémi [editor.] | Waldburger, Martin [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: TK5105.5 -5105.9] (1).

Mechanisms for Autonomous Management of Networks and Services [recurso electrónico] : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings / edited by Burkhard Stiller, Filip Turck.

por Stiller, Burkhard [editor.] | Turck, Filip [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: TK5105.5 -5105.9] (1).

Mobile Lightweight Wireless Systems [recurso electrónico] : Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers / edited by Periklis Chatzimisios, Christos Verikoukis, Ignacio Santamaría, Massimiliano Laddomada, Oliver Hoffmann.

por Chatzimisios, Periklis [editor.] | Verikoukis, Christos [editor.] | Santamaría, Ignacio [editor.] | Laddomada, Massimiliano [editor.] | Hoffmann, Oliver [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: TK5105.5 -5105.9] (1).

Model-Based Software Performance Analysis [recurso electrónico] / by Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi.

por Cortellessa, Vittorio [author.] | Di Marco, Antinisca [author.] | Inverardi, Paola [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.758] (1).

Models in Hardware Testing [recurso electrónico] : Lecture Notes of the Forum in Honor of Christian Landrault / edited by Hans-Joachim Wunderlich.

por Wunderlich, Hans-Joachim [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: TK7888.4] (1).

NASA Formal Methods [recurso electrónico] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi.

por Bobaru, Mihaela [editor.] | Havelund, Klaus [editor.] | Holzmann, Gerard J [editor.] | Joshi, Rajeev [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.758] (1).

NASA Formal Methods [recurso electrónico] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / edited by Sanjai Rayadurgam, Oksana Tkachuk.

por Rayadurgam, Sanjai [editor.] | Tkachuk, Oksana [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 (1).

Network and Parallel Computing [recurso electrónico] : IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings / edited by Chen Ding, Zhiyuan Shao, Ran Zheng.

por Ding, Chen [editor.] | Shao, Zhiyuan [editor.] | Zheng, Ran [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.6 -76.66] (1).

Network and Parallel Computing [recurso electrónico] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings / edited by Erik Altman, Weisong Shi.

por Altman, Erik [editor.] | Shi, Weisong [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.6 -76.66] (1).

Networks for Grid Applications [recurso electrónico] : Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers / edited by Anastasios Doulamis, Joe Mambretti, Ioannis Tomkos, Theodora Varvarigou.

por Doulamis, Anastasios [editor.] | Mambretti, Joe [editor.] | Tomkos, Ioannis [editor.] | Varvarigou, Theodora [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: TK5105.5 -5105.9] (1).

On the Performance of Web Services [recurso electrónico] / by Zahir Tari, Ann Khoi Anh Phan, Malith Jayasinghe, Vidura Gamini Abhaya.

por Tari, Zahir [author.] | Phan, Ann Khoi Anh [author.] | Jayasinghe, Malith [author.] | Abhaya, Vidura Gamini [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA76.76 .R44] (1).

Parallel Computing Technologies [recurso electrónico] : 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings / edited by Victor Malyshkin.

por Malyshkin, Victor [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.758] (1).

Peer-to-Peer Computing [recurso electrónico] : Principles and Applications / by Quang Hieu Vu, Mihai Lupu, Beng Chin Ooi.

por Vu, Quang Hieu [author.] | Lupu, Mihai [author.] | Ooi, Beng Chin [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: TK5105.5 -5105.9] (1).

Pervasive Computing [recurso electrónico] : 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings / edited by Patrik Floréen, Antonio Krüger, Mirjana Spasojevic.

por Floréen, Patrik [editor.] | Krüger, Antonio [editor.] | Spasojevic, Mirjana [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: TK5105.5 -5105.9] (1).

Con tecnología Koha