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
