Su búsqueda obtuvo 39 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)
		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 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)
		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)
		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)
		Software Process: Principles, Methodology, and Technology/ by Jean-Claude Derniame, Badara A. Kaba, David Wastell. por Derniame, Jean-Claude \| Kaba, Badara A \| Wastell, David. Series Lecture Notes in Computer ScienceTipo de material: Texto; Formato: impreso Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/DER/sof. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Information Systems, Technology and Management [Recurso electrónico] : 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings / edited by Sumeet Dua, Aryya Gangopadhyay, Parimala Thulasiraman, Umberto Straccia, Michael Shepherd, Benno Stein. por Dua, Sumeet \| Gangopadhyay, Aryya \| Thulasiraman, Parimala \| Straccia, Umberto \| Shepherd, Michael \| Stein, Benno. Series Communications in Computer and Information Science, 1865-0929 ; ; 285Tipo 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. 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)
		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 and Computing Technologies in Agriculture V [Recurso electrónico] : 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I / edited by Daoliang Li, Yingyi Chen. por Li, Daoliang \| Chen, Yingyi. Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 368Tipo 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. 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)
		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)
		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)
		Mule in action / David Dossot, John D'Emic,Victor Romero, (Solutions architect) por Dossot, David \| D'Emic, John. Edición: 2ª ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Greenwich, CT : Manning, c2014Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06MUL/DOS/mul. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). 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)
		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)
		IEEE transactions on software engineering por IEEE Computer Society. Tipo de material: Recurso continuo; Formato: electrónico disponible en línea ; Tipo de descriptor de recurso continuo: periódico Detalles de publicación: [New York, Ed. Institute of Electrical and Electronics Engineers] Otro título: Institute of Electrical and Electronics Engineers transactions on software engineering \| Transactions on software engineering \| Software engineering.Disponibilidad: Ítems disponibles para referencia: 13. HEMEROTECA UCA: Not for loan (1)Ubicación, signatura topográfica: IEE. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Software engineering for Internet applications / Eve Andersson, Philip Greenspun, and Andrew Grumet. por Andersson, Eve Astrid \| Greenspun, Philip \| Grumet, Andrew. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge, Mass. : MIT Press, c2006Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/AND/sof. 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