Resultados
|
|
|
Systems and Virtualization Management. Standards and New Technologies [Recurso electrónico] : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold. por Boursas, Latifa | Carlson, Mark | Hommel, Wolfgang | Sibilla, Michelle | Wold, Kes | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 18Tipo de material:  Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles.
|
|
|
|
Technological Innovation for Value Creation [Recurso electrónico] : Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings / edited by Luis M. Camarinha-Matos, Ehsan Shahamatnia, GonÃ{u00A7}alo Nunes. por Camarinha-Matos, Luis M | Shahamatnia, Ehsan | Nunes, GonÃ{u00A7}alo. Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 372Tipo de material:  Texto; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
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; 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; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.
|
|
|
|
Theoretical Computer Science [Recurso electrónico] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Cristian S. Calude, Vladimiro Sassone. por Calude, Cristian S | Sassone, Vladimiro | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 323Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : IFIP International Federation for Information Processing, 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; 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; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.
|
|
|
|
Technological Innovation for Sustainability [Recurso electrónico] : Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings / edited by Luis M. Camarinha-Matos. por Camarinha-Matos, Luis M | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 349Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011Disponibilidad: No hay ítems disponibles.
|
|
|
|
Grid and Distributed Computing [Recurso electrónico] : International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Stephen S. Yau, Osvaldo Gervasi, Byeong-Ho Kang. por Å{uC119}zak, Dominik | Kim, Tai-hoon | Yau, Stephen S | Gervasi, Osvaldo | Kang, Byeong-Ho | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 63Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|