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
