More copies of this ISBN:
This title in other formats:
other titles in the Lecture Notes in Computer Science series:
- Advances in Machine Vision
- Astrophysics: A Primer
- Computational Aerodynamics and Fluid Dynamics
- Computer Vision: Craft, Engineering, and Science: Workshop Proceedings, Killarney, Ireland, September 9/10, 1991
- Digital Cities: Technologies, Experiences, and Future Perspectives
- Evolvable Systems: From Biology to Hardware
- Fst Tcs 2000: Foundations of Software Technology and Theoretical Science
- Fundamentals of Computational Fluid Dynamics
- Institutional Economics in France and Germany: German Ordoliberalism Versus the French Regulation School
- Comparative Genomics: Recomb 2006 International Workshop, Recomb-CG 2006 Montreal, Canada, September 24-26, 2006 Proceedings
- Modern Astrometry
- Nonmonotonic Logic
- Politics and institutions in an integrated Europe
- Semiconductor Quantum Dots
- Spatial Hysteresis and Optical Patterns
- Stability Theory of Dynamical Systems
- Successful Management by Motivation
- Topology
- Value-Focused Business Process Engineering: A Systems Approach: With Applications to Human Resource Management
- Xylem Structure and the Ascent of SAP
- GI - 3. Jahrestagung
- Principles of Magnetic Resonance
- 1. Fachtagung Ber Automatentheorie Und Formale Sprachen
- Fifth Conference on Optimization Techniques. Rome 1973
- Foliations on Surfaces
- Fifth Conference on Optimization Techniques. Rome 1973
- International Symposium on Theoretical Programming
- Marine Chemistry
- Matrix Eigensystem Routines - Eispack Guide
- GI - 3. Fachtagung Ber Programmiersprachen
- Tropospheric Modelling and Emission Estimation
- Computing Methods in Applied Sciences and Engineering. International Symposium, Versailles, December 17-21, 1973
- Contemporary Combinatorics
- Computing Methods in Applied Sciences and Engineering. International Symposium, Versailles, December 17-21,1973
- Fachtagung Prozessrechner 1974
- Rechnerstrukturen Und Betriebsprogrammierung
- Automata, Languages and Programming
- L Systems
- Rechner-Gesttzter Unterricht
- Scientific Computing in Electrical Engineering: Proceedings of the 3rd International Workshop, August 20-23, 2000, Warnemunde, Germany
- Programming Symposium
- Simple Program Schemes and Formal Languages
- Formal Aspects of Cognitive Processes
- Chaotic and Stochastic Behaviour in Automatic Production Lines
- Numerical Solution of Stochastic Differential Equations
- Programming Methodology
- Parallel Processing
- Category Theory Applied to Computation and Control
- GI - 4. Jahrestagung
- Optimization Techniques
- Mathematical Foundations of Computer Science 1974
- Interval Mathematics
- Principles of Computational Fluid Dynamics
- Analysis of Drum and Disk Storage Units
- Mathematical Foundations of Computer Science 1975
- Automata Theory and Formal Languages
- GI - 5. Jahrestagung
- Laser Physics At Relativistic Intensities
- Exercises in Computer Systems Analysis
- Theory of Program Structures: Schemes, Semantics, Verification
- An Optimized Translation Process and Its Application to ALGOL 68
- Mechanisms of Organ Dysfunction in Critical Illness
- Data Base Systems
- High-Tech & Micropropagation, Vol. VI
- Complementary Definitions of Programming Language Semantics
- Komplexitt Von Entscheidungsproblemen
- Eci Conference 1976
- Mathematical Foundations of Computer Science 1976
- Language Hierarchies and Interfaces
- Methods of Algorithmic Language Implementation
- Theoretical Computer Science
- Interactive Systems
- A Concurrent Pascal Compiler for Minicomputers
- Matrix Eigensystem Routines - Eispack Guide Extension
- Automata, Languages and Programming
- Mathematical Foundations of Computer Science 1977
- Design and Implementation of Programming Languages
- Mes Premieres Constructions de Programmes
- Fundamentals of Computation Theory: Proceedings of the 1977 International Fct-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
- Portability of Numerical Software
- Computing in Systems Described by Equations
- A Comparative Study of Very Large Data Bases
- The Vienna Development Method: The Meta-Language
- Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
- Mathematical Foundations of Computer Science 1978: 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings
- Information Systems Methodology: Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, October 10-12, 1978
- Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues
- Theoretical Computer Science
- First-Order Dynamic Logic
- Laser Strophometry High Resolution Techn
- Program Construction: International Summer School
- Semantics of Concurrent Computation
- Automata, Languages, and Programming
- Symbolic and Algebraic Computation
- Graph-Grammars and Their Application to Computer Science and Biology: International Workshop, Bad Honnef, October 30 - November 3, 1978
- Inside Criminal Networks
- Mathematical Foundations of Computer Science 1979
- Mathematical Studies of Information Processing
- Drag Reduction Technologies: Proceedings of the Ceas/Dragnet European Drag Reduction Conference, 19-21 June 2000, Potsdam, Germany
- Codes for Boundary-Value Problems in Ordinary Differential Equations
- Multimedia Interface Design in Education
- Edinburgh Lcf
- Language Design and Programming Methodology
- Pictorial Information Systems
- Data Base Techniques for Pictorial Application
- A Relational Theory of Computing
- Optical Properties of Nanostructured Random Media
- International Symposium on Programming: Proceedings of the Fourth "Colloque International Sur La Programmation" Paris, 22-24 April 1980
- Net Theory and Applications
- Automata, Languages and Programming
- Abstract Software Specifications
- 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980
- Mathematical Foundations of Computer Science 1980
- Using Sophisticated Models in Resolution Theorem Proving
- Grammar and L Forms
- A Calculus of Communication Systems
- Context-Free Grammars: Covers, Normal Forms, and Parsing
- Semantics-Directed Compiler Generation
- Coroutines: A Programming Methodology, a Language Design and an Implementation
- Computer Programs for Spelling Correction
- Reliability Evaluation of Some Fault-Tolerant Computer Architectures
- Towards a Formal Description of ADA
- Algebraic Semantics
- Graphtheoretic Concepts in Computer Science
- Boolean Calculus of Differences
- On the Integration of Algebraic Functions
- Directions in Human Factors for Interact
- Theoretical Computer Science
- The Programming Language ADA
- Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings
- Graph Theory and Algorithms: 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 198
- Digital Image Processing Systems
- Advanced Educational Technology in Technology Education
- The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs
- Conpar 81
- Caap '81: Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings
- Stochastic Automata: Stability, Nondeterminism and Prediction
- Clu: Reference Manual
- Automata, Languages and Programming
- The Concurrency Control Problem for Database Systems
- Fundamentals of Computation Theory
- Mathematical Foundations of Computer Science 1981
- Program Design Calculi
- Anaphora in Natural Language Understanding
- Automatic Differentiation
- Y12m Solution of Large and Sparse Systems of Linear Algebraic Equations
- IV Hotine-Marussi Symposium on Mathematical Geodesy: Trento, Italy, September 14-17, 1998
- Trends in Information Processing Systems
- Compiler Specification and Verification
- Logic of Programs
- Alternating Sequential-Parallel Processing
- An Analytical Description of Chill, the Ccitt High Level Language
- Verifying Concurrent Processes Using Temporal Logic
- Axiomatising the Logic of Computer Programming
- Logics of Programs
- Data Base Design Techniques I
- Collaborative Dialogue Technologies in Distance Learning
- Data Base Design Techniques II
- Program Specification
- Introduction To the PL CV2 Programming Logic
- International Symposium on Programming
- An Attribute Grammar for the Semantic Analysis of ADA
- Gag: A Practical Compiler Generator
- Die Thematischen Berichterstatter Und Arbeitsgruppen Der Un-Menschenrechtskommission
- Problems and Methodologies in Mathematical Software Production
- Operating Systems Engineering
- Computer Algebra: Eurocam '82, European Computer Algebra Conference, Marseilles, France, April 5-7, 1982
- Theoretical Computer Science
- Research and Development in Information Retrieval
- Rims Symposium on Software Science and Engineering
- Logics of Programs and Their Applications
- Cryptography
- Conlan Report
- Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings
- The Design of Dynamic Data Structures
- Direct Methods for Sparse Matrices
- Foundations of Computation Theory
- Caap '83: Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings
- The Iota Programming System: A Modular Programming Environment
- Diana. an Intermediate Language for ADA
- Computer Algebra
- VLSI Engineering
- Logics of Programs
- Large Sparse Numerical Optimization
- Stacs 84
- International Symposium on Programming
- Feedback Shift Registers
- Logic and Machines: Decision Problems and Complexity
- Automata, Languages, and Programming
- Semantics of Data Types
- Eurosam 84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
- Superconductor/Semiconductor Junctions
- P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
- Mathematical Foundations of Computer Science 1984
- Programming Languages and Their Definition
- Readings on Cognitive Ergonomics, Mind and Computers
- How to Multiply Matrices Faster
- ADA Software Tools Interfaces: Workshop, Bath, July 13-15, 1983. Proceedings
- Foundations of Software Technology and Theoretical Computer Science
- Stacs 85
- The Munich Project Cip
- Local Area Networks: An Advanced Course: Glasgow, July 11-22, 1983. Proceedings
- Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Ta
- Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), B
- Time Series Package (Tspack)
- Advances in Petri Nets 1984
- Paragon
- Distributed Systems
- A Survey of Verification Techniques for Parallel Programs
- Electronic & Vibronic Spectra of Transition Metal Complexes II, Volume 191
- Automata on Infinite Words: Ecole de Printemps D'Informatique Theorique, Le Mont Dore, May 14-18, 1984
- Logics of Programs
- Automata, Languages and Programming
- A Hierarchical Associative Processing System
- Advances in Cryptology
- Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, Pa, July 9-11, 1984
- Portal Language Description
- Fundamentals of Computation Theory
- Trace Theory and VLSI Design
- Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985
- Rewriting Techniques and Applications
- Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
- Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 2: Research Contributions
- A Study in String Processing Languages
- Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings
- The Analysis of Concurrent Systems
- Computation Theory: Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings
- Advances in Cryptology
- Stacs 86
- Complexity and Structure
- Interval Mathematics 1985
- ESOP 86: European Symposium on Programming, Saarbr]cken, Federal Republic of Germany, March 17-19, 1986. Proceedings
- Caap'86: 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings
- Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, Gdr, April
- Lucas: Associative Array Processor: Design, Programming and Application Studies
- Programs as Data Objects
- Advances in Cryptology
- Advances in Cryptology - Eurocrypt '85
- RIMS Symposia on Software Science and Engineering II
- Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
- Advances in Petri Nets 1985
- Structure in Complexity Theory
- Current Trends in Concurrency: Overviews and Tutorials
- Third International Conference on Logic Programming
- Automata, Languages and Programming
- VLSI Algorithms and Architectures: Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings
- Applied Algebra, Algorithmics and Error-Correcting Codes
- Algebraic Algorithms and Error-Correcting Codes
- 8th International Conference on Automated Deduction
- Newcat: Parsing Natural Language Using Left-Associative Grammar
- Fundamentals of Artificial Intelligence
- Mathematical Foundations of Computer Science 1986
- Concepts in User Interfaces: A Reference Model for Command and Response Languages
- Accurate Scientific Computations: Symposium, Bad Neuenahr, FRG, March 12-14, 1985 Proceedings
- Tex for Scientific Documentation
- Conpar 86: Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17 - 19, 1986. Proceedings
- Negation and Control in PROLOG
- Mathematical Foundation of Programming Semantics
- Category Theory and Computer Programming
- Evualation of Cross-Language Information Retrieval Systems: Second Workshop of the Cross-Language Evaluation Forum, Clef 2001, Darmstadt, Germany, Sep
- Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings
- Combinators and Functional Programming Languages
- Icdt'86: International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings
- Advanced Programming Environments
- Lectures on the Complexity of Bilinear Problems
- Stacs 87
- Networking in Open Systems
- Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
- Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
- Unobstructed Shortest Paths in Polyhedral Environments
- VDM '87. VDM - A Formal Method at Work
- The Mechanisms of Neuronal Damage in Virus Infections of the Nervous System
- Wopplot 86 Parallel Processing: Logic, Organization, and Technology: Proceedings of a Workshop Neubiberg, Federal Republic of Germany, July 2-4, 1986
- Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
- Rewriting Techniques and Applications
- Database Machine Performance: Modeling Methodologies and Evaluation Strategies
- Parle Parallel Architectures and Languages Europe
- Parle Parallel Architectures and Languages Europe
- Anna a Language for Annotating ADA Programs: Reference Manual
- Translating Relational Queries Into Iterative Programs
- A Review of ADA Tasking
- Advances in Cryptology - Crypto '86
- Logic Programming '86
- Analogical and Inductive Inference: International Workshop Aii'86 Wendisch-Rietz, Gdr, October 6-10, 1986, Proceedings
- Advances in Petri Nets 1987
- Automata, Languages and Programming
- Parallel Algorithms and Architectures
- Computation Theory and Logic
- From Logic Design to Logic Programming
- Future Parallel Computers
- A Connotational Theory of Program Structure
- Functional Programming Languages and Computer Architecture
- System Development and ADA: Crai Workshop on Software Factories and ADA, Capri, Italy, May 26-30, 1986, Proceedings
- Ecoop '87. European Conference on Object-Oriented Programming
- Hankel Norm Approximation for Infinite-Dimensional Systems
- H [Infinity] Control and Filtering of Two-Dimensional Systems
- Fundamentals of Computation Theory: International Conference Fct '87 Kazan, USSR, June 22-26, 1987. Proceedings
- Graph Reduction: Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986
- Mathematical Models for the Semantics of Parallelism
- Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, O
- Visualization in Programming
- Category Theory and Computer Science
- Embedded Systems: New Approaches to Their Formal Description and Design. an Advanced Course, Zurich, Switzerland, March 5-7, 1986
- Semantics of Digital Circuits
- Uncertainty in Knowledge-Based Systems
- Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Proceedings
- Metasoft Primer
- Esec '87
- Co-Op
- Graph-Grammars and Their Application to Computer Science
- Sheaves on Manifolds
- The Munich Project Cip: Volume II: The Programme Transformation System Cip-S
- Continuous Martingales and Brownian Motion
- Stacs 88
- Parallel Computing in Science & Engineering
- Trends in Computer Algebra
- Caap '88
- ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
- Attribute Grammar Inversion and Source-To-Source Translation
- Advances in Database Technology - Edbt '88
- Advances in Cryptology - Eurocrypt '87
- Mfdbs 87: 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, Gdr, January 19-23, 1987. Proceedings
- Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings
- Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra: 4th International Conference, Aaecc-4, Karlsruhe, Frg, September 23-26
- Conditional Term Rewriting Systems
- Experiences with Distributed Systems
- 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings
- Coding Theory and Applications
- Distributed Algorithms
- Uncertainty and Intelligent Systems: 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems I
- Graph-Theoretic Concepts in Computer Science: International Workshop Wg '87, Kloster Banz/Staffelstein, Frg, June 29 - July 1, 1987. Proceedings
- Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
- Automata Networks: Litp Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
- Automata Languages & Programming
- Swat '88: 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings
- Natural Language at the Computer
- Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
- Ecoop '88 European Conference on Object-Oriented Programming
- Attribute Grammars: Definitions, Systems and Bibliography
- Mathematical Foundations of Computer Science 1988: 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings
- Icdt '88: 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings
- VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
- CSL '87
- Formal Techniques in Real-Time and Fault-Tolerant Systems
- Recent Trends in Data Type Specification
- Computational Geometry and Its Applications
- Advances in Object-Oriented Database Systems: 2nd International Workshop on Object-Oriented Database Systems, Bad M??nster Am Stein-Ebernburg, Frg, Se
- Concurrency 88
- Efficient Structures for Geometric Data Management
- Foundations of Software Technology and Theoretical Computer Science
- Statistical and Scientific Database Management
- Advances in Petri Nets 1988
- Software Reliability Modelling and Identification
- Proceedings / Parcella 1988
- Algebraic and Logic Programming
- Graph-Theoretic Concepts in Computer Science
- Non-Monotonic Reasoning
- Knowledge Representation and Organization in Machine Learning
- Programming Languages Implementation and Logic Programming
- Stacs 89
- Global Optimization
- Tapsoft '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
- Tapsoft '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
- Foundations of Equational Logic Programming
- Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
- Rewriting Techniques and Applications
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Symbolic & Algebraic Computation
- High Performance Transaction Systems
- Nested Relations and Complex Objects in Databases
- Synthesizing Synchronous Systems by Static Scheduling in Space-Time
- Logic at Botik '89
- Mfdbs 89
- Parle '89 - Parallel Architectures and Languages Europe: Volume I: Parallel Architectures, Eindhoven, the Netherlands, June 12-16, 1989; Proceedings
- Parle '89 - Parallel Architectures and Languages Europe
- Foundations of Data Organization and Algorithms
- Database Machines
- Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets
- Modified Branching Programs and Their Computational Power
- Compiler Compilers and High Speed Compilation
- Automata, Languages and Programming
- Algorithms for Parallel Polygon Rendering
- Mathematics of Program Construction: 375th Anniversary of the Groningen University. International Conference, Groningen, the Netherlands, June 26-30,
- Software Engineering Education
- Electronic Dictionaries and Automata in Computational Linguistics
- Eurocal '87: European Conference on Computer Algebra, Leipzig, Gdr, June 2-5, 1987. Proceedings
- Mathematical Foundations of Computer Science 1989
- Fundamentals of Computation Theory
- Algorithms and Data Structures: Workshop Wads '89, Ottawa, Canada, August 17-19, 1989. Proceedings
- Parallel Computing 1988
- CSL'88
- Formal Properties of Finite Automata and Applications
- Coding Theory and Applications
- Category Theory and Computer Science
- Distributed Algorithms
- Categorical Methods in Computer Science
- Algebraic Methods: Theory, Tools and Applications
- Computational Aspects of an Order-Sorted Logic with Term Declarations
- Local Area Network Security
- Temporal Logic in Specification
- Recent Issues in Pattern Analysis and Recognition
- Concrete and Abstract Voronoi Diagrams
- Optimal Algorithms
- Interactive Relational Database Design
- Concepts, Design, and Performance Analysis of a Parallel PROLOG Machine
- Theorie Du Potentiel Et Analyse Harmonique
- Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings
- Automatic Verification Methods for Finite State Systems
- Design and Implementation of Large Spatial Databases
- Computer Aided Systems Theory - Eurocast '89: A Selection of Papers from the International Workshop Eurocast '89, Las Palmas, Spain, February 26 - Mar
- Graph-Theoretic Concepts in Computer Science: 15th International Workshop Wg '89, Castle Rolduc, the Netherlands, June 14-16, 1989, Proceedings
- Neural Networks
- Group Theoretical Methods in Image Processing
- Loglan '88 - Report on the Programming Language
- Stacs 90
- Advances in Database Technology - Edbt '90
- Colog-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
- Statistical and Scientific Database Management: Fifth International Conference, V Ssdbm, Charlotte, N.C., USA, April 3-5, 1990, Proceedings
- A Formal Model of Visualization in Computer Graphics Systems
- Reasoning and Revision in Hybrid Representation Systems
- Advances in Petri Nets 1989
- Computer Vision - Eccv 90: First European Conference on Computer Vision. Antibes, France, April 23-27, 1990. Proceedings
- VDM '90. VDM and Z - Formal Methods in Software Development
- Design and Implementation of Symbolic Computation Systems
- Stepwise Refinement of Distributed Systems
- Advances in Solar Physics: Proceedings of the Seventh European Meeting on Solar Physics Held in Catania, Italy, 11 - 15 May 1993
- ESOP '90
- Advances in Cryptology - Eurocrypt '89
- Advanced Information Systems Engineering
- Current Trends in Sneps - Semantic Network Processing System
- Computer Assisted Learning
- Visualization in Human-Computer Interaction
- CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings
- Parallel LISP: Languages and Systems
- Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings
- Swat '90: 2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings
- Fault-Tolerant Distributed Computing
- Algorithms: International Symposium Sigal '90, Tokyo, Japan, August 16-18, 1990. Proceedings
- Mathematical Foundations of Computer Science 1990
- Advances in Cryptology - Auscrypt '90
- Combinatorics on Traces
- A Collection of Test Problems for Constrained Global Optimization Algorithms
- Programming Language Implementation and Logic Programming
- Attribute Grammars and Their Applications
- Algebraic and Logic Programming
- Aspects and Prospects of Theoretical Computer Science
- Database Systems of the 90s
- Software Engineering Environments
- Advances in Computing and Information - ICCI '90
- Icdt '90
- Efficient Query Processing in Geographic Information Systems
- Foundations of Software Technology and Theoretical Computer Science: Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
- Advances in Cryptology - Eurocrypt '90
- Information Systems and Artificial Intelligence: Integration Aspects
- Natural Language Processing
- Compiler Compilers
- Meta-Level Control for Deductive Database Systems
- Stacs 91
- Advances in Petri Nets 1990
- Graph-Theoretic Concepts in Computer Science
- Distributed Algorithms
- Rewriting Techniques and Applications
- Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28 - June 1, 1990
- Computer-Aided Cooperative Product Development
- Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
- Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
- Mfdbs 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991
- Parallel Problem Solving from Nature
- Unemployment in Open Economies: A Search Theoretic Analysis
- Advances in Computing and Information - ICCI '91
- ADA: The Choice for '92: ADA-Europe International Conference Athens, Greece, May 13-17, 1991
- Algebraic System Specification and Development
- Quantitative Models for Reverse Logistics
- Baltic Computer Science
- Economics with Heterogeneous Interacting Agents
- Parallel Database Systems
- Next Generation Information System Technology
- PARLE '91, Parallel Architectures and Languages Europe
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Automata, Languages and Programming
- Ecoop '91 European Conference on Object-Oriented Programming
- An Approach to Knowledge Base Management
- Eurocode '90
- Conditional and Typed Rewriting Systems
- Algorithms and Data Structures
- Mathematical Foundations of Computer Sci
- Uncertainty in Knowledge Bases: 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Ipmu'
- European Workshop on Planning: Ewsp'91, Sankt Augustin, Frg, March 18-19, 1991. Proceedings
- Functional Programming Languages and Computer Architecture
- Advances in Petri Nets 1991
- Advances in Spatial Databases
- Theoretical Aspects of Computer Software
- Concur '91
- Statistical Mechanics of Biocomplexity: Proceedings of the XV Sitges Conference, Held at Sitges, Barcelona, Spain, 8-12 June 1998
- Programming Language Implementation and Logic Programming
- Fundamentals of Computation Theory
- Category Theory and Computer Science
- Computer-Aided Verification
- Graph Grammars and Their Application to Computer Science
- Computer Science Logic
- Recent Trends in Data Type Specification
- Fundamentals of Artificial Intelligence Research
- Software Engineering Education
- Advances in Cryptology - Crypto '90
- A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Artificial Neural Networks
- Epia'91
- Methods of Programming
- Text Understanding in Lilog
- Symbolic and Quantitative Approaches to Uncertainty
- Esec '91
- Lecture Notes in Computer Science #551-: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
- Lecture Notes in Computer Science #551-: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
- Computational Geometry - Methods, Algorithms and Applications
- New Results and New Trends in Computer Science: Graz, Austria, June 20-21, 1991 Proceedings
- Conclog: A Methodological Approach to Concurrent Logic Programming
- ISA '91 Algorithms: 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991. Proceedings
- Specification and Compositional Verification of Real-Time Systems
- Fundamental Algorithms for Permutation Groups
- Foundations of Software Technology and Theoretical Computer Science
- The Stability Theory of Stream Ciphers
- Operating Systems of the 90s and Beyond
- The Use of Projective Geometry in Computer Graphics
- Deductive and Object-Oriented Databases
- Formal techniques in real-time and fault-tolerant systems :second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
- Word Equations and Related Topics
- Algebraic Coding
- Research Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17-19, 1991 Proceedings
- Computer Aided Verification
- Physics of Neutron Star Interiors
- Interacting Electrons in Nanostructures
- Advances in Database Technology - Edbt '92
- Caap '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings
- ESOP '92
- Latin '92
- Computer Algebra and Parallelism
- Computer Aided Systems Theory - Eurocast '91
- Parallel Execution of Parlog
- Languages and Compilers for Parallel Computing
- Parallel Computation
- Logic Programming
- Advanced Information Systems Engineering
- Data Structures and Efficient Algorithms
- A Perspective of Constraint-Based Reasoning
- Mathematical Foundations of Programming Semantics
- Real-Time: Theory in Practice
- Theory of Computing and Systems
- Computer Assisted Learning
- ADA: Moving Towards 2000
- Axioms and Hulls
- Intelligent Tutoring Systems
- Advances in Petri Nets 1992
- Coordinating Plans of Autonomous Agents
- The Next Generation of Information Systems: From Data to Knowledge
- Constructivity in Computer Science
- Network and Operating System Support for Digital Audio and Video: Second International Workshop, Heidelberg, Germany, November 18-19, 1991. Proceeding
- Ecoop '92. European Conference on Object-Oriented Programming
- Application and Theory of Petri Nets 1992
- Advanced Database Systems
- Nonclassical Logics and Information Processing
- Logical Foundations of Computer Science - Tver '92
- Automata, Languages and Programming
- Computer Science Logic
- Lexical Semantics and Knowledge Representation
- Relational Matching
- Mathematical Foundations of Computer Science 1992
- Concur 92 Third International Conference
- Programming Language Implementation and Logic Programming
- Algebraic and Logic Programming
- Software Process Technology
- Journees de Statistique Des Processus Stochastiques
- Memory Management
- Theories and Methods of Spatio-Temporal Reasoning in Geographic Space: International Conference GIS - From Space to Territory: Theories and Methods of
- Software Engineering Education
- Compiler Construction 4TH International
- Hyperedge Replacement: Grammars and Languages
- Combinatorial Pattern Matching
- Database Theory - Icdt '92
- Algorithms and Computation
- Specifying Message Passing and Time-Critical Systems with Temporal Logic
- Foundations of Software Technology and Theoretical Computer Science
- Future Tendencies in Computer Science, Control and Applied Mathematics
- Recent Trends in Data Type Specification
- Graph-Theoretic Concepts in Computer Science
- Machine Learning: From Theory to Applications
- Computer Aided Verification
- Stacs 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, W??rzburg, Germany, February 25-27, 1993. Proceeding
- Semantics :foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
- Mathematics of Program Construction
- Industrial Strength Formal Methods
- The Mosix Distributed Operating System
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Advances in Petri Nets 1993
- Live Data Structures in Logic Programs
- Recognizing Planar Objects Using Invariant Image Features
- Word Equations & Related Topics
- Parallel Architectures and Their Efficient Use
- Resolution Methods for the Decision Problem
- Program Development By Specification &
- The Logic of Information Structures
- Ipmu'92 - Advanced Methods in Artificial Intelligence
- Correct Hardware Design and Verification Methods
- Combinatorial Pattern Matching
- Advanced Information Systems Engineering
- Information Processing in Medical Imaging: 13th International Conference, Ipmi'93, Flagstaff, Arizona, USA, June 14-18, 1993. Proceedings
- ADA-Europe '93
- Rewriting Techniques and Applications
- Application & Theory of Petri Nets 1993
- Advances in Spatial Databases
- Functional Programming, Concurrency, Simulation and Automated Reasoning
- Parle '93 Parallel Architectures and Languages Europe: 5th International Parle Conference, Munich, Germany, June 14-17, 1993. Proceedings
- Fuzzy Logic in Artificial Intelligence
- Advances in Databases
- Automata, Languages and Programming
- LOGITDATA+: Deductive Databases with Complex Objects
- Computer Science Logic
- The Design of an Extendible Graph Editor
- Experimental Software Engineering Issues - Critical Assessment & Future Directions: Proceedings of an International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992
- ECOOP '93 - Object-Oriented Programming: Proceedings of the 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993
- Algorithms & Data Structures: Proceedings of the Third Workshop on Algorithms & Data Structures, Montreal, Canada, August 11-13, 1993
- Fundamentals of Computation Theory
- Mathematical Foundations of Computer Science 1993
- Network and Operating System Support for Digital Audio and Video
- Computational Logic and Proof Theory
- Programming Language Implementation and Logic Programming
- Concur'93
- Software Engineering - Esec '93
- Advances in Cryptology - Auscrypt '92
- Database and Expert Systems Applications: 4th International Conference, Dexa'93, Prague, Czech Republic, September 6-8, 1993. Proceedings
- Design and Implementation of Symbolic Computation Systems
- Design and Implementation of Symbolic Computation Systems
- Knowledge Acquisition for Knowledge-Based Systems
- Static Analysis
- Distributed Algorithms
- Algorithms - ESA '93
- Progress in Artificial Intelligence
- Performance Evaluation of Computer and Communication Systems
- DCE - The OSF Distributed Computing Environment: Client - Server Model & Beyond: International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993, Proceedings
- Assessing Childhood Psychopathology and Developmental Disabilities
- Parallel Computation
- Formal Methods in Programming and Their Applications
- Artificial Intelligence and Symbolic Mathematical Computing
- The Generic Development Language Deva
- Advances in Cryptology - Asiacrypt '91
- Computer Security and Industrial Cryptography
- Object Technologies for Advanced Software
- Symbolic and Quantitative Approaches to Reasoning and Uncertainty
- Parallel Symbolic Computing: Languages, Systems, and Applications
- Automated and Algorithmic Debugging
- Software Engineering Education: 7th SEI Csee Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings
- Spatio-Temporal Image Processing
- Information and Knowledge Management
- Design of Hashing Algorithms
- Languages and Compilers for Parallel Computing
- Towards Dynamic Randomized Algorithms in Computational Geometry
- Advanced Database Systems
- Deductive and Object-Oriented Databases
- Foundations of Software Technology and Theoretical Computer Science
- Algorithms and Computation
- Computer aided systems theory--EUROCAST '93 :a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings
- Vivid Logic
- An Extended Entity-Relationship Model
- The Newton-Cauchy Framework
- Representing Plans Under Uncertainty
- Software Process Technology
- Hardware and Software Architectures for Fault Tolerance
- Graph Transformations in Computer Science
- Management and Processing of Complex Data Structures
- Advances in Database Technology - Edbt '94: 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1
- Algebraic Coding: First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings
- Mobile Communications - Advanced Systems and Components
- Recent Trends in Data Type Specification
- Compiler Construction
- Trees in Algebra and Programming - Caap '94
- Programming Languages and Systems - ESOP '94
- Graph-Theoretic Concepts in Computer Science
- Logic, Language, & Computation: Festschrift in Honor of Satoru Takasu
- Information Theory and Applications
- Computer Performance Evaluation
- High-Performance Computing and Networking
- High-Performance Computing and Networking
- Multiagent Systems
- Lecture Notes in Computer Science #800-: Computer Vision - Eccv '94
- Lecture Notes in Computer Science #800-: Computer Vision - Eccv '94: Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 1
- Mathematical Foundations of Programming Semanti
- A Decade of Concurrency
- Parallel and Distributed Computing
- Types for Proofs and Programs
- Combinatorial Pattern Matching
- Fast Software Encryption
- Advanced Information Systems Engineering
- Results and Trends in Theoretical Computer Science
- Logical Foundations of Computer Science
- Application and Theory of Petri Nets 1994
- Higher-Order Algebra, Logic, and Term Rewriting
- Computer Aided Verification
- Applications of Databases
- Automata, Languages, and Programming
- Ecoop '94 - Object-Oriented Programming
- Algorithm Theory - Swat '94
- Applications of Invariance in Computer Vision
- Directions in Databases
- Isabelle
- Error Control, Cryptology, and Speech Compression
- Computer Science Logic
- Fuzzy Logic and Fuzzy Control
- Algorithms and Computation
- Concur '94: Concurrency Theory
- Topics in Case-Based Reasoning
- Mathematical Foundations of Computer Science 1994
- Treewidth
- Constraints in Computational Logics
- Fuzzy Logic in Artificial Intelligence: Proceedings of the IJCAI '93 Workshop, Chambery, France, August 28, 1993
- Field-Programmable Logic: Architecture, Synthesis & Applications: Fourth International Workshop on Field-Programmable Logic & Applications, FPL '94, Prague, Czech Republic, September 7-9
- Algebraic & Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14 16, 1994. Proceedings
- International Conference on Intelligence in Broadband Services & Networks: Towards a Pan-European Telecommunication Service infrastructure, 851
- Dependable Computing - Edcc-1
- Algorithms - ESA '94: Second Annual European Symposium, Utrecht, the Netherlands, September 26- 28, 1994. Proceedings
- Object-Oriented Methodologies & Systems: Proceedings of the International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994
- Higher order logic theorem proving and its applications :7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
- Computers for Handicapped Persons: 4th International Conference, Icchp '94, Vienna, Austria, September 14-16, 1994. Proceedings
- Formal Techniques in Real-Time and Fault-Tolerant Systems
- Static Analysis: Proceedings of the First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994
- Parallel Problem Solving from Nature - Evolutionary Computation: Proceedings of the International Conference on Evolutionary Computation, Held jointly with the Third Conference on Parallel Problem Sol
- A Future for Knowledge Acquisition
- Multimedia :advanced teleservices and high-speed communication architectures : second international workshop, IWACA '94, Heidelberg, Germany, September 26-28, 1994 : proceedings
- Methodologies for Intelligent Systems
- Database Issues for Data Visualization: Proceedings of the IEEE Visualization '93 Workshop, San Jose, California, USA, October 26, 1993
- Algorithmic Learning Theory: Proceedings of the 4th International Workshop on Analogical & Inductive Inference, AII'94, & 5th International Workshop on Algorithmic Learning Theory, ALT'94, Reinhardsbr
- FME '94: Industrial Benefit of Formal Methods: Proceedings of the Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994
- Principles & Practice of Constraint Programming
- Computer Security: ESORICS 94
- Parallel, Distributed and Multiagent Production Systems
- Parallel Scientific Computing
- Foundations of Software Technology and Theoretical Computer Science
- Multimedia transport and teleservices :International COST 237 Workshop, Vienna, Austria, November 13-15, 1994 : proceedings
- Geographic Information Systems
- Ada in Europe: Proceedings of the First International Eurospace-Ada Symposium, Copenhagen, Denmark, September 26-30, 1994
- Analysis of Dynamical and Cognitive Systems: Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
- Towards a Cscw Framework for Scientific Cooperation in Europe
- Formal Development of Reactive Systems
- Languages & Compilers for Parallel Computing: Proceedings of the 7th International Workshop Held at Ithaca, New York, U. S. A., August 1994
- Database Theory - Icdt '95
- Graphic Drawing
- Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings
- Machine Translation and the Lexicon
- Evolution & Biocomputation
- Theorem Provers in Circuit Design
- Typed Lambda Calculi & Applications Second Inter
- Graph-Theoretic Concepts in Computer Science
- Theory & Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings
- Extensions of the Unity Methodology
- Term Rewriting: Advanced Course Held at the French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993
- Constraint Programming: Basics and Trends
- Latin '95: Theoretical Informatics: Second Latin American Symposium, Valparaiso, Chile, April 17-21, 1995. Proceedings
- Machine Learning: ECML - 95: Proceeding of the 8th European Conference on Machine Learning, Held at Heraclion, Greece, April 25-27, 1995
- Software Process Technology
- Digital Libraries - Current Issues
- Integer Programming & Combinatorial Optimization: 4th International Conference, IPCO '95, Copenhagen, Denmark, May 29-31, 1995, Proceedings
- Efficient Graph Rewriting and Its Implementation
- Object-Based Models & Languages for Concurrent Systems: ECOOP '94 Workshop on Models & Languages for Coordination of Parallelism & Distribution, Bologna, Italy, July 5, 1994: Selected Papers
- Advanced Functional Programming
- Logic Programming & Non-Monotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 24-26, 1995: Proceedings
- Artificial Neural Networks: An Introduction to ANN Theory & Practice
- Advanced Information Systems Engineering: 7th International Conference, CAiSE '95, Jyvaskyla, Finland, June 12-16, 1995. Proceedings
- Artificial Intelligence in Medicine
- Application and Theory of Petri Nets 1995
- Algebraic methodology and software technology :4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings
- Combinatorial Pattern Matching: 6th Annual Symposium, CPM 95, Espoo, Finland, July 5-7, 1995: Proceedings
- Computer Aided Verification
- Directions in Databases: 13th British National Conference on Databases, BNCOD 13 Manchester, United Kingdom, July 1995 Proceedings
- Tractable reasoning in artificial intelligence
- Metaclasses and their application :data model tailoring and database integration
- Automata, Languages and Programming
- Advances in Intelligent Computing - Ipmu '94
- Symbolic and Quantitative Approaches to Reasoning and Uncertainty
- Symbolic and Quantitative Approaches to Reasoning and Uncertainty
- Advances in spatial databases :4th international symposium, SSD '95, Portland, ME, USA, August 6-9, 1995 : proceedings
- Category Theory and Computer Science
- Logic and computational complexity :international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
- Algorithmic learning for knowledge-based systems :GOSLER final report
- Parallel computing technologies :third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings
- Euro-Par '95: Parallel Processing
- Conditional and typed rewriting systems :4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings
- Higher order logic theorem proving and its applications :8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
- Distributed Algorithms
- Information Management in Computer Integrated Manufacturing
- Image Analysis and Processing
- Field-Programmable Logic & Applications: 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29-September 1, 1995, Proceedings, Vol. XII
- Principles and Practice of Constraint Programming - Cp '95
- Quantitative evaluation of computing and communication systems :8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Co
- Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, Lyon, France, September 4-6, 1995, Proceedings, Vol. X
- Static Analysis
- Advances in Case-Based Reasoning: Second European Workshop, EWCBR-94, Chantilly, France, November 1994: Selected Papers
- Memory Management
- Correct Hardware Design and Verification Methods
- Spatial Information Theory: A Theoretical Basis for GIS: International Conference, COSIT '95, Semmering, Austria, September 21-23, 1995, Proceedings
- Object representation in computer vision :International NSF-ARPA Workshop, New York City, NY, USA, December 5-7, 1994 : proceedings
- Complexity of Simple Computer Architectures
- Types for Proofs and Programs
- Hybrid systems II
- Computer Science Today: Recent Trends and Developments
- Integrity Primitives for Secure Information Systems: Final RIPE Report of RACE Integrity Primitives Evaluation
- Case-Based Reasoning: Proceedings; Research & Development: First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995
- Network and Operating Systems Support for Digital Audio and Video
- Progress in Case-Based Reasoning: First United Kingdom Workshop, Salford, UK, January 1995, Proceedings
- Image analysis applications and computer graphics :Third International Computer Science Conference, ICSC '95, Hong Kong, December 11-13, 1995 : proceedings
- Cryptography and Coding
- Cryptography: Policy and Algorithms
- Partial-Order Methods for the Verification of Concurrent Systems
- Constraint Databases & Applications: Esprit WG Contessa Workshop, Friedrichshafen, Germany, September 8-9, 1995: Proceedings
- Trends in Natural Language Generation - An Artificial Intelligence Perspective
- Applied parallel computing :computations in physics, chemistry, and engineering science : second international workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings
- Adaption & Learning in Multi-Agent Systems: IJCAI'95 Workshop, Montreal, Canada, August 21, 1995, Proceedings
- Extensions of Logic Programming
- Towards Evolvable Hardware
- Computer Vision - Eccv '96
- Parallel symbolic languages and systems :International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings
- Applications of Multi-Agent Systems
- Graph Grammars and Their Application to Computer Science
- Foundations of Intelligent Systems
- Practical Reasoning: International Conference on Formal & Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 1996, Proceedings, Vol. 108
- Bounded Incremental Computation
- Computing and Combinatorics
- Computer science logic :9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
- Advances in Databases: 14th British National Conference on Databases, Edinburgh, Scotland United Kingdom, July 1996 - Proceedings, Vol. 1094
- Algebraic Methodology and Software Technology
- Object-Based Parallel & Distributed Computation: France-Japan Workshop, OBPDC '95, Tokyo
- Partial Evaluation
- Management of Telecommunication Systems and Services
- Concur '96: Concurrency Theory
- Programming languages :implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings
- Computer Security - Esorics 96
- Applied Computational Geometry. Towards Geometric Engineering
- Advances in Artificial Intelligence: 13th Brazilian Symposium on Artificial Intelligence, Sbia '96, Curitiba, Brazil,
- Trends in Distributed Systems: Corba & Beyond - International Workshop Treds '96, Aachen, Germany, October 1-2, 1996 : Proceedings
- Advances in Cryptology - Asiacrypt '96
- Automatic ambiguity resolution in natural language processing :an empirical approach
- Efficient Visual Recognition Using the Hausdorff Distance
- Information











