Digital Libraries. Research and Technology Advances: Adl'95 Forum, Mclean, Virginia, USA, May 15-17, 1995. Selected Papers Digital Libraries. Research and Technology Advances: Adl'95 Forum, Mclean, Virginia, USA, May 15-17, 1995. Selected Papers

Advances in Databases: 14th British National Conference on Database, Bncod 14 Edinburgh, UK, July 3 - 5, 1996, Proceedings Advances in Databases: 14th British National Conference on Database, Bncod 14 Edinburgh, UK, July 3 - 5, 1996, Proceedings

Algebraic Geometry: Fano Manifolds: Pt.5 Algebraic Geometry: Fano Manifolds: Pt.5

The Mott Metal-Insulator Transition: Models and Methods The Mott Metal-Insulator Transition: Models and Methods

Computer Aided Learning and Instruction in Science and Engineering: Third International Conference, Calisce'96, San Sebastian, Spain, July 29 - 31, 1996, Proceedings: 3rd: International Conference, CALISCE '96, San Sebastian, Spain, July 29-31, 1996 - Proceedings Computer Aided Learning and Instruction in Science and Engineering: Third International Conference, Calisce'96, San Sebastian, Spain, July 29 - 31, 1996, Proceedings: 3rd: International Conference, CALISCE '96, San Sebastian, Spain, July 29-31, 1996 - Proceedings

Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings: 13th: Cade-13, International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 - Proceedings Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings: 13th: Cade-13, International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 - Proceedings

Springer-Verlag: History of a Scientific Publishing House: Pt. 1: 1842-1945 - Foundation, Maturation, Adversity Springer-Verlag: History of a Scientific Publishing House: Pt. 1: 1842-1945 - Foundation, Maturation, Adversity

Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 - Selected Papers Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 - Selected Papers

Ethical Universals in International Business Ethical Universals in International Business

Petit Cours De Francais Petit Cours De Francais

Quantum-mechanical Ab-initio Calculation of the Properties of Crystalline Materials Quantum-mechanical Ab-initio Calculation of the Properties of Crystalline Materials

Foundations of Computational Mathematics: Selected Papers of a Conference Held at Impa in Rio De Janeiro, January 1997 Foundations of Computational Mathematics: Selected Papers of a Conference Held at Impa in Rio De Janeiro, January 1997

Formal Techniques in Real-time and Fault-tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings: 4th: International Symposium, Uppsala, Sweden, September 9-13, 1996 - Proceedings Formal Techniques in Real-time and Fault-tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings: 4th: International Symposium, Uppsala, Sweden, September 9-13, 1996 - Proceedings

Ultraclean Surface Processing of Silicon Wafers: Secrects of Vlsi Manufacturing Ultraclean Surface Processing of Silicon Wafers: Secrects of Vlsi Manufacturing

Biomechanik des Menschlichen Bewengungsapparates Biomechanik des Menschlichen Bewengungsapparates

Biosphere-Atmosphere Exchange of Pollutants and Trace Substances: Experimental and Theoretical Studies of Biogenic Emissions and Pollutant Deposition Biosphere-Atmosphere Exchange of Pollutants and Trace Substances: Experimental and Theoretical Studies of Biogenic Emissions and Pollutant Deposition

Sobolev Spaces on Riemannian Manifolds Sobolev Spaces on Riemannian Manifolds

Spaces of Orderings and Abstract Real Spectra Spaces of Orderings and Abstract Real Spectra

Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings: 3rd: Third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996 - Proceedings Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings: 3rd: Third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996 - Proceedings

Microporous and Other Framework Materials with Zeolite-type Structures: v. 14 subvolume A Microporous and Other Framework Materials with Zeolite-type Structures: v. 14 subvolume A

Dictionary of Minor Planet Names Dictionary of Minor Planet Names

Distributed Algorithms: 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996, Proceedings Distributed Algorithms: 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996, Proceedings

Computer Security - Esorics 96: 4th European Symposium on Research in Computer Security, Rome, Italy, September 25 - 27, 1996, Proceedings: 4th: ESORICS 96 - 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 - Proceedings Computer Security - Esorics 96: 4th European Symposium on Research in Computer Security, Rome, Italy, September 25 - 27, 1996, Proceedings: 4th: ESORICS 96 - 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 - Proceedings

Finite Geometries Finite Geometries

Combinatorial Theory Combinatorial Theory

Welfare Aspects of Transgenic Animals Welfare Aspects of Transgenic Animals

Geometric Modeling: Theory and Practice: The State of the Art Geometric Modeling: Theory and Practice: The State of the Art

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 - Proceedings Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 - Proceedings

Software Configuration Management: ICSE'96 SCM 6 Workshop, Berlin, Germany, March 25-26, 1996 Selected Papers Software Configuration Management: ICSE'96 SCM 6 Workshop, Berlin, Germany, March 25-26, 1996 Selected Papers

Formal Systems Specification: The RPC-memory Specification Case Study Formal Systems Specification: The RPC-memory Specification Case Study

Building Tightly Integrated Software Development Environments: The IPSEN Approach Building Tightly Integrated Software Development Environments: The IPSEN Approach

Fuzzy Logic, Neural Networks and Evolutionary Computation: IEEE/Nagoya University World Wisepersons Workshop, Nagoya, Japan, November, 1995 - Selected Papers Fuzzy Logic, Neural Networks and Evolutionary Computation: IEEE/Nagoya University World Wisepersons Workshop, Nagoya, Japan, November, 1995 - Selected Papers

Information Security and Privacy: First Australasian Conference, ACISP '96, Wollongong, NSW, Australia, June 24-26, 1996 - Proceedings Information Security and Privacy: First Australasian Conference, ACISP '96, Wollongong, NSW, Australia, June 24-26, 1996 - Proceedings

The Design of Intelligent Agents: A Layered Approach The Design of Intelligent Agents: A Layered Approach

Automatic Ambiguity Resolution in Natural Language Processing: An Empirical Approach Automatic Ambiguity Resolution in Natural Language Processing: An Empirical Approach

Practical Formal Methods for Hardware Design Practical Formal Methods for Hardware Design

Wood - The Internal Optimization of Trees Wood - The Internal Optimization of Trees

On Thom Spectra, Orientability and Cobordism On Thom Spectra, Orientability and Cobordism

Numerical Computation: Methods, Software, and Analysis: v. 1 Numerical Computation: Methods, Software, and Analysis: v. 1

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings

Asymptotic Completeness Asymptotic Completeness

Erneuerbare Energien Erneuerbare Energien

Das Zielbezogene Gesprach Das Zielbezogene Gesprach

Life Insurance Mathematics Life Insurance Mathematics

Auftragsabwicklung im Maschinen- und Anlagebau Auftragsabwicklung im Maschinen- und Anlagebau

CIM-orientiertes Rechnungswesen CIM-orientiertes Rechnungswesen

Das Betriebssystem Open VMS Das Betriebssystem Open VMS

Innovation Pragmatisch Steigern Innovation Pragmatisch Steigern

Komplexe Produkte Einfach Steuern Komplexe Produkte Einfach Steuern

Grundzuge des Marketing Grundzuge des Marketing

Das 1 A - 1 des Zeitmanagement Das 1 A - 1 des Zeitmanagement

Bewerben Beruf Karriere Bewerben Beruf Karriere

Biradicals, Radicals in Excited States, Carbenes, and Reladte Species: Pt. 2 v. 18 Biradicals, Radicals in Excited States, Carbenes, and Reladte Species: Pt. 2 v. 18

Industrielle Planungstechniken Industrielle Planungstechniken

Erfolgreiche Strategieplanung und Moderne Fuhrungstechniken Erfolgreiche Strategieplanung und Moderne Fuhrungstechniken

Molecules and Radicals Molecules and Radicals

Biochemische Labormethoden Biochemische Labormethoden

Monetary Policy Instruments for European Monetary Union Monetary Policy Instruments for European Monetary Union

Preparative Chromatography Techniques: Applications in Natural Product Isolation Preparative Chromatography Techniques: Applications in Natural Product Isolation

Fuzzy Logic in Artificial Intelligence: Ijcai '95 Workshop, Montreal, Canada, August 19-21, 1995: Selected Papers Fuzzy Logic in Artificial Intelligence: Ijcai '95 Workshop, Montreal, Canada, August 19-21, 1995: Selected Papers

Intelligent Agents III. Agent Theories, Architectures, and Languages: Ecai'96 Workshop (Atal), Budapest, Hungary, August 12-13, 1996, Proceedings: III: Agent Theories, Architectures, and Languages Intelligent Agents III. Agent Theories, Architectures, and Languages: Ecai'96 Workshop (Atal), Budapest, Hungary, August 12-13, 1996, Proceedings: III: Agent Theories, Architectures, and Languages

Software Agents and Soft Computing: Towards Enhancing Machine Intelligence - Concepts and Applications Software Agents and Soft Computing: Towards Enhancing Machine Intelligence - Concepts and Applications

Signal Transduction - Single Cell Techniques Signal Transduction - Single Cell Techniques

Advances in Critical Care Testing: The IFCC-AVL Award 1996 Advances in Critical Care Testing: The IFCC-AVL Award 1996

Algorithms and Complexity: Third Italian Conference, Ciac'97, Rome, Italy, March 12-14, 1997, Proceedings Algorithms and Complexity: Third Italian Conference, Ciac'97, Rome, Italy, March 12-14, 1997, Proceedings

Medienmarkt und Meinungsmacht Medienmarkt und Meinungsmacht

Women, Work and Computerization: Spinning a Web from Past to Future Women, Work and Computerization: Spinning a Web from Past to Future

Topics in Topology Topics in Topology

STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science, Lubeck, Germany, February 27 - March 1, 1997 Proceedings STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science, Lubeck, Germany, February 27 - March 1, 1997 Proceedings

Branched Standard Spines of 3-Manifolds Branched Standard Spines of 3-Manifolds

Knots and Links in Three-Dimensional Flows Knots and Links in Three-Dimensional Flows

Audio and Video-Based Biometric Person Authentication: First International Conference, Avbpa '97, Crans-Montana, Switzerland, March 12 - 14, 1997: Proceedings Audio and Video-Based Biometric Person Authentication: First International Conference, Avbpa '97, Crans-Montana, Switzerland, March 12 - 14, 1997: Proceedings

Linux Start-Up Guide: A Self-Contained Introduction Linux Start-Up Guide: A Self-Contained Introduction

Nonlinear Theory of Dislocations and Disclinations in Elastic Bodies Nonlinear Theory of Dislocations and Disclinations in Elastic Bodies

Intelligent Agent Systems: Theoretical and Practical Issues - Based on Workshop Held at Pricai '96, Cairns, Australia, August 26-30, 1996 Intelligent Agent Systems: Theoretical and Practical Issues - Based on Workshop Held at Pricai '96, Cairns, Australia, August 26-30, 1996

Artificial Intelligence in Medicine: 6th Conference in Artificial Intelligence in Medicine, Europe, Aime '97, Grenoble, France, March 23-26, 1997, Proceedings Artificial Intelligence in Medicine: 6th Conference in Artificial Intelligence in Medicine, Europe, Aime '97, Grenoble, France, March 23-26, 1997, Proceedings

Zum '97: the Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings Zum '97: the Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Is Inheritance Legitimate?: Ethical and Economic Aspects of Wealth Transfers Is Inheritance Legitimate?: Ethical and Economic Aspects of Wealth Transfers

Creating Personalities for Synthetic Actors: Towards Autonomous Personality Agents Creating Personalities for Synthetic Actors: Towards Autonomous Personality Agents

Symbolic Dynamics: One-Sided, Two-Sided and Countable State Markov Shifts Symbolic Dynamics: One-Sided, Two-Sided and Countable State Markov Shifts

Twelve Sporadic Groups Twelve Sporadic Groups

Tapsoft'97, Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14-18, 1997 Tapsoft'97, Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14-18, 1997

Evolutionary Programming: Sixth International Conference, EP 97, Indianapolis, Indiana, USA, April 13-16, 1997: VI Evolutionary Programming: Sixth International Conference, EP 97, Indianapolis, Indiana, USA, April 13-16, 1997: VI

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings

Vector and Parallel Processing: Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25 - 27, 1996, Selected Papers Vector and Parallel Processing: Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25 - 27, 1996, Selected Papers

Machine Learning ECML'97: 9th European Conference on Machine Learning, Prague, Czech Republic, April 23 - 25, 1997, Proceedings Machine Learning ECML'97: 9th European Conference on Machine Learning, Prague, Czech Republic, April 23 - 25, 1997, Proceedings

Handbook of Computational Solid Mechanics: Survey and Comparison of Contemporary Methods Handbook of Computational Solid Mechanics: Survey and Comparison of Contemporary Methods

Organizational Change, Evolution, Structuring and Awareness: Organizational Computing Systems Organizational Change, Evolution, Structuring and Awareness: Organizational Computing Systems

Computational Intelligence Theory and Applications: International Conference, 5th Fuzzy Days, Dortmund, Germany, April 28 - 30, 1997 Proceedings Computational Intelligence Theory and Applications: International Conference, 5th Fuzzy Days, Dortmund, Germany, April 28 - 30, 1997 Proceedings

Inverse Galois Theory Inverse Galois Theory

Representations of Finite-Dimensional Algebras Representations of Finite-Dimensional Algebras

Fruhrehabilitation Nach Schadel-Hirn-Trauma Fruhrehabilitation Nach Schadel-Hirn-Trauma

Software Configuration Management: Icse'97 Scm-7 Workshop, Boston, MA, USA, May 18 - 19, 1997: Proceedings Software Configuration Management: Icse'97 Scm-7 Workshop, Boston, MA, USA, May 18 - 19, 1997: Proceedings

Organic Superconductors Organic Superconductors

Logical Foundations of Computer Science: 4th International Symposium, Lfcs '97, Yaroslavl, Russia, July, 6 - 12, 1997 - Proceedings Logical Foundations of Computer Science: 4th International Symposium, Lfcs '97, Yaroslavl, Russia, July, 6 - 12, 1997 - Proceedings

Interdisciplinary Approaches to Gene Therapy: Legal, Ethical and Scientific Aspects Interdisciplinary Approaches to Gene Therapy: Legal, Ethical and Scientific Aspects

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, Ecsqaru-Fapr '97, Bad Honnef, Germany, June 9 - 12, 1997: Proceedings Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, Ecsqaru-Fapr '97, Bad Honnef, Germany, June 9 - 12, 1997: Proceedings

Spaces of Homotopy Self-Equivalences - a Survey Spaces of Homotopy Self-Equivalences - a Survey

Symplectic Manifolds with No Kaehler Structure Symplectic Manifolds with No Kaehler Structure

Advanced Information Systems Engineering: 9th International Conference, Caise'97, Barcelona, Catalonia, Spain, June 16 - 20, 1997: Proceedings Advanced Information Systems Engineering: 9th International Conference, Caise'97, Barcelona, Catalonia, Spain, June 16 - 20, 1997: Proceedings

The Full Costs and Benefits of Transportation: Contributions to Theory, Method and Measurement The Full Costs and Benefits of Transportation: Contributions to Theory, Method and Measurement