Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers

Advances in Digital Forensics II IFIP international Conference on Digital Forensics, National Center for Forensic Science, Orlando, Florida, January 29– February 1, 2006

Multi-Agent-Based Simulation VI International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

Human Interactive Proofs Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005. Proceedings

Financial Cryptography and Data Security 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 – March 3, 2005. Revised Papers

Advances in Web Intelligence Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005. Proceedings

Optical Switching

Proceedings of International Symposium on Sensor Networks, Systems and Security Advances in Computing and Networking with Applications

Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings

Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings

Advances in Wireless, Mobile Networks and Applications International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedings