Su búsqueda obtuvo 68 resultados.

Ordenar
Resultados
Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

por Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service).

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

Advances in Software Engineering [Recurso electrónico] : International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett.

por Kim, Tai-hoon | Fang, Wai-Chi | Lee, Changhoon | Arnett, Kirk P | SpringerLink (Online service).

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

Systems, Software and Services Process Improvement [Recurso electrónico] : 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings / edited by Dietmar Winkler, Rory V. OÌ{u1498}©Connor, Richard Messnarz.

por Winkler, Dietmar | OÌ{u1498}©Connor, Rory V | Messnarz, Richard.

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

Information Computing and Applications [Recurso electrónico] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu.

por Zhu, Rongbo | Zhang, Yanchun | Liu, Baoxiang | Liu, Chunfeng | SpringerLink (Online service).

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

Advances in Power Electronics and Instrumentation Engineering [Recurso electrónico] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath.

por Das, Vinu V | Thankachan, Nessy | Debnath, Narayan C | SpringerLink (Online service).

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

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 Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles.

Advances in Software Engineering [Recurso electrónico] : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahão.

por Å{uC119}zak, Dominik | Kim, Tai-hoon | Kiumi, Akingbehin | Jiang, Tao | Verner, June | Abrahão, Silvia | SpringerLink (Online service).

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

Systems, Software and Services Process Improvement [Recurso electrónico] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings / edited by Andreas Riel, Rory Oâ€{u3BEE}nor, Serge Tichkiewitch, Richard Messnarz.

por Riel, Andreas | Oâ€{u3BEE}nor, Rory | Tichkiewitch, Serge | Messnarz, Richard | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 99Tipo 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.

Software and Data Technologies [Recurso electrónico] : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert.

por Filipe, Joaquim | Shishkov, Boris | Helfert, Markus | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 10Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Disponibilidad: 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 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.

Software and Data Technologies [Recurso electrónico] : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert, Leszek A. Maciaszek.

por Filipe, Joaquim | Shishkov, Boris | Helfert, Markus | Maciaszek, Leszek A | SpringerLink (Online service).

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

Advances in Information Technology [Recurso electrónico] : 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings / edited by Borworn Papasratorn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja.

por Papasratorn, Borworn | Lavangnananda, Kittichai | Chutimaskul, Wichian | Vanijja, Vajirasak | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 114Tipo 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.

Biomedical Engineering Systems and Technologies [Recurso electrónico] : International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers / edited by Ana Fred, Joaquim Filipe, Hugo Gamboa.

por Fred, Ana | Filipe, Joaquim | Gamboa, Hugo | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 52Tipo 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.

Software Process Improvement [Recurso electrónico] : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / edited by Rory V. Oâ€{u3BEE}nor, Nathan Baddoo, Kari Smolander, Richard Messnarz.

por Oâ€{u3BEE}nor, Rory V | Baddoo, Nathan | Smolander, Kari | Messnarz, Richard | SpringerLink (Online service).

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

Computer Networks [Recurso electrónico] : 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings / edited by Andrzej Kwiecien, Piotr Gaj, Piotr Stera.

por Kwiecien, Andrzej | Gaj, Piotr | Stera, Piotr.

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

Information Computing and Applications [Recurso electrónico] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu.

por Zhu, Rongbo | Zhang, Yanchun | Liu, Baoxiang | Liu, Chunfeng | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 106Tipo 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.

Networked Digital Technologies [Recurso electrónico] : 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II / edited by Rachid Benlamri.

por Benlamri, Rachid.

Series Communications in Computer and Information Science ; 294Tipo 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.

Software and Data Technologies [Recurso electrónico] : Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers / edited by José Cordeiro, Boris Shishkov, AlpeshKumar Ranchordas, Markus Helfert.

por Cordeiro, José | Shishkov, Boris | Ranchordas, AlpeshKumar | Helfert, Markus | SpringerLink (Online service).

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

Recent Trends in Networks and Communications [Recurso electrónico] : International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings / edited by Natarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai.

por Meghanathan, Natarajan | Boumerdassi, Selma | Chaki, Nabendu | Nagamalai, Dhinaharan | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 90Tipo 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