Theory of Computation

Introduction to Reliable Distributed Programming

Computeralgebra Eine algorithmisch orientierte Einführung

Parameterized Complexity Theory

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

Wireless Sensor Networks Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006. Proceedings

Approximation and Online Algorithms Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Papers

Efficient Approximation and Online Algorithms Recent Progress on Classical Combinatorial Optimization Problems and New Applications

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

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings