| CONCUR `90 - 9783540530480 |
| Natural Language and Logic - 9783540530824 |
| Attribute Grammars and Their Applications - 9783540531012 |
| Expert Systems in Engineering - 9783540531043 |
| Aspects and Prospects of Theoretical Computer Science - 9783540534143 |
| Glossary of Transmission Elements - 9783540534259 |
| User Interface Management and Design - 9783540534549 |
| Advances in Computing and Information - 9783540535041 |
| ICDT 90 - 9783540535072 |
| Logic of Theory Change - 9783540535676 |
| Advances in Cryptology - EUROCRYPT '90 - 9783540535874 |
| Extensions of Logic Programming - 9783540535904 |
| Logics in Artificial Intelligence - 9783540536864 |
| Theoretical Aspects of Computer Science - 9783540537090 |
| Meta-Level Control for Deductive Data Base Systems - 9783540537540 |
| Graph-Theoretic Concepts in Computer Science - 9783540538325 |
| Advances in Petri Nets - 9783540538639 |
| Rewriting Techniques and Applications - 9783540539049 |
| Algebraic Methods, Vol. 2 - 9783540539124 |
| Theory and Practice of Software Development - 9783540539810 |
| Theory and Practice of Software Development - 9783540539827 |
| Computer-Aided Cooperative Product Development - 9783540540083 |
| Advances in Computing and Information - 9783540540298 |
| Advanced Information Systems Engineering - 9783540540595 |
| Distributed Algorithms - 9783540540991 |
| Baltic Computer Science - 9783540541318 |
| Parallel Data Base Systems - 9783540541325 |
| Next Generation Information System Technology - 9783540541417 |
| Parallel Architectures and Languages Europe - 9783540541516 |
| Parle '91 - 9783540541523 |
| Software Development Environments and Case Technology - 9783540541943 |
| Automata, Languages and Programming - 9783540542339 |
| ECOOP '91 European Conference on Object-Oriented Programming - 9783540542629 |
| Approach to Knowledge Base Management - 9783540542681 |
| Eurocode '90 - 9783540543039 |
| Truth Maintenance Sytems - 9783540543053 |
| Conditional and Typed Rewriting Systems - 9783540543176 |
| Algorithms and Data Structures, Vol. 2 - 9783540543435 |
| Uncertainty in Knowledge Bases - 9783540543466 |
| Planning - 9783540543640 |
| Functional Programming Languages and Computer Architecture - 9783540543961 |
| Advances in Spatial Databases - 9783540544142 |
| Theoretical Aspects of Computer Software - 9783540544159 |
| Semiconductor Surfaces - 9783540544234 |
| Concurrency Theory - 9783540544302 |
| Programming Language Implementation and Logic Programming - 9783540544449 |
| Fundamentals of Computation Theory - 9783540544586 |
| Graph Grammars and Their Application to Computer Science - 9783540544784 |
| Equilibrium Theory in Infinite Dimensional Spaces - 9783540544807 |
| Computer Science Logic - 9783540544876 |
| Category Theory and Computer Science - 9783540544951 |
| Recent Trends in Data Type Specification - 9783540544968 |
| Software Engineering Education - 9783540545026 |
| Fundamentals of Artificial Intelligence Research - 9783540545071 |
| Applied Algebra, Algebraic Algorithms and Error-Correcting Codes - 9783540545224 |
| Artificial Neural Networks - 9783540545378 |
| Nonmonotonic and Inductive Logic - 9783540545644 |
| Attribute Grammars, Applications and Systems - 9783540545729 |
| Symbolic and Quantitative Approaches to Uncertainty - 9783540546597 |
| Trends in Artificial Intelligence - 9783540547129 |
| Taschenbuch Der Hochfrequenztechnik - 9783540547143 |
| European Software Engineering Conference - 9783540547426 |
| VDM '91 - 9783540548348 |
| V. D. M. - 9783540548683 |
| New Results and New Trends in Computer Science - 9783540548690 |
| Computational Geometry - Methods, Algorithms and Applications - 9783540548911 |
| Problem of Incomplete Information in Relational Data Bases - 9783540549192 |
| Conclog - 9783540549383 |
| International Symposium on Algorithms - 9783540549451 |
| Specification and Compositional Verification of Real-Time Systems - 9783540549475 |
| Fundamental Algorithms for Permutation Groups - 9783540549550 |
| Foundations of Software Technology and Theoretical Computer Science - 9783540549673 |
| Algebraic Specification Techniques in Object Oriented Programming Environments - 9783540549727 |
| Stability Theory of Stream Ciphers - 9783540549734 |
| Operating Systems of the 90s and Beyond - 9783540549871 |
| Deductive and Object-Oriented Databases - 9783540550150 |
| Processing Declarative Knowledge - 9783540550334 |
| Resolution Principle for a Logic with Restricted Quantifiers - 9783540550341 |
| Use of Projective Geometry in Computer Graphics - 9783540550754 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems, Vol. 2 - 9783540550921 |
| Graph-Theoretic Concepts in Computer Science - 9783540551218 |
| Word Equations and Related Topics - 9783540551249 |
| Algebraic Coding - 9783540551300 |
| Research Directions in High-Level Parallel Programming Languages - 9783540551607 |
| Computer Aided Verification, Vol. 3 - 9783540551799 |
| Theoretical Aspects of Computer Science - 9783540552109 |
| Public Key Cryptography - 9783540552154 |
| Distributed Algorithms - 9783540552369 |
| CAAP 92 - 9783540552512 |
| ESOP 92 - 9783540552536 |
| Advances in Database Technology - 9783540552703 |
| Latin 92 - 9783540552840 |
| Macroeconomics and New Macroeconomics - 9783540553182 |
| Computer Algebra and Parallelism - 9783540553281 |
| Computer Aided Systems Theory, Vol. 2 - 9783540553540 |
| Parallel Execution of PARLOG - 9783540553823 |
| Aspects of Automated Natural Language Generation - 9783540553991 |
| Languages and Compilers for Parallel Computing - 9783540554226 |
| Parallel Computation - 9783540554370 |
| Lancelot - 9783540554707 |
| Advanced Information Systems Engineering - 9783540554813 |
| Data Structures and Efficient Algorithms - 9783540554882 |
| Perspective of Constraint-Based Reasoning - 9783540555100 |
| Mathematical Foundations of Programming Semantics - 9783540555117 |
| Theory of Computing and Systems - 9783540555537 |
| Real-Time - 9783540555643 |
| Informatik 2 - 9783540555674 |
| ADA - 9783540555858 |
| Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Vol. 5 - 9783540556015 |
| Automated Deduction - CADE-11 - 9783540556022 |
| Foundations of Economic Development - 9783540556046 |
| Intelligent Tutoring Systems - 9783540556060 |
| Advances in Petri Nets 1992 - 9783540556107 |
| Axioms and Hulls - 9783540556114 |
| Object-Based Concurrent Computing - 9783540556138 |
| Constructivity in Computer Science - 9783540556312 |
| Network and Operating System Support for Digital Audio and Video - 9783540556398 |
| Application and Theory of Petri Nets 1992 - 9783540556763 |
| Advanced Topics in Artificial Intelligence - 9783540556817 |
| Advanced Data Base Systems - 9783540556930 |
| Scandinavian Workshop on Algorithm Theory - 9783540557067 |
| Automata, Languages and Programming - 9783540557197 |
| Mathematical Problem Solving And New Information Technologies - 9783540557357 |
| Nonclassical Logics and Information Processing - 9783540557456 |
| Computer Science Logic - 9783540557890 |
