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.
|
|
|
|
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.
|
|
|
|
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.
|
|
|
|
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.
|
|
|
|
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.
|
|
|
|
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.
|
|
|
|
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.
|
|
|
|
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.
|
|
|
|
|
|
|
|
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.
|
|
|
|
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.
|
|
|
|
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.
|
|
|
|
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.
|