The Mathematica GuideBook for Symbolics

Optimization in Public Transportation Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers

Spatial Coherence for Visual Motion Analysis First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004. Revised Papers

Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings

Topics in Cryptology – CT-RSA 2006 The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005. Proceedings

Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part II

Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part I

Research in Computational Molecular Biology 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006. Proceedings

Information Security and Cryptology - ICISC 2005 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers

Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers