Home Advanced Search

Advanced Search - Page 1

Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea
  • PDF
  • English
  • Year: 1997
  • Author: Dr D. Rayner (auth.), Myungchul Kim, Sungwon Kang, Keesoo Hong (eds.)
Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea
  • PDF
  • English
  • Year: 2002
  • Author: Sven Twarok, Peter Langendoerfer, Hartmut Koenig (auth.), Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee (eds.)
Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001
  • PDF
  • English
  • Year: 2001
  • Author: Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee
Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001
  • PDF
  • English
  • Year: 2001
  • Author: Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee
Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim
  • PDF
  • English
  • Year: 2001
  • Author: Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee
IT Convergence and Security 2012
  • PDF
  • English
  • Year: 2013
  • Author: Hong-Koo Kang, Ji-Sang Kim, Byung-Ik Kim, Hyun-Cheol Jeong (auth.), Kuinam J. Kim, Kyung-Yong Chung (eds.)
Ubiquitous Computing and Multimedia Applications: Second International Conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011. Proceedings, Part II
  • PDF
  • English
  • Year: 2011
  • Author: Jin Ah Kang, Hong Kook Kim (auth.), Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas (eds.)
Ubiquitous Computing and Multimedia Applications: Second International Conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011. Proceedings, Part II
  • PDF
  • English
  • Year: 2011
  • Author: Jin Ah Kang, Hong Kook Kim (auth.), Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas (eds.)
Knowledge-Based Intelligent Information and Engineering Systems: 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II
  • PDF
  • English
  • Year: 2007
  • Author: Dong-Oh Kim, Kang-Jun Lee, Dong-Suk Hong, Ki-Joon Han (auth.), Bruno Apolloni, Robert J. Howlett, Lakhmi Jain (eds.)
Security Technology: International Conference, SecTech 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Ju-Sung Kang, Dowon Hong (auth.), Tai-hoon Kim, Hojjat Adeli, Wai-chi Fang, Javier García Villalba, Kirk P. Arnett, Muhammad Khurram Khan (eds.)
search