Su búsqueda obtuvo 7 resultados.

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; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		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; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		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; Formato: electrónico ; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Resilience Assessment and Evaluation of Computing Systems [Recurso electrónico] / edited by Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad van Moorsel. por Wolter, Katinka \| Avritzer, Alberto \| Vieira, Marco \| van Moorsel, Aad. Tipo 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Recent Trends in Wireless and Mobile Networks [Recurso electrónico] : Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings / edited by Abdulkadir Ã{uA8E1}n, Nabendu Chaki, Dhinaharan Nagamalai. por Ã{uA8E1}n, Abdulkadir \| Chaki, Nabendu \| Nagamalai, Dhinaharan \| SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 84Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Computer Networks [Recurso electrónico] : 16th Conference, CN 2009, WisÅ{u1B20}Poland, June 16-20, 2009. Proceedings / edited by Andrzej KwiecieÅ{uC810}iotr Gaj, Piotr Stera. por KwiecieÅ{uC801}ndrzej \| Gaj, Piotr \| Stera, Piotr \| SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 39Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Analysis, Architectures and Modelling of Embedded Systems [Recurso electrónico] : Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings / edited by Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig. por Rettberg, Achim \| Zanella, Mauro C \| Amann, Michael \| Keckeisen, Michael \| Rammig, Franz J \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 310Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Con tecnología Koha