Results
|
|
|
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. by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Series: Communications in Computer and Information Science ; 17Source: Springer eBooksMaterial type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.
|
|
|
|
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. by Lei, Jingsheng | Wang, Fu Lee | Li, Mo | Luo, Yuan. Series: Communications in Computer and Information Science ; 345Material type:  Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
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. by Å{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 ; 59Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.
|
|
|
|
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. by Kwiecien, Andrzej | Gaj, Piotr | Stera, Piotr. Series: Communications in Computer and Information Science ; 291Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
|
|
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. by Ã{uA8E1}n, Abdulkadir | Chaki, Nabendu | Nagamalai, Dhinaharan | SpringerLink (Online service). Series: Communications in Computer and Information Science ; 84Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available.
|
|
|
|
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. by Å{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 ; 62Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
|
|
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. by Å{uC119}zak, Dominik | Kim, Tai-hoon | Stoica, Adrian | Kang, Byeong-Ho | SpringerLink (Online service). Series: Communications in Computer and Information Science ; 65Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.
|
|
|
|
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. by 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 ; 36Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.
|