IT-security and Privacy: Design and Use of Privacy-enhancing Security Mechanisms IT-security and Privacy: Design and Use of Privacy-enhancing Security Mechanisms

Iterative Software Engineering for Multiagent Systems: The MASSIVE Method Iterative Software Engineering for Multiagent Systems: The MASSIVE Method

Engineering of Intelligent Systems: 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 2001 Proceedings Engineering of Intelligent Systems: 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 2001 Proceedings

Computer-Aided Scheduling of Public Transport Computer-Aided Scheduling of Public Transport

Discourses on Algebra Discourses on Algebra

Multiple Classifier Systems: Second International Workshop, MCS 2001, Cambridge, UK, July 2-4, 2001 - Proceedings Multiple Classifier Systems: Second International Workshop, MCS 2001, Cambridge, UK, July 2-4, 2001 - Proceedings

Mathematical Models of Financial Derivatives Mathematical Models of Financial Derivatives

Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, Aime 2001 Cascais, Portugal, July 1-4, 2001, Proceedings: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1-4, 2001, Proceedings Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, Aime 2001 Cascais, Portugal, July 1-4, 2001, Proceedings: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1-4, 2001, Proceedings

Scale-space and Morphology in Computer Vision: Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001 - Proceedings Scale-space and Morphology in Computer Vision: Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001 - Proceedings

Power-aware Computer Systems: First International Workshop, PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers Power-aware Computer Systems: First International Workshop, PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers

Conceptual Structures - Broadening the Base: 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings: 9th: Broadening the Base - International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings Conceptual Structures - Broadening the Base: 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings: 9th: Broadening the Base - International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings

German Administrative Law in Common Law Perspective German Administrative Law in Common Law Perspective

Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents

Cognitive Technology - Instruments of Mind: 4th International Conference, Ct 2001, Warwick, UK, August 6-9, 2001 Proceedings Cognitive Technology - Instruments of Mind: 4th International Conference, Ct 2001, Warwick, UK, August 6-9, 2001 Proceedings

Non-semisimple Topological Quantum Field Theories for 3-manifolds with Corners Non-semisimple Topological Quantum Field Theories for 3-manifolds with Corners

Intelligent Agents VII. Agent Theories Architectures and Languages: 7th International Workshop, Atal 2000, Boston, MA, USA, July 7-9, 2000, Poceedings: v. 7 Intelligent Agents VII. Agent Theories Architectures and Languages: 7th International Workshop, Atal 2000, Boston, MA, USA, July 7-9, 2000, Poceedings: v. 7

Algorithms and Data Structures: 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 Proceedings Algorithms and Data Structures: 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 Proceedings

Intelligent Agents - Specification, Modeling and Application: 4th Pacific RIM International Workshop on Multi-Agents, PRIMA 2001mTaipei, Taiwan, July 28-29, 2001 Proceedings Intelligent Agents - Specification, Modeling and Application: 4th Pacific RIM International Workshop on Multi-Agents, PRIMA 2001mTaipei, Taiwan, July 28-29, 2001 Proceedings

Online Optimization of Large Scale Systems: State of the Art Online Optimization of Large Scale Systems: State of the Art

Radiology of the Stomach and Duodenum Radiology of the Stomach and Duodenum

Gravity, Geoid and Geodynamics 2000: GGG2000 Iag International Symposium, Banf, Alberta, Canada, July 31-August 4, 2000 Gravity, Geoid and Geodynamics 2000: GGG2000 Iag International Symposium, Banf, Alberta, Canada, July 31-August 4, 2000

Kriminalitat Im Grenzgebiet: Band 4: Strafverfahren Gegen Auslander in Der Republik Polen Kriminalitat Im Grenzgebiet: Band 4: Strafverfahren Gegen Auslander in Der Republik Polen

Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7, 2000. Revised Lectures: First EEF Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7, 2000.Revised Lectures Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7, 2000. Revised Lectures: First EEF Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7, 2000.Revised Lectures

Algorithms - ESA 2001: 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings Algorithms - ESA 2001: 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings

Computer Analysis of Images and Patterns: 9th International Conference, CAIP 2001 Warsaw, Poland, September 5-7, 2001 Proceedings Computer Analysis of Images and Patterns: 9th International Conference, CAIP 2001 Warsaw, Poland, September 5-7, 2001 Proceedings

Algorithms in Bioinformatics: First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001, Proceedings Algorithms in Bioinformatics: First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001, Proceedings

Cryptographic Hardware and Embedded Systems Ches 2001: Third International Workshop, Paris, France, May 14-16, 2001 Proceedings Cryptographic Hardware and Embedded Systems Ches 2001: Third International Workshop, Paris, France, May 14-16, 2001 Proceedings

Cooperative Information Systems: 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001 Proceedings Cooperative Information Systems: 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001 Proceedings

Research and Advanced Technology for Digital Libraries: 5th European Conference, ECDL 2001, Darmstadt, Germany, September 4-9, 2001 Proceedings Research and Advanced Technology for Digital Libraries: 5th European Conference, ECDL 2001, Darmstadt, Germany, September 4-9, 2001 Proceedings

Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 Proceedings Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 Proceedings

Text, Speech and Dialogue: 4th International Conference, TSD 2001, Zelezna Ruda, Czech Republic, September 11-13, 2001 Proceedings Text, Speech and Dialogue: 4th International Conference, TSD 2001, Zelezna Ruda, Czech Republic, September 11-13, 2001 Proceedings

Technologies for E-Services: Second International Workshop, Tes 2001, Rome, Italy, September 14-15, 2001. Proceedings Technologies for E-Services: Second International Workshop, Tes 2001, Rome, Italy, September 14-15, 2001. Proceedings

Security Protocols: 8th International Workshops Cambridge, UK, April 3-5, 2000 Revised Papers Security Protocols: 8th International Workshops Cambridge, UK, April 3-5, 2000 Revised Papers

Intelligent Virtual Agents: Third International Workshop, Iva 2001, Madrid, Spain, September 10-11, 2001. Proceedings: Proceedings of the Third International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 Intelligent Virtual Agents: Third International Workshop, Iva 2001, Madrid, Spain, September 10-11, 2001. Proceedings: Proceedings of the Third International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001

Advances in Learning Software Organizations: Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 Proceedings Advances in Learning Software Organizations: Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 Proceedings

Generative and Component-based Software Engineering: Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 - Revised Papers Generative and Component-based Software Engineering: Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 - Revised Papers

Multimedia Databases and Image Communication: Second International Workshop, Mdic 2001, Amalfi, Italy, September 17-18, 2001. Proceedings Multimedia Databases and Image Communication: Second International Workshop, Mdic 2001, Amalfi, Italy, September 17-18, 2001. Proceedings

Evolutionary Trends of the Internet: 2001 Thyrrhenian International Workshop on Digital Communications, Iwdc 2001, Taormina, Italy, September 17-20, 2001. Proceedings Evolutionary Trends of the Internet: 2001 Thyrrhenian International Workshop on Digital Communications, Iwdc 2001, Taormina, Italy, September 17-20, 2001. Proceedings

Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 Proceedings Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 Proceedings

Advances in Artificial Intelligence: 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001 - Proceedings Advances in Artificial Intelligence: 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001 - Proceedings

From Nutrition Support to Pharmacologic Nutrition in the ICU From Nutrition Support to Pharmacologic Nutrition in the ICU

Ki 2001 Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings Ki 2001 Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings

Ubicomp 2001 - Ubiquitous Computing: International Conference Atlanta, Georgia, USA, September 30 - October 2, 2001 Proceedings Ubicomp 2001 - Ubiquitous Computing: International Conference Atlanta, Georgia, USA, September 30 - October 2, 2001 Proceedings

Biochemistry and Molecular Biology: III Biochemistry and Molecular Biology: III

Software Quality and Software Testing in Internet Times Software Quality and Software Testing in Internet Times

World Energy Resources: International Geohydroscience and Energy Research Institute World Energy Resources: International Geohydroscience and Energy Research Institute

Polarization Optics of Random Media Polarization Optics of Random Media

Measuring the Oceans from Space: The Principles and Methods of Satellite Oceanography Measuring the Oceans from Space: The Principles and Methods of Satellite Oceanography

Lie Groups and Lie Algebras: Chapters 4-6 Lie Groups and Lie Algebras: Chapters 4-6

UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings

Evolvable Systems - From Biology to Hardware: 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings Evolvable Systems - From Biology to Hardware: 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings

Cerebral Blood Flow: Mechanisms of Ischemia, Diagnosis and Therapy Cerebral Blood Flow: Mechanisms of Ischemia, Diagnosis and Therapy

Geometry of Algebraic Curves: v. 2 Geometry of Algebraic Curves: v. 2

Landscape Ecology: A Widening Foundation Landscape Ecology: A Widening Foundation

Number Theory Number Theory

Interdisciplinarity in Technology Assessment: Implementation and Its Chances and Limits Interdisciplinarity in Technology Assessment: Implementation and Its Chances and Limits

Semiconductor Quantum Dots: Physics, Spectroscopy and Applications Semiconductor Quantum Dots: Physics, Spectroscopy and Applications

Job Scheduling Strategies for Parallel Processing: 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers: 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001 Job Scheduling Strategies for Parallel Processing: 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers: 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001

Linear Delay-differential Systems with Commensurate Delays: An Algebraic Approach Linear Delay-differential Systems with Commensurate Delays: An Algebraic Approach

Genom Und Glaube: Der Unsichtbare Kafig Genom Und Glaube: Der Unsichtbare Kafig

Languages and Compilers for Parallel Computing: 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers: 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers Languages and Compilers for Parallel Computing: 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers: 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers

Computational Combinatorial Optimization: Optimal or Provably Near-optimal Solutions Computational Combinatorial Optimization: Optimal or Provably Near-optimal Solutions

Physics and Astrophysics of Ultra High Energy Cosmic Rays Physics and Astrophysics of Ultra High Energy Cosmic Rays

SOFSEM 2001- Theory and Practice of Informatics: Theory and Practice of Informatics - 28th Conference on Current Trends in Theory and Practice of Informatics, Piestany, Slovak Republic, November 24-December 1, 2001 Proceedings SOFSEM 2001- Theory and Practice of Informatics: Theory and Practice of Informatics - 28th Conference on Current Trends in Theory and Practice of Informatics, Piestany, Slovak Republic, November 24-December 1, 2001 Proceedings

High-performance Scientific and Engineering Computing: Proceedings of the 3rd International FORTWIHR Conference on HPSEC, Erlangen, March 12-14, 2001 High-performance Scientific and Engineering Computing: Proceedings of the 3rd International FORTWIHR Conference on HPSEC, Erlangen, March 12-14, 2001

Grid Computing - Grid 2001: Second International Workshop, Denver, Co, USA, November 12, 2001. Proceedings: Second International Workshop, Denver, CO, USA, November 12, 2001 Grid Computing - Grid 2001: Second International Workshop, Denver, Co, USA, November 12, 2001. Proceedings: Second International Workshop, Denver, CO, USA, November 12, 2001

Mobile Agents: 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings Mobile Agents: 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings

AI 2001 Advances in Artificial Intelligence: 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings: 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings AI 2001 Advances in Artificial Intelligence: 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings: 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings

Variable Structure Systems: Towards the 21st Century Variable Structure Systems: Towards the 21st Century

Source Control: A Guide to the Management of Surgical Infections Source Control: A Guide to the Management of Surgical Infections

Biological Effects of Electromagnetic Fields: Mechanisms, Modeling, Biological Effects, Therapeutic Effects, International Standards, Exposure Criteria Biological Effects of Electromagnetic Fields: Mechanisms, Modeling, Biological Effects, Therapeutic Effects, International Standards, Exposure Criteria

Topology Optimization: Theory, Methods and Applications Topology Optimization: Theory, Methods and Applications

The NEBI Yearbook: North European and Baltic Sea Integration: 2001-2002 The NEBI Yearbook: North European and Baltic Sea Integration: 2001-2002

Cancers of the Skin: Proceedings of the 8th World Congress Cancers of the Skin: Proceedings of the 8th World Congress

High Performance Computing - Hipc 2001: 8th International Conference, Hyderabad, India, December, 17-20, 2001. Proceedings High Performance Computing - Hipc 2001: 8th International Conference, Hyderabad, India, December, 17-20, 2001. Proceedings

Progress in Cryptology - Indocrypt 2001: Second International Conference on Cryptology in India, Chennai, India, December 16-20, 2001 Progress in Cryptology - Indocrypt 2001: Second International Conference on Cryptology in India, Chennai, India, December 16-20, 2001

Ancient DNA Typing: Methods, Strategies and Applications Ancient DNA Typing: Methods, Strategies and Applications

Transactional Agents: Towards a Robust Multi-agent System Transactional Agents: Towards a Robust Multi-agent System

Rough-Neural Computing: Techniques for Computing with Words Rough-Neural Computing: Techniques for Computing with Words

Unifying Petri Nets: Advances in Petri Nets Unifying Petri Nets: Advances in Petri Nets

New Frontiers in Artificial Intelligence: Joint JSAI 2001 Workshop Post-proceedings New Frontiers in Artificial Intelligence: Joint JSAI 2001 Workshop Post-proceedings

Computers and Games: Second International Conference, Cg 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers Computers and Games: Second International Conference, Cg 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers

Fundamentals of Computer Security Fundamentals of Computer Security

Sensing with Terahertz Radiation Sensing with Terahertz Radiation

Continuum Mechanics and Theory of Materials Continuum Mechanics and Theory of Materials

Coated Metal: Structure and Properties of Metal-coating Compositions Coated Metal: Structure and Properties of Metal-coating Compositions

Indium: Geology, Mineralogy and Economics Indium: Geology, Mineralogy and Economics

Information Retrieval Techniques for Speech Applications Information Retrieval Techniques for Speech Applications

Geodesy: The Challenge of the 3rd Millennium Geodesy: The Challenge of the 3rd Millennium

Strategic Production Networks: Cooperation Among Production Companies Strategic Production Networks: Cooperation Among Production Companies

Modular Specification and Verification of Object-oriented Programs Modular Specification and Verification of Object-oriented Programs

Object Modeling with the OCL: The Rationale Behind the Object Constraint Language Object Modeling with the OCL: The Rationale Behind the Object Constraint Language

Classification, Automation, and New Media: Proceedings of the 24th Annual Conference of the Gesellschaft Fur Klassifikation e.V., University of Passau, March 15-17, 2000 Classification, Automation, and New Media: Proceedings of the 24th Annual Conference of the Gesellschaft Fur Klassifikation e.V., University of Passau, March 15-17, 2000

Advances in Computational Intelligence: Theory and Practice Advances in Computational Intelligence: Theory and Practice

Agent-Oriented Software Engineering II: Second International Workshop, Aose 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions: Pt. 2 Agent-Oriented Software Engineering II: Second International Workshop, Aose 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions: Pt. 2

STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan Les Pins, France, March 14-16, 2002, Proceedings STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan Les Pins, France, March 14-16, 2002, Proceedings

Front Tracking for Hyperbolic Conservation Laws Front Tracking for Hyperbolic Conservation Laws

Nanoscale Spectroscopy and Its Applications to Semiconductor Research Nanoscale Spectroscopy and Its Applications to Semiconductor Research

Infrared Holography for Optical Communications: Techniques, Materials and Devices Infrared Holography for Optical Communications: Techniques, Materials and Devices

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors

Software Visualization: International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures Software Visualization: International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures