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

|
Euro-Par 2011 Parallel Processing [recurso electrónico] : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II / edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.

por Jeannot, Emmanuel [editor.] | Namyst, Raymond [editor.] | Roman, Jean [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: QA75.5 -76.95] (1).

Euro-Par 2011 Parallel Processing [recurso electrónico] : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I / edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.

por Jeannot, Emmanuel [editor.] | Namyst, Raymond [editor.] | Roman, Jean [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: QA75.5 -76.95] (1).

Formal Methods for Components and Objects [recurso electrónico] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel.

por Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Hallerstede, Stefan [editor.] | Leuschel, Michael [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).

High Performance Computing and Applications [recurso electrónico] : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers / edited by Wu Zhang, Zhangxin Chen, Craig C. Douglas, Weiqin Tong.

por Zhang, Wu [editor.] | Chen, Zhangxin [editor.] | Douglas, Craig C [editor.] | Tong, Weiqin [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: QA76.9 .E94] (1).

Information Security and Privacy [recurso electrónico] : 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings / edited by Udaya Parampalli, Philip Hawkes.

por Parampalli, Udaya [editor.] | Hawkes, Philip [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.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).

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).

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).

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).

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).

Post-Quantum Cryptography [recurso electrónico] : Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings / edited by Nicolas Sendrier.

por Sendrier, Nicolas [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.9 .A25] (1).

Progress in Cryptology – AFRICACRYPT 2010 [recurso electrónico] : Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010. Proceedings / edited by Daniel J. Bernstein, Tanja Lange.

por Bernstein, Daniel J [editor.] | Lange, Tanja [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.9 .A25] (1).

Progress in Cryptology – AFRICACRYPT 2011 [recurso electrónico] : 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011. Proceedings / edited by Abderrahmane Nitaj, David Pointcheval.

por Nitaj, Abderrahmane [editor.] | Pointcheval, David [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.9 .A25] (1).

Provenance and Annotation of Data and Processes [recurso electrónico] : Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010. Revised Selected Papers / edited by Deborah L. McGuinness, James R. Michaelis, Luc Moreau.

por McGuinness, Deborah L [editor.] | Michaelis, James R [editor.] | Moreau, Luc [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: QA75.5 -76.95] (1).

Con tecnología Koha