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.
|
|
|
|
Network Computing and Information Security [Recurso electrónico] : Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012. Proceedings / edited by Jingsheng Lei, Fu Lee Wang, Mo Li, Yuan Luo. por Lei, Jingsheng | Wang, Fu Lee | Li, Mo | Luo, Yuan. Series Communications in Computer and Information Science ; 345Tipo 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.
|
|
|
|
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.
|
|
|
|
U- and E-Service, Science and Technology [Recurso electrónico] : International Conference, UNESST 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, Jianhua Ma, Wai-Chi Fang, Frode Eika Sandnes, Byeong-Ho Kang, Bongen Gu. por Å{uC119}zak, Dominik | Kim, Tai-hoon | Ma, Jianhua | Fang, Wai-Chi | Sandnes, Frode Eika | Kang, Byeong-Ho | Gu, Bongen | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 62Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
Advances in Information Security and Its Application [Recurso electrónico] : Third International Conference, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings / edited by Jong Hyuk Park, Justin Zhan, Changhoon Lee, Guilin Wang, Tai-hoon Kim, Sang-Soo Yeo. por Park, Jong Hyuk | Zhan, Justin | Lee, Changhoon | Wang, Guilin | Kim, Tai-hoon | Yeo, Sang-Soo | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 36Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
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.
|
|
|
|
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.
|
|
|
|
Computer Networks [Recurso electrónico] : 17th Conference, CN 2010, UstroÅ{uC810}oland, June 15-19, 2010. 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 ; ; 79Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.
|
|
|
|
Control and Automation [Recurso electrónico] : International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Adrian Stoica, Byeong-Ho Kang. por Å{uC119}zak, Dominik | Kim, Tai-hoon | Stoica, Adrian | Kang, Byeong-Ho | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 65Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|