Resultados
|
1.
|
High Performance Computing and Applications [electronic resource] : 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 Series Lecture Notes in Computer Science ; 5938 | Lecture Notes in Computer Science ; 5938
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, 2010Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
2.
|
|
|
3.
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean. por Series Lecture Notes in Computer Science ; 3362 | Lecture Notes in Computer Science ; 3362
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.
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Lubo Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol. por Series Lecture Notes in Computer Science ; 4346 | Lecture Notes in Computer Science ; 4346
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
Mobile and Ubiquitous Systems: Computing, Networking, and Services [electronic resource] : 9th International Conference, MobiQuitous 2012, Beijing, China, December 12-14, 2012. Revised Selected Papers / edited by Kan Zheng, Mo Li, Hongbo Jiang. por Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 120 | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 120
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.
|
|
16.
|
|
|
17.
|
|
|
18.
|
|
|
19.
|
|
|
20.
|
|