Su búsqueda obtuvo 4 resultados.

Ordenar
Resultados
Grid and Distributed Computing, Control and Automation [Recurso electrónico] : International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Stephen S. Yau, Osvaldo Gervasi, Byeong-Ho Kang, Adrian Stoica, Dominik Å{uC119}zak.

por Kim, Tai-hoon | Yau, Stephen S | Gervasi, Osvaldo | Kang, Byeong-Ho | Stoica, Adrian | Å{uC119}zak, Dominik | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 121Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

Advanced Computer Science and Information Technology [Recurso electrónico] : Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings / edited by G. S. Tomar, Ruay-Shiung Chang, Osvaldo Gervasi, Tai-hoon Kim, Samir Kumar Bandyopadhyay.

por Tomar, G. S | Chang, Ruay-Shiung | Gervasi, Osvaldo | Kim, Tai-hoon | Bandyopadhyay, Samir Kumar | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 74Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

Leveraging Applications of Formal Methods, Verification, and Validation [Recurso electrónico] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / edited by Reiner HÃ{u8BAC}e, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen.

por HÃ{u8BAC}e, Reiner | Knoop, Jens | Margaria, Tiziana | Schreiner, Dietmar | Steffen, Bernhard.

Series Communications in Computer and Information ScienceTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.

Trends in Intelligent Robotics [Recurso electrónico] : 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings / edited by Prahlad Vadakkepat, Jong-Hwan Kim, Norbert Jesse, Abdullah Al Mamun, Tan Kok Kiong, Jacky Baltes, John Anderson, Igor Verner, David Ahlgren.

por Vadakkepat, Prahlad | Kim, Jong-Hwan | Jesse, Norbert | Mamun, Abdullah Al | Kiong, Tan Kok | Baltes, Jacky | Anderson, John | Verner, Igor | Ahlgren, David | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 103Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

Páginas

Con tecnología Koha