Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Transactions on Computational Systems Biology III

Lecture Notes in Computer Science: Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings

Mathematics of Surfaces XII: 12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings

Lecture Notes in Computer Science: 6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings

Lecture Notes in Computer Science: International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, Proceedings

Membrane Computing 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings

Lecture Notes in Computer Science: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers

Lecture Notes in Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings

Transactions on Computational Systems Biology VI

Discrete Geometry for Computer Imagery 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006, Proceedings

Lecture Notes in Computer Science: Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008, Proceedings

Lecture Notes in Computer Science: Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings

Lecture Notes in Computer Science: 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings

Lecture Notes in Computer Science

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings

Lecture Notes in Computer Science: 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006, Proceedings

Transactions on Computational Systems Biology V

Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

Lecture Notes in Computer Science: First International Workshop, PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers