1
Advances in Wireless, Mobile Networks and Applications [E-Book] : International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedings /
2
Computational Logistics [E-Book] : Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings /
3
Combinatorial Optimization and Applications [E-Book] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /
4
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
5
Programming Languages and Systems [E-Book] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings /
6
Hardware Software Co-Design of a Multimedia SOC Platform [E-Book] /
7
Formal Methods in Computer-Aided Design [E-Book] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
8
Computer Aided Verification [E-Book] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /