Resultados
|
|
1.
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II / edited by Rocco Aversa, Joanna Koodziej, Jun Zhang, Flora Amato, Giancarlo Fortino. por Series Lecture Notes in Computer Science ; 8286 | Lecture Notes in Computer Science ; 8286
Tipo de material:  Texto; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2013Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
|
|
|
3.
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I / edited by Joanna Koodziej, Beniamino Martino, Domenico Talia, Kaiqi Xiong. por Series Lecture Notes in Computer Science ; 8285 | Lecture Notes in Computer Science ; 8285
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2013Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Parallel Processing and Applied Mathematics [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waʢniewski. por Series Lecture Notes in Computer Science ; 7203 | Lecture Notes in Computer Science ; 7203
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
|
5.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Nicolas Halbwachs, Lenore D. Zuck. por Series Lecture Notes in Computer Science ; 3440 | Lecture Notes in Computer Science ; 3440
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by C. R. Ramakrishnan, Jakob Rehof. por Series Lecture Notes in Computer Science ; 4963 | Lecture Notes in Computer Science ; 4963
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
|
9.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg. por Series Lecture Notes in Computer Science ; 3920 | Lecture Notes in Computer Science ; 3920
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
|
10.
|
OpenMP in the Petascale Era [electronic resource] : 7th International Workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedings / edited by Barbara M. Chapman, William D. Gropp, Kalyan Kumaran, Matthias S. Mȭller. por Series Lecture Notes in Computer Science ; 6665 | Lecture Notes in Computer Science ; 6665
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
|
11.
|
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More [electronic resource] : 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings / edited by Mitsuhisa Sato, Toshihiro Hanawa, Matthias S. Mȭller, Barbara M. Chapman, Bronis R. Supinski. por Series Lecture Notes in Computer Science ; 6132 | Lecture Notes in Computer Science ; 6132
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. por Series Lecture Notes in Computer Science ; 7795 | Lecture Notes in Computer Science ; 7795
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
|
15.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Stefan Kowalewski, Anna Philippou. por Series Lecture Notes in Computer Science ; 5505 | Lecture Notes in Computer Science ; 5505
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
Dependable Networks and Services [electronic resource] : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings / edited by Ramin Sadre, Jiȡ NovotnȻ, Pavel eleda, Martin Waldburger, Burkhard Stiller. por Series Lecture Notes in Computer Science ; 7279 | Lecture Notes in Computer Science ; 7279
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
