FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science: 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings

Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets

Inference Control in Statistical Databases: From Theory to Practice

Conceptual Structures: Inspiration and Application: 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings

Transactions on Computational Systems Biology I

Algorithms and Data Structures: 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings

High-Performance Computing and Networking: 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings

Performance Engineering: State of the Art and Current Trends

Advances in Information Systems: First International Conference, ADVIS 2000, Izmir, Turkey, October 25-27, 2000, Proceedings

Quality of Future Internet Services: First COST 263 International Workshop, QofIS 2000 Berlin, Germany, September 25-26, 2000 Proceedings

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003 and 7th International Workshop on Randomization and App...

Primality Testing in Polynomial Time: From Randomized Algorithms to "PRIMES Is in P"

Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers

Modular Algorithms in Symbolic Summation and Symbolic Integration

Organic and Pervasive Computing -- ARCS 2004: International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings

STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings

Advances in Computer Systems Architecture: 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings

Fundamentals of Computation Theory: 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings

Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings

Discrete Mathematics and Theoretical Computer Science: 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday