Su búsqueda obtuvo 19 resultados.

Resultados
		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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Protocol Engineering [Recurso electrónico] / by Hartmut König. por König, Hartmut. 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)
		Agile Management [Recurso electrónico] : Leadership in an Agile Environment / by Angel Medinilla. por Medinilla, Angel. 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)
		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)
		Model-Based Engineering of Embedded Systems [Recurso electrónico] : The SPES 2020 Methodology / edited by Klaus Pohl, Harald HÂ©Å{uEBA9}nger, Reinhold Achatz, Manfred Broy. por Pohl, Klaus \| Hönninger, Harald \| Achatz, Reinhold \| Broy, Manfred. 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)
		Advances in Information Technology [Recurso electrónico] : 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings / edited by Borworn Papasratorn, Nipon Charoenkitkarn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja. por Papasratorn, Borworn \| Charoenkitkarn, Nipon \| Lavangnananda, Kittichai \| Chutimaskul, Wichian \| Vanijja, Vajirasak. Series Communications in Computer and Information Science ; 344Tipo 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)
		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)
		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; 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)
		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; 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)
		Reflections on the History of Computing [Recurso electrónico] : Preserving Memories and Sharing Stories / edited by Arthur Tatnall. por Tatnall, Arthur. Series IFIP Advances in Information and Communication Technology ; 387Tipo 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)
		Computer Applications for Database, Education, and Ubiquitous Computing [Recurso electrónico] : International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings / edited by Tai-hoon Kim, Jianhua Ma, Wai-chi Fang, Yanchun Zhang, Alfredo Cuzzocrea. por Kim, Tai-hoon \| Ma, Jianhua \| Fang, Wai-chi \| Zhang, Yanchun \| Cuzzocrea, Alfredo. Series Communications in Computer and Information Science ; 352Tipo 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)
		Software Process Improvement and Capability Determination [Recurso electrónico] : 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings / edited by Antonia Mas, Antoni Mesquida, Terry Rout, Rory V. O'Connor, Alec Dorling. por Mas, Antonia \| Mesquida, Antoni \| Rout, Terry \| O'Connor, Rory V \| Dorling, Alec. Series Communications in Computer and Information Science ; 290Tipo 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)
		Networked Digital Technologies [Recurso electrónico] : 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I / edited by Rachid Benlamri. por Benlamri, Rachid. Series Communications in Computer and Information Science ; 293Tipo 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)
		Green and Smart Technology with Sensor Applications [Recurso electrónico] : International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings / edited by Hyun-seob Cho, Tai-hoon Kim, Sabah Mohammed, Hojjat Adeli, Myoung-kwan Oh, Keun-Wang Lee. por Cho, Hyun-seob \| Kim, Tai-hoon \| Mohammed, Sabah \| Adeli, Hojjat \| Oh, Myoung-kwan \| Lee, Keun-Wang. Series Communications in Computer and Information Science ; 338Tipo 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)
		Product Lifecycle Management. Towards Knowledge-Rich Enterprises [Recurso electrónico] : IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers / edited by Louis Rivest, Abdelaziz Bouras, Borhen Louhichi. por Rivest, Louis \| Bouras, Abdelaziz \| Louhichi, Borhen. Series IFIP Advances in Information and Communication Technology ; 388Tipo 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)
		Computer Applications for Modeling, Simulation, and Automobile [Recurso electrónico] : International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings / edited by Tai-hoon Kim, Carlos Ramos, Jemal Abawajy, Byeong-Ho Kang, Dominik Â¿Øªlâ{uF629}zak, Hojjat Adeli. por Kim, Tai-hoon \| Ramos, Carlos \| Abawajy, Jemal \| Kang, Byeong-Ho \| Å{uC119}zak, Dominik \| Adeli, Hojjat. Series Communications in Computer and Information Science ; 341Tipo 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)
		Computer Applications for Communication, Networking, and Digital Contents [Recurso electrónico] : International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings / edited by Tai-hoon Kim, Dae-sik Ko, Thanos Vasilakos, Adrian Stoica, Jemal Abawajy. por Kim, Tai-hoon \| Ko, Dae-sik \| Vasilakos, Thanos \| Stoica, Adrian \| Abawajy, Jemal. Series Communications in Computer and Information Science ; 350Tipo 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)
		Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity [Recurso electrónico] : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings / edited by Tai-hoon Kim, Carlos Ramos, Haeng-kon Kim, Akingbehin Kiumi, Sabah Mohammed, Dominik Â¿Øªlâ{uF629}zak. por Kim, Tai-hoon \| Ramos, Carlos \| Kim, Haeng-kon \| Kiumi, Akingbehin \| Mohammed, Sabah \| Â¿Øªlâ{uF629}zak, Dominik. Series Communications in Computer and Information Science ; 340Tipo 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)
		Computer Applications for Graphics, Grid Computing, and Industrial Environment [Recurso electrónico] : International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings / edited by Tai-hoon Kim, Hyun-seob Cho, Osvaldo Gervasi, Stephen S. Yau. por Kim, Tai-hoon \| Cho, Hyun-seob \| Gervasi, Osvaldo \| Yau, Stephen S. Series Communications in Computer and Information Science ; 351Tipo 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)

Con tecnología Koha