Mathematics

Graph-Theoretic Concepts in Computer Science : 29th International Workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers

Discrete Geometry for Computer Imagery : 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets

Computers and Games : Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002, Revised Papers

Advances in Cryptology - ASIACRYPT 2003 : 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003, Proceedings

The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic

High Performance Computing -- HiPC 2003 : 10th International Conference, Hyderabad, India, December 17-20, 2003, Proceedings

Cryptography and Coding : 9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings

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

Algorithms and Computation : 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings

Discrete and Computational Geometry : Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers

Mathematical Methods for Protein Structure Analysis and Design : Advanced Lectures