Proof theory and logical complexity

Complexity in Chemistry, Biology, and Ecology

Complexity Theory Exploring the Limits of Efficient Algorithms

Complexity Theory and Cryptology An Introduction to Cryptocomplexity

Structural Information and Communication Complexity 12 International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005. Proceedings

Harmonic Analysis, Signal Processing, and Complexity Festschrift in Honor of the 60th Birthday of Carlos A. Berenstein

Computational error and complexity in science and engineering

Teaching as principled practice managing complexity for social justice

Non-equilibrium Thermodynamics and the Production of Entropy Life, Earth, and Beyond

Nonlinear Fokker-Planck Equations Fundamentals and Applications

Foundations of Generic Optimization Volume 1: A Combinatorial Approach to Epistasis

Diskrete Mathematik

Algorithmische Geometrie Grundlagen, Methoden, Anwendungen

Design and Analysis of Randomized Algorithms Introduction to Design Paradigms

Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers

Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings

Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

Fast Software Encryption 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers

Distributed Computing in Sensor Systems First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 – July 1, 2005. Proceedings

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

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

Conceptual Structures: Common Semantics for Sharing Knowledge 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Advances in Cryptology – CRYPTO 2005 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings

Information Retrieval Technology Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005. Proceedings

Formal Concept Analysis Foundations and Applications

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005. Proceedings

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings

Network Analysis Methodological Foundations

Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings

Graph-Based Representations in Pattern Recognition 5th IAPR International Workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005. Proceedings

Evolutionary Computation in Combinatorial Optimization 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings

Information Retrieval Technology Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005. Proceedings

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers

Advances in Cryptology – EUROCRYPT 2005 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings

Advances in Neural Networks – ISNN 2005 Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I

Progress in Cryptology – Mycrypt 2005 First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005. Proceedings

Advances in Neural Networks – ISNN 2005 Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II

Advances in Neural Networks – ISNN 2005 Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part III

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005. Proceedings

Information Security and Cryptology – ICISC 2004 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers

Discrete and Computational Geometry Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004, Revised Selected Papers

Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005. Proceedings

Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings

Stochastic Algorithms: Foundations and Applications Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

Advances in Cryptology - ASIACRYPT 2005 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005. Proceedings

Cryptography and Coding 10th IMA International Conference, Cirencester, UK, December 19-21, 2005. Proceedings

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers

Algorithms and Computation 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005. Proceedings

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus

Analysis für Informatiker Grundlagen, Methoden, Algorithmen

List Decoding of Error-Correcting Codes Winning Thesis of the 2002 ACM Doctoral Dissertation Competition

Theory of Cryptography Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings

Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004. Proceedings

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

Combinatorial Geometry and Graph Theory Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings

Algorithms and Computation 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004. Proceedings

Progress in Cryptology - INDOCRYPT 2004 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004. Proceedings

Computing and Combinatorics 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005. Proceedings

Algorithms in Bioinformatics 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005. Proceedings

Comparative Genomics RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005. Proceedings

Advances in Artificial Life 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005. Proceedings

Approximation and Online Algorithms Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers

Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings

Advanced Encryption Standard – AES 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers

Graph Drawing 12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Numerical Analysis and Its Applications Third International Conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004, Revised Selected Papers

STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings

Comparative Genomics RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings

Progress in Cryptology - INDOCRYPT 2005 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005. Proceedings

Regulatory Genomics RECOMB 2004 International Workshop, RRG 2004, San Diego, Ca, USA, March 26-27, 2004, Revised Selected Papers

Contemporary Cryptology

Quantitative Measure for Discrete Event Supervisory Control

Validated Designs for Object-oriented Systems

Topics in Cryptology – CT-RSA 2005 The Cryptographers’ Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005. Proceedings

Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO

Nonblocking Electronic and Photonic Switching Fabrics

Gd̲el's theorem an incomplete guide to its use and abuse

Graph Theory, Combinatorics and Algorithms Interdisciplinary Applications

Introduction to biomedical engineering

Uncertainty and surprise in complex systems : questions on working with the unexpected

Exploring tort law