computer science books

Lecture Notes in Computer ScienceSno Title Series Volume

1 Lecture Notes in Computer Science 4




5 Automata, Languages and Programming Lecture Notes in Computer Science 14

6 L Systems Lecture Notes in Computer Science 15

7 Operating Systems Lecture Notes in Computer Science 16

8 PASCAL User Manual and Report Lecture Notes in Computer Science 18



11 Compiler Construction Lecture Notes in Computer Science 21

12 Programming Symposium Lecture Notes in Computer Science 19







5th Conference on Optimization Techniques Part II

GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen

5th Conference on Optimization Techniques Part I

Computing Methods in Applied Sciences and Engineering Part 2

Simple Program Schemes and Formal Languages

Simple Program Schemes and Formal Languages

Computing Methods in Applied Sciences and Engineering Part 1

International Symposium on Theoretical Programming

Matrix Eigensystem Routines — EISPACK Guide

Matrix Eigensystem Routines — EISPACK Guide

Rechnerstrukturen und Betriebsprogrammierung

19 Formal Aspects of Cognitive Processes Lecture Notes in Computer Science 22

20 Programming Methodology Lecture Notes in Computer Science 2321 Parallel Processing Lecture Notes in Computer Science 24







28 Interval Mathematics Lecture Notes in Computer Science 29

29 Analysis of drum and disk storage units Lecture Notes in Computer Science 31

30 Exercises in Computer Systems Analysis Lecture Notes in Computer Science 35



33 λ-Calculus and Computer Science Theory Lecture Notes in Computer Science 37

34 λ-Calculus and Computer Science Theory Lecture Notes in Computer Science 37




Theory of Program Structures: Schemes, Semantics, Verification

Theory of Program Structures: Schemes, Semantics, Verification

Category Theory Applied to Computation and Control

Mathematical Foundations of Computer Science

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázn, September 15, 1975

Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975

Optimization Techniques IFIP Technical Conference Novosibirsk, July 1–7, 1974

Optimization Techniques Modeling and Optimization in the Service of Man Part 1

Optimization Techniques Modeling and Optimization in the Service of Man Part 2

Complementary Definitions of Programming Language Semantics


39 ECI Conference 1976 Lecture Notes in Computer Science 44


41 Language Hierarchies and Interfaces Lecture Notes in Computer Science 46

42 Theoretical Computer Science Lecture Notes in Computer Science 48

43 Interactive Systems Lecture Notes in Computer Science 49







50 Fundamentals of Computation Theory Lecture Notes in Computer Science 5651 Portability of Numerical Software Lecture Notes in Computer Science 57



54 Information Systems Methodology Lecture Notes in Computer Science 65




An Optimized Translation Process and Its Application to ALGOL 68

Mathematical Foundations of Computer Science 1976

Methods of Algorithmic Language Implementation

Matrix Eigensystem Routines — EISPACK Guide Extension


Design and Implementation of Programming Languages

Mes premières constructions de programmes

Computing in systems described by equations

A Concurrent Pascal Compiler for Minicomputers

Natural Language Communication with Computers



59 Operating Systems Lecture Notes in Computer Science 60

60 First-Order Dynamic Logic Lecture Notes in Computer Science 68

61 Program Construction Lecture Notes in Computer Science 69

62 Semantics of Concurrent Computation Lecture Notes in Computer Science 7063 Symbolic and Algebraic Computation Lecture Notes in Computer Science 72


65 Edinburgh LCF Lecture Notes in Computer Science 78






71 A Relational Theory of Computing Lecture Notes in Computer Science 8272 Algebraic semantics Lecture Notes in Computer Science 9973 Abstract Software Specifications Lecture Notes in Computer Science 86


75 Pictorial Information Systems Lecture Notes in Computer Science 80

76 International Symposium on Programming Lecture Notes in Computer Science 83

77 Net Theory and Applications Lecture Notes in Computer Science 84




TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

Graph-Grammars and Their Application to Computer Science and Biology


Mathematical Studies of Information Processing

Codes for Boundary-Value Problems in Ordinary Differential Equations

Architecture of Distributed Computer Systems

Reliability Evaluation of Some Fault-Tolerant Computer Architectures

Language Design and Programming Methodology Proceedings of a Symposium Held in Sydney, Australia, 10–11 September, 1979

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980


Computer Aided Design Modelling, Systems Engineering, CAD-Systems


82 Grammar and L forms: An introduction Lecture Notes in Computer Science 9183 A Calculus of Communicating Systems Lecture Notes in Computer Science 92


85 Semantics-Directed Compiler Generation Lecture Notes in Computer Science 94

86 Coroutines Lecture Notes in Computer Science 95


88 Digital Image Processing Systems Lecture Notes in Computer Science 109





93 Formalization of Programming Concepts Lecture Notes in Computer Science 107


95 Graph Theory and Algorithms Lecture Notes in Computer Science 10896 Boolean Calculus of Differences Lecture Notes in Computer Science 101


98 Y12M Lecture Notes in Computer Science 121

99 Compiler Specification and Verification Lecture Notes in Computer Science 124

100 Logic of Programs Lecture Notes in Computer Science 125


102 On the Integration of Algebraic Functions Lecture Notes in Computer Science 102

Using Sophisticated Models in Resolution Theorem Proving

Context-free grammars: Covers, normal forms, and parsing

Computer Programs for Spelling Correction: An Experiment in Program Design

Graphtheoretic Concepts in Computer Science

The Concurrency Control Problem for Database Systems

Distributed Systems — Architecture and Implementation

The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs

Directions in Human Factors for Interactive Systems




105 Fundamentals of Computation Theory Lecture Notes in Computer Science 117

106 Conpar 81 Lecture Notes in Computer Science 111

107 CAAP '81 Lecture Notes in Computer Science 112


109 CLU Reference Manual Lecture Notes in Computer Science 114



112 Trends in Information Processing Systems Lecture Notes in Computer Science 123

113 Computer Algebra Lecture Notes in Computer Science 144


115 Microcomputer System Design Lecture Notes in Computer Science 126

116 Alternating Sequential/Parallel Processing Lecture Notes in Computer Science 127



119 Logics of Programs Lecture Notes in Computer Science 131

120 Data Base Design Techniques I: Lecture Notes in Computer Science 132

121 Data Base Design Techniques II: Lecture Notes in Computer Science 133122 Program Specification Lecture Notes in Computer Science 134


The Programming Language Ada Reference Manual

Stochastic Automata: Stability, Nondeterminism, and Prediction

Automatic Differentiation: Techniques and Applications

Algorithms in Modern Mathematics and Computer Science

Verifying Concurrent Processes Using Temporal Logic

Axiomatising the Logic of Computer Programming

An Introduction to the PL/CV2 Programming Logic



126 6th Conference on Automated Deduction Lecture Notes in Computer Science 138


128 GAG: A Practical Compiler Generator Lecture Notes in Computer Science 141


130 Operating Systems Engineering Lecture Notes in Computer Science 143

131 Direct Methods for Space Matrices Lecture Notes in Computer Science 157

132 The Design of Dynamic Data Structures Lecture Notes in Computer Science 156

133 CAAP'83 Lecture Notes in Computer Science 159

134 The IOTA Programming System Lecture Notes in Computer Science 160

135 DIANA An Intermediate Language for Ada Lecture Notes in Computer Science 161

136 Computer Algebra Lecture Notes in Computer Science 162



139 Logics of Programs and Their Applications Lecture Notes in Computer Science 148

140 Cryptography Lecture Notes in Computer Science 149

141 Enduser Systems and Their Human Factors Lecture Notes in Computer Science 150

142 CONLAN Report Lecture Notes in Computer Science 151



Group-Theoretic Algorithms and Graph Isomorphism

Problems and Methodologies in Mathematical Software Production

Research and Development in Information Retrieval

RIMS Symposia on Software Science and Engineering

Graph-Grammars and Their Application to Computer Science



147 Foundations of Computation Theory Lecture Notes in Computer Science 158148 Large Sparse Numerical Optimization Lecture Notes in Computer Science 165



151 Feedback Shift Registers Lecture Notes in Computer Science 169152 EUROSAM 84 Lecture Notes in Computer Science 174




156 How to Multiply Matrices Faster Lecture Notes in Computer Science 179


158 Logics of Programs Lecture Notes in Computer Science 164

159 STACS 84 Lecture Notes in Computer Science 166



162 Semantics of Data Types Lecture Notes in Computer Science 173


164 Ada Software Tools Interfaces Lecture Notes in Computer Science 180

165 The Munich Project CIP Lecture Notes in Computer Science 183


167 Advances in Petri Nets 1984 Lecture Notes in Computer Science 188168 Paragon Lecture Notes in Computer Science 189

The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983

Specification and Design of Software Systems

Methods and Tools for Computer Integrated Manufacturing

P-Functions and Boolean Matrix Factorization

Programming Languages and Their Definition

Readings on Cognitive Ergonomics — Mind and Computers

Foundations of Software Technology and Theoretical Computer Science

Logic and Machines: Decision Problems and Complexity


Mathematical Foundations of Software Development

169 Distributed Systems Lecture Notes in Computer Science 190


171 Automata on Infinite Words Lecture Notes in Computer Science 192172 Logics of Programs Lecture Notes in Computer Science 193



175 Advances in Cryptology Lecture Notes in Computer Science 196

176 Seminar on Concurrency Lecture Notes in Computer Science 197

177 PORTAL Language Description Lecture Notes in Computer Science 198178 Fundamentals of Computation Theory Lecture Notes in Computer Science 199179 Trace Theory and VLSJ Design Lecture Notes in Computer Science 200


181 Rewriting Techniques and Applications Lecture Notes in Computer Science 202

182 EUROCAL '85 Lecture Notes in Computer Science 203183 EUROCAL '85 Lecture Notes in Computer Science 204



186 Local Area Networks: An Advanced Course Lecture Notes in Computer Science 184


188 Time Series Package (TSPACK) Lecture Notes in Computer Science 187

189 A Study in String Processing Languages Lecture Notes in Computer Science 205

190 The Analysis of Concurrent Systems Lecture Notes in Computer Science 207

191 Computation Theory Lecture Notes in Computer Science 208

192 ESOP 86 Lecture Notes in Computer Science 213

193 LUCAS Associative Array Processor Lecture Notes in Computer Science 216

A Survey of Verification Techniques for Parallel Programs

A Hierarchical Associative Processing System

Functional Programming Languages and Computer Architecture


Formal Methods and Software Development

194 Programs as Data Objects Lecture Notes in Computer Science 217


196 Logic Programming '85 Lecture Notes in Computer Science 221



199 Accurate Scientific Computations Lecture Notes in Computer Science 235

200 TEX for Scientific Documentation Lecture Notes in Computer Science 236




204 Fundamentals of Artificial Intelligence Lecture Notes in Computer Science 232

205 Negation and Control in Prolog Lecture Notes in Computer Science 238

206 CONPAR 86 Lecture Notes in Computer Science 237





211 ICDT '86 Lecture Notes in Computer Science 243

212 Interval Mathematics 1985 Lecture Notes in Computer Science 212213 CAAP '86 Lecture Notes in Computer Science 214

214 Advances in Cryptology Lecture Notes in Computer Science 209



Mathematical Methods of Specification and Synthesis of Software Systems '85

Algebraic Algorithms and Error-Correcting Codes


Applied Algebra, Algorithmics and Error-Correcting Codes

8th International Conference on Automated Deduction

NEWCAT: Parsing Natural Language Using Left-Associative Grammar

Category Theory and Computer Programming

Mathematical Foundations of Programming Semantics


Combinators and Functional Programming Languages Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings

Advances in Cryptology — CRYPTO ’85 Proceedings

217 Advances in Cryptology — EUROCRYPT’ 85 Lecture Notes in Computer Science 219


219 Advances in Petri Nets 1985 Lecture Notes in Computer Science 222

220 Current Trends in Concurrency Lecture Notes in Computer Science 224



223 VLSI Algorithms and Architectures Lecture Notes in Computer Science 227

224 Advanced Programming Environments Lecture Notes in Computer Science 244




228 Networking in Open Systems Lecture Notes in Computer Science 248

229 TAPSOFT '87 Lecture Notes in Computer Science 249




233 Computation Theory and Logic Lecture Notes in Computer Science 270

234 From Logic Design to Logic Programming Lecture Notes in Computer Science 271

235 Future Parallel Computers Lecture Notes in Computer Science 272



RIMS Symposia on Software Science and Engineering II

Third International Conference on Logic Programming

Lectures on the Complexity of Bilinear Problems

Graph-Theoretic Concepts in Computer Science

Unobstructed Shortest Paths in Polyhedral Environments

ANNA A Language for Annotating Ada Programs

Database Machine Performance: Modeling Methodologies and Evaluation Strategies


239 Parallel Algorithms and Architectures Lecture Notes in Computer Science 269



242 System Development and Ada Lecture Notes in Computer Science 275



245 Visualization in Programming Lecture Notes in Computer Science 282

246 Graph Reduction Lecture Notes in Computer Science 279


248 Co-oP Lecture Notes in Computer Science 290


250 Uncertainty in Knowledge-Based Systems Lecture Notes in Computer Science 286


252 A Review of Ada Tasking Lecture Notes in Computer Science 262


254 Systems of Reductions Lecture Notes in Computer Science 277

255 Category Theory and Computer Science Lecture Notes in Computer Science 283

256 Embedded Systems Lecture Notes in Computer Science 284



PARLE Parallel Architectures and Languages Europe

A Connotational Theory of Program Structure


ECOOP’ 87 European Conference on Object-Oriented Programming

Mathematical Models for the Semantics of Parallelism

Mathematical Models for the Semantics of Parallelism

Translating Relational Queries into Iterative Programs

Constrained Global Optimization: Algorithms and Applications

VDM '87 VDM — A Formal Method at Work

WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology



261 Advances in Cryptology — CRYPTO’ 86 Lecture Notes in Computer Science 263262 Logic Programming '86 Lecture Notes in Computer Science 264263 Analogical and Inductive Inference Lecture Notes in Computer Science 265264 Advances in Petri Nets 1987 Lecture Notes in Computer Science 266




268 MetaSoft Primer Lecture Notes in Computer Science 288

269 ESEC '87 Lecture Notes in Computer Science 289


271 Advances in Cryptology — CRYPTO ’87 Lecture Notes in Computer Science 293272 STACS 88 Lecture Notes in Computer Science 294


274 Experiences with Distributed Systems Lecture Notes in Computer Science 309


276 Pattern Recognition Lecture Notes in Computer Science 301




280 MFDBS 87 Lecture Notes in Computer Science 305

281 ESOP '88 Lecture Notes in Computer Science 300



284 VDM '88 VDM — The Way Ahead Lecture Notes in Computer Science 328

Petri Nets: Central Models and Their Properties

Petri Nets: Central Models and Their Properties

Trends, Techniques, and Problems in Theoretical Computer Science


Graph-Grammars and Their Application to Computer Science

Parallel Computing in Science and Engineering

9th International Conference on Automated Deduction

Attribute Grammar Inversion and Source-to-source Translation

Advances in Database Technology—EDBT '88


285 CSL '87 Lecture Notes in Computer Science 329

286 Advances in Cryptology — EUROCRYPT ’88 Lecture Notes in Computer Science 330

287 Modern Cryptology Lecture Notes in Computer Science 325





292 Recent Trends in Data Type Specification Lecture Notes in Computer Science 332



295 Error Detection and Recovery in Robotics Lecture Notes in Computer Science 336

296 Trends in Computer Algebra Lecture Notes in Computer Science 296


298 Conditional Term Rewriting Systems Lecture Notes in Computer Science 308299 Coding Theory and Applications Lecture Notes in Computer Science 311300 Natural Language at the Computer Lecture Notes in Computer Science 320

301 Attribute Grammars Lecture Notes in Computer Science 323

302 Software Engineering Education Lecture Notes in Computer Science 327303 CONCURRENCY 88 Lecture Notes in Computer Science 335


305 The Munich Project CIP Lecture Notes in Computer Science 292

306 Supercomputing Lecture Notes in Computer Science 297


308 CAAP '88 Lecture Notes in Computer Science 299


310 Distributed Algorithms Lecture Notes in Computer Science 312

Formal Techniques in Real-Time and Fault-Tolerant Systems

Computational Geometry and its Applications

Advances in Object-Oriented Database Systems


Compositionality, Concurrency and Partial Correctness

Foundations of Logic and Functional Programming

Efficient Structures for Geometric Data Management

Mathematical Foundations of Programming Language Semantics

Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra

311 Uncertainty and Intelligent Systems Lecture Notes in Computer Science 313


313 Logic Programming '87 Lecture Notes in Computer Science 315

314 Automata Networks Lecture Notes in Computer Science 316


316 SWAT 88 Lecture Notes in Computer Science 318317 VLSI Algorithms and Architectures Lecture Notes in Computer Science 319





322 Parcella '88 Lecture Notes in Computer Science 342



325 Computer Assisted Learning Lecture Notes in Computer Science 360



328 Global Optimization Lecture Notes in Computer Science 350329 TAPSOFT '89 Lecture Notes in Computer Science 351330 TAPSOFT '89 Lecture Notes in Computer Science 352



333 Logic at Botik '89 Lecture Notes in Computer Science 363




ECOOP ’88 European Conference on Object-Oriented Programming

Statistical and Scientific Database Management

Software Reliability Modelling and Identification


Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Nested Relations and Complex Objects in Databases

Synthesizing Synchronous Systems by Static Scheduling in Space-Time

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

PARLE '89 Parallel Architectures and Languages Europe



338 Symbolic and Algebraic Computation Lecture Notes in Computer Science 358

339 Database Machines Lecture Notes in Computer Science 368



342 Algorithms for Parallel Polygon Rendering Lecture Notes in Computer Science 373

343 The Cray X-MP/Model 24 Lecture Notes in Computer Science 374

344 Mathematics of Program Construction Lecture Notes in Computer Science 375345 Software Engineering Education Lecture Notes in Computer Science 376

346 Parcella '88 Lecture Notes in Computer Science 342

347 Algebraic and Logic Programming Lecture Notes in Computer Science 343

348 Algorithms and Data Structures Lecture Notes in Computer Science 382

349 Parallel Computing 1988 Lecture Notes in Computer Science 384



352 Coding Theory and Applications Lecture Notes in Computer Science 388


354 Geometry and Robotics Lecture Notes in Computer Science 391


356 Concrete and Abstract Voronoi Diagrams Lecture Notes in Computer Science 400

357 Optimal Algorithms Lecture Notes in Computer Science 401

358 Interactive Relational Database Design Lecture Notes in Computer Science 402

359 Advances in Cryptology — CRYPTO’ 88 Lecture Notes in Computer Science 403



Foundations of Data Organization and Algorithms

Modified Branching Programs and Their Computational Power

Compiler Compilers and High Speed Compilation

Concepts, Design, and Performance Analysis of a Parallel Prolog Machine





365 Advanced Topics in Artificial Intelligence Lecture Notes in Computer Science 345

366 Non-Monotonic Reasoning Lecture Notes in Computer Science 346




370 High Performance Transaction Systems Lecture Notes in Computer Science 359


372 Eurocal '87 Lecture Notes in Computer Science 378



375 Machines, Languages, and Complexity Lecture Notes in Computer Science 381







Formal Properties of Finite Automata and Applications

Categorical Methods in Computer Science With Aspects from Topology

Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets

Knowledge Representation and Organization in Machine Learning

Programming Languages Implementation and Logic Programming


Electronic Dictionaries and Automata in Computational Linguistics


Algebraic Methods: Theory, Tools and Applications

Recent Issues in Pattern Analysis and Recognition

Automatic Verification Methods for Finite State Systems

Hardware Specification, Verification and Synthesis: Mathematical Aspects

Design and Implementation of Large Spatial Databases

Computer Aided Systems Theory — EUROCAST '89


383 COLOG-88 Lecture Notes in Computer Science 417







390 Advances in Petri Nets 1989 Lecture Notes in Computer Science 424391 Computer Vision — ECCV 90 Lecture Notes in Computer Science 427



394 Software Engineering Education Lecture Notes in Computer Science 423395 SIL—a Simulation Language Lecture Notes in Computer Science 426


397 CAAP '90 Lecture Notes in Computer Science 431398 ESOP '90 Lecture Notes in Computer Science 432




402 Computer Assisted Learning Lecture Notes in Computer Science 438



405 Attribute Grammars and their Applications Lecture Notes in Computer Science 461


Statistical and Scientific Database Management


Group Theoretical Methods in Image Processing

LOGLAN '88 — Report on the Programming Language

Advances in Database Technology — EDBT '90

VDM '90 VDM and Z — Formal Methods in Software Development

Design and Implementation of Symbolic Computation Systems

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness

Progress in Distributed Operating Systems and Distributed Systems Management

Advanced Information Systems Engineering

Advances in Cryptology — CRYPTO’ 89 Proceedings

CONCUR '90 Theories of Concurrency: Unification and Extension

406 Algorithms Lecture Notes in Computer Science 450


408 Advances in Cryptology — AUSCRYPT '90 Lecture Notes in Computer Science 453

409 Combinatorics on Traces Lecture Notes in Computer Science 454



412 Parallel Lisp: Languages and Systems Lecture Notes in Computer Science 441



415 On the Shape of Mathematical Arguments Lecture Notes in Computer Science 445

416 SWAT 90 Lecture Notes in Computer Science 447

417 Neural Networks Lecture Notes in Computer Science 412


419 Database Systems of the 90s Lecture Notes in Computer Science 466420 CONPAR 90 — VAPP IV Lecture Notes in Computer Science 457






426 Software Engineering Environments Lecture Notes in Computer Science 467




A Collection of Test Problems for Constrained Global Optimization Algorithms

Programming Language Implementation and Logic Programming


Aspects and Prospects of Theoretical Computer Science

Semantics of Systems of Concurrent Processes

Efficient Query Processing in Geographic Information Systems

Advances in Computing and Information — ICCI '90

Visualization in Human-Computer Interaction

A Formal Model of Visualization in Computer Graphics Systems

429 Fault-Tolerant Distributed Computing Lecture Notes in Computer Science 448

430 Natural Language and Logic Lecture Notes in Computer Science 459







437 Compiler Compilers Lecture Notes in Computer Science 477





442 Parallel Problem Solving from Nature Lecture Notes in Computer Science 496



445 Ada: The Choice for '92 Lecture Notes in Computer Science 499



448 Baltic Computer Science Lecture Notes in Computer Science 502449 Parallel Database Systems Lecture Notes in Computer Science 503




A Systematic Catalogue of Reusable Abstract Data Types


Information Systems and Artificial Intelligence: Integration Aspects

Advances in Computing and Information — ICCI '91


On the Computational Geometry of Pocket Machining

Algebraic system specification and development

Next Generation Information System Technology








458 Distributed Algorithms Lecture Notes in Computer Science 486459 Distributed Memory Computing Lecture Notes in Computer Science 487


461 Foundations of Object-Oriented Languages Lecture Notes in Computer Science 489




465 Uncertainty in Knowledge Bases Lecture Notes in Computer Science 521


467 Advances in Spatial Databases Lecture Notes in Computer Science 525

468 Theoretical Aspects of Computer Software Lecture Notes in Computer Science 526

469 CONCUR '91 Lecture Notes in Computer Science 527



472 Computer-Aided Verification Lecture Notes in Computer Science 531



Software Development Environments and CASE Technology

Meta-Level Control for Deductive Database Systems


Algebraic Methods II: Theory, Tools and Applications

Concurrency: Theory, Language, and Architecture

Computer-Aided Cooperative Product Development



Graph Grammars and Their Application to Computer Science

474 Computer Science Logic Lecture Notes in Computer Science 533


476 Software Engineering Education Lecture Notes in Computer Science 536



479 Artificial Neural Networks Lecture Notes in Computer Science 540




483 Information Processing in Medical Imaging Lecture Notes in Computer Science 511



486 Advances in Petri Nets 1991 Lecture Notes in Computer Science 524487 Fundamentals of Computation Theory Lecture Notes in Computer Science 529

488 Advances in Cryptology-CRYPT0’ 90 Lecture Notes in Computer Science 537

489 Methods of Programming Lecture Notes in Computer Science 544







A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems


Attribute Grammars, Applications and Systems

Symbolic and Quantitative Approaches to Uncertainty

ECOOP'91 European Conference on Object-Oriented Programming

VDM'91 Formal Software Development Methods

VDM '91 Formal Software Development Methods

Computational Geometry-Methods, Algorithms and Applications

The Problem of Incomplete Information in Relational Databases


497 ISA'91 Algorithms Lecture Notes in Computer Science 557







504 The Stability Theory of Stream Ciphers Lecture Notes in Computer Science 561

505 Deductive and Object-Oriented Databases Lecture Notes in Computer Science 566

506 Parallel Execution of Logic Programs Lecture Notes in Computer Science 569

507 Computing in the 90's Lecture Notes in Computer Science 507

508 EUROCODE '90 Lecture Notes in Computer Science 514

509 Conditional and Typed Rewriting Systems Lecture Notes in Computer Science 516

510 Operating Systems of the 90s and Beyond Lecture Notes in Computer Science 563



513 EPIA 91 Lecture Notes in Computer Science 541

514 Trends in Artificial Intelligence Lecture Notes in Computer Science 549

515 Processing Declarative Knowledge Lecture Notes in Computer Science 567


517 Word Equations and Related Topics Lecture Notes in Computer Science 572518 Advances in Cryptology — CRYPTO ’91 Lecture Notes in Computer Science 576

New Results and New Trends in Computer Science


Conclog: A Methodological Approach to Concurrent Logic Programming

Specification and Compositional Verification of Real-Time Systems

Fundamental Algorithms for Permutation Groups


Algebraic Specification Techniques in Object Oriented Programming Environments

The Use of Projective Geometry in Computer Graphics





521 Computer Aided Verification Lecture Notes in Computer Science 575



524 CAAP '92 Lecture Notes in Computer Science 581525 ESOP '92 Lecture Notes in Computer Science 582526 LATIN '92 Lecture Notes in Computer Science 583

527 Algebraic Coding Lecture Notes in Computer Science 573


529 Computer Algebra and Parallelism Lecture Notes in Computer Science 584


531 Parallel Execution of Parlog Lecture Notes in Computer Science 586532 Computer Vision — ECCV'92 Lecture Notes in Computer Science 588


534 Parallel Computation Lecture Notes in Computer Science 591


536 Data structures and efficient algorithms Lecture Notes in Computer Science 594

537 Intelligent Tutoring Systems Lecture Notes in Computer Science 608

538 Object-Based Concurrent Computing Lecture Notes in Computer Science 612

539 Axioms and Hulls Lecture Notes in Computer Science 606


541 Real-Time: Theory in Practice Lecture Notes in Computer Science 600

542 Constructivity in Computer Science Lecture Notes in Computer Science 613


Public-Key Cryptography: State of the Art and Future Directions


Reasearch Directions in High-Level Parallel Programming Languages


Languages and Compilers for Parallel Computing



Network and Operating System Support for Digital Audio and Video


545 Theory of Computing and Systems Lecture Notes in Computer Science 601546 Computer Assisted Learning Lecture Notes in Computer Science 602547 Ada: Moving Towards 2000 Lecture Notes in Computer Science 603




551 Parallel Processing: CONPAR 92—VAPP V Lecture Notes in Computer Science 634

552 Software Process Technology Lecture Notes in Computer Science 635553 Meta-Programming in Logic Lecture Notes in Computer Science 649

554 Algorithms and Computation Lecture Notes in Computer Science 650




558 Memory Management Lecture Notes in Computer Science 637559 Relational Matching Lecture Notes in Computer Science 628


561 CONCUR '92 Lecture Notes in Computer Science 630





566 Database Theory — ICDT '92 Lecture Notes in Computer Science 646567 Distributed Algorithms Lecture Notes in Computer Science 647

568 Computer Security — ESORICS 92 Lecture Notes in Computer Science 648


ECOOP ’92 European Conference on Object-Oriented Programming

The Nested Universal Relation Database Model


Specifying Message Passing and Time-Critical Systems with Temporal Logic



Modular Construction and Partial Order Semantics of Petri Nets

Hyperedge Replacement: Grammars and Languages

570 Entity-Relationship Approach — ER '92 Lecture Notes in Computer Science 645



573 Combinatorial Pattern Matching Lecture Notes in Computer Science 644


575 Application and Theory of Petri Nets 1992 Lecture Notes in Computer Science 616

576 Parallel Image Analysis Lecture Notes in Computer Science 654

577 Advanced Database Systems Lecture Notes in Computer Science 618






583 Conditional Term Rewriting Systems Lecture Notes in Computer Science 656



586 Nonmonotonic and Inductive Logic Lecture Notes in Computer Science 659

587 Extensions of Logic Programming Lecture Notes in Computer Science 660


589 Filtering, Segmentation and Depth Lecture Notes in Computer Science 662


591 Typed Lambda Calculi and Applications Lecture Notes in Computer Science 664

Theories and Methods of Spatio-Temporal Reasoning in Geographic Space


Lexical Semantics and Knowledge Representation

Future Tendencies in Computer Science, Control and Applied Mathematics

Performance Evaluation of Computer and Communication Systems


Machine Learning: From Theory to Applications


593 Semantics: Foundations and Applications Lecture Notes in Computer Science 666

594 Machine Learning: ECML-93 Lecture Notes in Computer Science 667


596 Mathematics of Program Construction Lecture Notes in Computer Science 669


598 GWAI-92: Advances in Artificial Intelligence Lecture Notes in Computer Science 671

599 The MOSIX Distributed Operating System Lecture Notes in Computer Science 672


601 Advances in Petri Nets 1993 Lecture Notes in Computer Science 674602 Live Data Structures in Logic Programs Lecture Notes in Computer Science 675


604 Word Equations and Related Topics Lecture Notes in Computer Science 677




608 The Logic of Information Structures Lecture Notes in Computer Science 681





613 New Trends in Neural Computation Lecture Notes in Computer Science 686

614 Information Processing in Medical Imaging Lecture Notes in Computer Science 687

TAPSOFT'93: Theory and Practice of Software Development

FME '93: Industrial-Strength Formal Methods


Recognizing Planar Objects Using Invariant Image Features

Parallel Architectures and Their Efficient Use

Resolution Methods for the Decision Problem

Program Development by Specification and Transformation

IPMU '92—Advanced Methods in Artificial Intelligence

Correct Hardware Design and Verification Methods


615 Ada - Europe '93 Lecture Notes in Computer Science 688

616 Methodologies for Intelligent Systems Lecture Notes in Computer Science 689





621 Fuzzy Logic in Artificial Intelligence Lecture Notes in Computer Science 695

622 Advances in Databases Lecture Notes in Computer Science 696








630 The Design of an Extendible Graph Editor Lecture Notes in Computer Science 704







Functional Programming, Concurrency, Simulation and Automated Reasoning


Logic Programming and Automated Reasoning

Conceptual Graphs for Knowledge Representation

LOGIDATA+: Deductive Databases with Complex Objects

Ray Shooting, Depth Orders and Hidden Surface Removal

Field-Programmable Gate Arrays: Architecture and Tools for Rapid Prototyping

Experimental Software Engineering Issues: Critical Assessment and Future Directions

ECOOP’ 93 — Object-Oriented Programming

Geometric Reasoning for Perception and Action



639 Computational Logic and Proof Theory Lecture Notes in Computer Science 713


641 CONCUR'93 Lecture Notes in Computer Science 715


643 Software Engineering — ESEC '93 Lecture Notes in Computer Science 717

644 Advances in Cryptology — AUSCRYPT '92 Lecture Notes in Computer Science 718

645 Computer Analysis of Images and Patterns Lecture Notes in Computer Science 719

646 Database and Expert Systems Applications Lecture Notes in Computer Science 720




650 Static Analysis Lecture Notes in Computer Science 724

651 Algorithms—ESA '93 Lecture Notes in Computer Science 726652 Progress in Artificial Intelligence Lecture Notes in Computer Science 727653 Advances in Artificial Intelligence Lecture Notes in Computer Science 728



656 Parallel Computer Architectures Lecture Notes in Computer Science 732

657 Human Computer Interaction Lecture Notes in Computer Science 733





Progamming Language Implementation and Logic Programming

Spatial Information Theory A Theoretical Basis for GIS



Knowledge Acquisition for Knowledge-Based Systems

Foundations of Data Organization and Algorithms

DCE — The OSF Distributed Computing Environment Client/Server Model and Beyond

Formal Methods in Programming and Their Applications

660 Hybrid Systems Lecture Notes in Computer Science 736


662 The Generic Development Language Deva Lecture Notes in Computer Science 738

663 Advances in Cryptology — ASIACRYPT '91 Lecture Notes in Computer Science 739

664 Advances in Cryptology — CRYPTO’ 92 Lecture Notes in Computer Science 740



667 Algorithmic Learning Theory Lecture Notes in Computer Science 743


669 Intelligent Perceptual Systems Lecture Notes in Computer Science 745

670 Artificial Perception and Music Recognition Lecture Notes in Computer Science 746



673 Automated and Algorithmic Debugging Lecture Notes in Computer Science 749

674 Software Engineering Education Lecture Notes in Computer Science 750675 Spatio-Temporal Image Processing Lecture Notes in Computer Science 751


677 Human-Computer Interaction Lecture Notes in Computer Science 753


679 Formal Program Development Lecture Notes in Computer Science 755

680 Design of Hashing Algorithms Lecture Notes in Computer Science 756

Artificial Intelligence and Symbolic Mathematical Computing

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

Information and Knowledge Management Expanding the Definition of “Database”

Conceptual Structures: Theory and Implementation



683 Advanced Database Systems Lecture Notes in Computer Science 759




687 Types for Proofs and Programs Lecture Notes in Computer Science 806



690 Applications of Databases Lecture Notes in Computer Science 819691 Computer Vision — ECCV '94 Lecture Notes in Computer Science 800692 Computer Vision — ECCV '94 Lecture Notes in Computer Science 801


694 Algorithms — ESA '94 Lecture Notes in Computer Science 855695 Distributed Algorithms Lecture Notes in Computer Science 857696 Compiler Construction Lecture Notes in Computer Science 786



699 Vivid Logic Lecture Notes in Computer Science 764


701 The Dynamics of Concepts Lecture Notes in Computer Science 766

702 An Extended Entity-Relationship Model Lecture Notes in Computer Science 767


704 The Newton-Cauchy Framework Lecture Notes in Computer Science 769705 Representing Plans Under Uncertainty Lecture Notes in Computer Science 770


Towards Dynamic Randomized Algorithms in Computational Geometry


High-Performance Computing and Networking

Object-Oriented Methodologies and Systems




706 Visualization of Scientific Parallel Programs Lecture Notes in Computer Science 771

707 Software Process Technology Lecture Notes in Computer Science 772708 Advances in Cryptology — CRYPTO’ 93 Lecture Notes in Computer Science 773





713 Algorithms and Complexity Lecture Notes in Computer Science 778



716 Algebraic Coding Lecture Notes in Computer Science 781



719 Machine Learning: ECML-94 Lecture Notes in Computer Science 784




723 Theoretical Aspects of Computer Software Lecture Notes in Computer Science 789


725 Object-Based Distributed Programming Lecture Notes in Computer Science 791

726 Logic, Language and Computation Lecture Notes in Computer Science 792

727 Information Theory and Applications Lecture Notes in Computer Science 793


729 FM8501: A Verified Microprocessor Lecture Notes in Computer Science 795

Hardware and Software Architectures for Fault Tolerance

Graph Transformations in Computer Science

Management and Processing of Complex Data Structures


Higher Order Logic Theorem Proving and Its Applications

Programming Languages and System Architectures

Mobile Communications Advanced Systems and Components

Trees in Algebra and Programming — CAAP'94

Programming Languages and Systems — ESOP '94


Computer Performance Evaluation Modelling Techniques and Tools


731 Extensions of Logic Programming Lecture Notes in Computer Science 798732 Multiagent Systems Lecture Notes in Computer Science 799







739 Fast Software Encryption Lecture Notes in Computer Science 809



742 Logical Foundations of Computer Science Lecture Notes in Computer Science 813

743 Automated Deduction — CADE-12 Lecture Notes in Computer Science 814




747 Computer Aided Verification Lecture Notes in Computer Science 818748 Object-Oriented Programming Lecture Notes in Computer Science 821


750 Entity-Relationship Approach — ER '93 Lecture Notes in Computer Science 823

751 Algorithm Theory — SWAT '94 Lecture Notes in Computer Science 824




A Decade of Concurrency Reflections and Perspectives

Qualitative Representation of Spatial Knowledge

Parallel and Distributed Computing Theory and Practice

Knowledge Representation and Reasoning Under Uncertainty

Foundations of Knowledge Representation and Reasoning

Results and Trends in Theoretical Computer Science

Higher-Order Algebra, Logic, and Term Rewriting

PARLE'94 Parallel Architectures and Languages Europe

Logic Programming and Automated Reasoning

Applications of Invariance in Computer Vision

753 Directions in Databases Lecture Notes in Computer Science 826

754 Temporal Logic Lecture Notes in Computer Science 827

755 Isabelle Lecture Notes in Computer Science 828


757 Artificial Social Systems Lecture Notes in Computer Science 830

758 Orders, Algorithms, and Applications Lecture Notes in Computer Science 831


760 Fuzzy Logic and Fuzzy Control Lecture Notes in Computer Science 833


762 CONCUR '94: Concurrency Theory Lecture Notes in Computer Science 836

763 CONCUR ’94: Concurrency Theory Lecture Notes in Computer Science 836

764 Topics in Case-Based Reasoning Lecture Notes in Computer Science 837

765 Logics in Artificial Intelligence Lecture Notes in Computer Science 838

766 Advances in Cryptology — CRYPTO ’94 Lecture Notes in Computer Science 839767 The Traveling Salesman Lecture Notes in Computer Science 840


769 Treewidth Lecture Notes in Computer Science 842



772 Constraints in Computational Logics Lecture Notes in Computer Science 845


774 Fuzzy Logic in Artificial Intelligence Lecture Notes in Computer Science 847



Error Control, Cryptology, and Speech Compression


Turing Machines with Sublogarithmic Space



Numerical Integration on Advanced Computer Systems

Field-Programmable Logic Architectures, Synthesis and Applications



779 Dependable Computing — EDCC-1 Lecture Notes in Computer Science 852


781 Parallel Processing: CONPAR 94 — VAPP VI Lecture Notes in Computer Science 854



784 Computers for Handicapped Persons Lecture Notes in Computer Science 860

785 KI-94: Advances in Artificial Intelligence Lecture Notes in Computer Science 861

786 Grammatical Inference and Applications Lecture Notes in Computer Science 862


788 Static Analysis Lecture Notes in Computer Science 864789 Evolutionary Computing Lecture Notes in Computer Science 865


791 A Future for Knowledge Acquisition Lecture Notes in Computer Science 867


793 Methodologies for Intelligent Systems Lecture Notes in Computer Science 869


795 Database Issues for Data Visualization Lecture Notes in Computer Science 871





Towards a Pan-European Telecommunication Service Infrastructure — IS&N '94

Parallel Computer Routing and Communication



Parallel Problem Solving from Nature — PPSN III

Multimedia: Advanced Teleservices and High-Speed Communication Architectures

Distributed Programming Paradigms with Cryptography Applications

FME '94: Industrial Benefit of Formal Methods

Principles and Practice of Constraint Programming


801 Algorithmic Number Theory Lecture Notes in Computer Science 877


803 Parallel Scientific Computing Lecture Notes in Computer Science 879



806 Multimedia Transport and Teleservices Lecture Notes in Computer Science 882


808 IGIS '94: Geographic Information Systems Lecture Notes in Computer Science 884



811 Ada in Europe Lecture Notes in Computer Science 887





816 Intelligent Agents Lecture Notes in Computer Science 890

817 Formal Development of Reactive Systems Lecture Notes in Computer Science 891


819 Database Theory — ICDT '95 Lecture Notes in Computer Science 893

Parallel, Distributed and Multiagent Production Systems

Foundation of Software Technology and Theoretical Computer Science

Entity-Relationship Approach — ER '94 Business Modelling and Re-Engineering

Logic Program Synthesis and Transformation — Meta-Programming in Logic

Closed Object Boundaries from Scattered Points

Planning and Learning by Analogical Reasoning

Analysis of Dynamical and Cognitive Systems

TAPSOFT '95: Theory and Practice of Software Development

Spatial Representation and Motion Planning

Towards a CSCW Framework for Scientific Cooperation in Europe


820 Graph Drawing Lecture Notes in Computer Science 894



823 Executable Modal and Temporal Logics Lecture Notes in Computer Science 897

824 Machine Translation and the Lexicon Lecture Notes in Computer Science 898

825 Evolution and Biocomputation Lecture Notes in Computer Science 899


827 Theorem Provers in Circuit Design Lecture Notes in Computer Science 901

828 Typed Lambda Calculi and Applications Lecture Notes in Computer Science 902


830 Computational Learning Theory Lecture Notes in Computer Science 904




834 Extensions of the UNITY Methodology Lecture Notes in Computer Science 908

835 Term Rewriting Lecture Notes in Computer Science 909


837 LATIN '95: Theoretical Informatics Lecture Notes in Computer Science 911

838 Machine Learning: ECML-95 Lecture Notes in Computer Science 912839 Software Process Technology Lecture Notes in Computer Science 913


841 Digital Libraries Current Issues Lecture Notes in Computer Science 916

842 Advances in Cryptology — ASIACRYPT'94 Lecture Notes in Computer Science 917




Software Engineering and Human-Computer Interaction


Computer Vision, Virtual Reality and Robotics in Medicine

Theory and Practice of Parallel Programming

Constraint Programming: Basics and Trends

Theorem Proving with Analytic Tableaux and Related Methods


Integer Programming and Combinatorial Optimization



848 Constraint Processing Lecture Notes in Computer Science 923


850 Advanced Functional Programming Lecture Notes in Computer Science 925851 Objective Software Quality Lecture Notes in Computer Science 926



854 Advances in Artificial Life Lecture Notes in Computer Science 929


856 Artificial Neural Networks Lecture Notes in Computer Science 931



859 Artificial Intelligence in Medicine Lecture Notes in Computer Science 934




863 Theory and Practice in Distributed Systems Lecture Notes in Computer Science 938

864 Computer Aided Verification Lecture Notes in Computer Science 939865 Advances in Databases Lecture Notes in Computer Science 940


867 Exploitation of Fine-Grain Parallelism Lecture Notes in Computer Science 942

868 Metaclasses and Their Application Lecture Notes in Computer Science 943


Efficient Graph Rewriting and Its Implementation

Object-Based Models and Languages for Concurrent Systems

Non-Monotonic Extensions of Logic Programming

Logic Programming and Nonmonotonic Reasoning

From Natural to Artificial Neural Computation


Algebraic Methodology and Software Technology

Tractable Reasoning in Artificial Intelligence



872 Mathematics of Program Construction Lecture Notes in Computer Science 947



875 Advances in Cryptology — EUROCRYPT'94 Lecture Notes in Computer Science 950






881 Progress in Evolutionary Computation Lecture Notes in Computer Science 956

882 From Reaction to Cognition Lecture Notes in Computer Science 957


884 Computing and Combinatorics Lecture Notes in Computer Science 959885 Logic and Computational Complexity Lecture Notes in Computer Science 960


887 CONCUR '95: Concurrency Theory Lecture Notes in Computer Science 962888 Advances in Cryptology — CRYPT0’ 95 Lecture Notes in Computer Science 963889 Parallel Computing Technologies Lecture Notes in Computer Science 964890 Fundamentals of Computation Theory Lecture Notes in Computer Science 965

891 EURO-PAR '95 Parallel Processing Lecture Notes in Computer Science 966

Advances in Intelligent Computing — IPMU '94

Symbolic and Quantitative Approaches to Reasoning and Uncertainty


Job Scheduling Strategies for Parallel Processing

ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995

Conceptual Structures: Applications, Implementation and Theory

Integrating Symbolic Mathematical Computation and Artificial Intelligence

Algorithmic Learning for Knowledge-Based Systems


893 Conditional and Typed Rewriting Systems Lecture Notes in Computer Science 968


895 Computer Analysis of Images and Patterns Lecture Notes in Computer Science 970




899 Image Analysis and Processing Lecture Notes in Computer Science 974

900 Field-Programmable Logic and Applications Lecture Notes in Computer Science 975




904 Algorithms — ESA '95 Lecture Notes in Computer Science 979





909 Advances in Case-Based Reasoning Lecture Notes in Computer Science 984

910 Rules in Database Systems Lecture Notes in Computer Science 985911 Memory Management Lecture Notes in Computer Science 986



914 Software Engineering — ESEC '95 Lecture Notes in Computer Science 989

ZUM '95: The Z Formal Specification Notation



Information Management in Computer Integrated Manufacturing

Principles and Practice of Constraint Programming — CP '95

Quantitative Evaluation of Computing and Communication Systems

Parallel Algorithms for Irregularly Structured Problems

Programming Languages: Implementations, Logics and Programs

Correct Hardware Design and Verification Methods

Spatial Information Theory A Theoretical Basis for GIS

915 Progress in Artificial Intelligence Lecture Notes in Computer Science 990

916 Advances in Artificial Intelligence Lecture Notes in Computer Science 991

917 Topics in Artificial Intelligence Lecture Notes in Computer Science 992918 Evolutionary Computing Lecture Notes in Computer Science 993

919 Object Representation in Computer Vision Lecture Notes in Computer Science 994





924 Hybrid Systems II Lecture Notes in Computer Science 999

925 Computer Science Today Lecture Notes in Computer Science 1000



928 Automated Modeling of Physical Systems Lecture Notes in Computer Science 1003

929 Algorithms and Computations Lecture Notes in Computer Science 1004

930 Software Configuration Management Lecture Notes in Computer Science 1005








The Complexity of Simple Computer Architectures

Bringing Telecommunication Services to the People — IS&N '95

Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems

Disconnected Operation in a Distributed File System

Information Systems and Data Management

Integrity Primitives for Secure Information Systems

KORSO: Methods, Languages, and Tools for the Construction of Correct Software

Case-Based Reasoning Research and Development

Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms

SOFSEM '95: Theory and Practice of Informatics



940 Active Visual Inference of Surface Shape Lecture Notes in Computer Science 1016




944 Progress in Case-Based Reasoning Lecture Notes in Computer Science 1020



947 Algorithms, Concurrency and Knowledge Lecture Notes in Computer Science 1023


949 Cryptography and Coding Lecture Notes in Computer Science 1025


951 Graph Drawing Lecture Notes in Computer Science 1027952 Electronic Commerce Lecture Notes in Computer Science 1028953 Cryptography: Policy and Algorithms Lecture Notes in Computer Science 1029


955 Ada in Europe Lecture Notes in Computer Science 1031




959 Constraint Databases and Application Lecture Notes in Computer Science 1034


Network and Operating Systems Support for Digital Audio and Video

Tools and Algorithms for the Construction and Analysis of Systems

OOER '95: Object-Oriented and Entity-Relationship Modeling

Funtional Programming Languages in Education

Image Analysis Applications and Computer Graphics



Partial-Order Methods for the Verification of Concurrent Systems

Object Representation in Computer Vision II


960 Recent Developments in Computer Vision Lecture Notes in Computer Science 1035



963 Agents Breaking Away Lecture Notes in Computer Science 1038





968 Logics for Concurrency Lecture Notes in Computer Science 1043




972 Time Structures Lecture Notes in Computer Science 1047



975 Extensions of Logic Programming Lecture Notes in Computer Science 1050



978 Term Indexing Lecture Notes in Computer Science 1053


Trends in Natural Language Generation An Artificial Intelligence Perspective

Intelligent Agents II Agent Theories, Architectures, and Languages

Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing

Applied Parallel Computing Computations in Physics, Chemistry and Engineering Science

Adaption and Learning in Multi-Agent Systems

Broadband Communications Networks, Services, Applications, Future Directions

Interactive Distributed Multimedia Systems and Services

Logic Program Synthesis and Transformation

Object Technologies for Advanced Software

FME'96: Industrial Benefit and Advances in Formal Methods

Teleservices and Multimedia Communications

Solving Combinatorial Optimization Problems in Parallel







986 Coordination Languages and Models Lecture Notes in Computer Science 1061

987 Towards Evolvable Hardware Lecture Notes in Computer Science 1062

988 Artificial Evolution Lecture Notes in Computer Science 1063

989 Computer Vision — ECCV '96 Lecture Notes in Computer Science 1064

990 Computer Vision — ECCV '96 Lecture Notes in Computer Science 1065

991 Hybrid Systems III Lecture Notes in Computer Science 1066


993 Parallel Symbolic Languages and Systems Lecture Notes in Computer Science 1068






Tools and Algorithms for the Construction and Analysis of Systems

Communication and Cooperation in Agent Systems


Programming Languages and Systems — ESOP '96

Trees in Algebra and Programming — CAAP '96


Distributed Software Agents and Applications

Theorem Proving with Analytic Tableaux and Related Methods

Graphics Recognition Methods and Applications

Graph Grammars and Their Application to Computer Science



1001 Advances in Knowledge Acquisition Lecture Notes in Computer Science 1076


1003 Studies of Software Design Lecture Notes in Computer Science 1078

1004 Foundations of Intelligent Systems Lecture Notes in Computer Science 1079


1006 Advances in Artifical Intelligence Lecture Notes in Computer Science 1081




1010 Practical Reasoning Lecture Notes in Computer Science 1085

1011 Intelligent Tutoring Systems Lecture Notes in Computer Science 1086



1014 Bounded Incremental Computation Lecture Notes in Computer Science 10891015 Computing and Combinatorics Lecture Notes in Computer Science 1090



1018 Reasoning with Uncertainty in Robotics Lecture Notes in Computer Science 1093

1019 Advances in Databases Lecture Notes in Computer Science 1094



Higher-Order Algebra, Logic, and Term Rewriting

Multimedia, Hypermedia, and Virtual Reality Models, Systems, and Applications


Digital Libraries Research and Technology Advances

Evaluating Natural Language Processing Systems

Integer Programming and Combinatorial Optimization

Distributed Artificial Intelligence Architecture and Modelling

Reliable Software Technologies — Ada-Europe '96

Automated Deduction in Equational Logic and Cubic Curves

Workflow Management Systems for Process Organisations


1023 Algorithm Theory — SWAT'96 Lecture Notes in Computer Science 1097



1026 Digital Signature Schemes Lecture Notes in Computer Science 1100




1030 Automated Deduction — Cade-13 Lecture Notes in Computer Science 1104


1032 Over-Constrained Systems Lecture Notes in Computer Science 1106



1035 Advances in Cryptology — CRYPTO ’96 Lecture Notes in Computer Science 1109

1036 Partial Evaluation Lecture Notes in Computer Science 1110

1037 Reasoning with Logic Programming Lecture Notes in Computer Science 1111

1038 Artificial Neural Networks — ICANN 96 Lecture Notes in Computer Science 1112


1040 PRICAI'96: Topics in Artificial Intelligence Lecture Notes in Computer Science 1114





Workflow Management Systems for Process Organisations

ECOOP ’96 — Object-Oriented Programming

Algebraic Methodology and Software Technology

Computer Aided Systems Theory — CAST '94

Object-Based Parallel and Distributed Computation

Computer Aided Learning and Instruction in Science and Engineering


Conceptual Structures: Knowledge Representation as Interlingua

Management of Telecommunication Systems and Services

Parallel Algorithms for Irregularly Structured Problems

Principles and Practice of Constraint Programming — CP96

1045 CONCUR '96: Concurrency Theory Lecture Notes in Computer Science 1119

1046 Combinatorics and Computer Science Lecture Notes in Computer Science 1120


1048 Algorithmic Number Theory Lecture Notes in Computer Science 1122

1049 Euro-Par'96 Parallel Processing Lecture Notes in Computer Science 1123

1050 Euro-Par'96 Parallel Processing Lecture Notes in Computer Science 1124

1051 Theorem Proving in Higher Order Logics Lecture Notes in Computer Science 1125

1052 Logics in Artificial Intelligence Lecture Notes in Computer Science 1126



1055 Advanced Functional Programming Lecture Notes in Computer Science 1129


1057 Visualization in Biomedical Computing Lecture Notes in Computer Science 1131

1058 The Data Parallel Programming Model Lecture Notes in Computer Science 1132

1059 Information Theory and Applications II Lecture Notes in Computer Science 1133



1062 Algorithms — ESA '96 Lecture Notes in Computer Science 1136





Advances in Structural and Syntactical Pattern Recognition



Artificial Intelligence and Symbolic Mathematical Computation

Programming Languages: Implementations, Logics, and Programs



1069 Evolutionary Computing Lecture Notes in Computer Science 1143





1074 Software Process Technology Lecture Notes in Computer Science 1149

1075 Dependable Computing — EDCC-2 Lecture Notes in Computer Science 1150




1079 Logic in Databases Lecture Notes in Computer Science 1154

1080 Broadband Network Traffic Lecture Notes in Computer Science 1155

1081 Parallel Virtual Machine — EuroPVM '96 Lecture Notes in Computer Science 1156

1082 Conceptual Modeling — ER '96 Lecture Notes in Computer Science 1157


1084 Advances in Artificial Intelligence Lecture Notes in Computer Science 1159




Parallel Problem Solving from Nature — PPSN IV

Field-Programmable Logic Smart Applications, New Paradigms and Compilers

Grammatical Interference: Learning Syntax from Sentences

Applied Computational Geometry Towards Geometric Engineering

Fuzzy Logic, Neural Networks, and Evolutionary Computation

Practice and Theory of Automated Timetabling

Trends in Distributed Systems CORBA and Beyond

Job Scheduling Strategies for Parallel Processing

1088 Advances in Cryptology — ASIACRYPT '96 Lecture Notes in Computer Science 1163

1089 Managing Information Highways Lecture Notes in Computer Science 1164

1090 Formal Methods for Industrial Applications Lecture Notes in Computer Science 1165

1091 Formal Methods in Computer-Aided Design Lecture Notes in Computer Science 1166

1092 Software Configuration Management Lecture Notes in Computer Science 11671093 Advances in Case-Based Reasoning Lecture Notes in Computer Science 1168

1094 Formal Systems Specification Lecture Notes in Computer Science 1169



1097 Information Security and Privacy Lecture Notes in Computer Science 1172


1099 Information Hiding Lecture Notes in Computer Science 1174


1101 Discrete Geometry for Computer Imagery Lecture Notes in Computer Science 1176

1102 The Design of Intelligent Agents Lecture Notes in Computer Science 1177




1106 Perspectives of System Informatics Lecture Notes in Computer Science 1181


1108 Database Issues for Data Visualization Lecture Notes in Computer Science 1183


Building Tightly Integrated Software Development Environments: The IPSEN Approach

Automatic Ambiguity Resolution in Natural Language Processing

Efficient Visual Recognition Using the Hausdorff Distance

SOFSEM'96: Theory and Practice of Informatics

Concurrency and Parallelism, Programming, Networking, and Security


Optimization of SQL Queries for Parallel Machines

Applied Parallel Computing Industrial Computation and Optimization


1111 Database Theory — ICDT '97 Lecture Notes in Computer Science 11861112 Nonmonotonic Logics Lecture Notes in Computer Science 1187


1114 Security Protocols Lecture Notes in Computer Science 1189

Multimedia Telecommunications and Applications

Fuzzy Logic in Artificial Intelligence Towards Intelligent Systems

Lecture Notes in Computer ScienceAuthor Year Publisher URL

R. Conti, A. Ruberti 1973 Springer

1973 Springer

R. Conti, A. Ruberti 1973 Springer

R. Glowinski, J. L. Lions 1974 Springer

J. Loeckx 1974 Springer

1974 Springer

E. Gelenbe, C. Kaiser 1974 Springer

Kathleen Jensen, Niklaus Wirth 1974 Springer

Jost Engelfriet 1974 Springer

Jost Engelfriet 1974 Springer

1974 Springer

B. Robinet 1974 Springer

R. Glowinski, J. L. Lions 1974 Springer

1974 Springer

1974 Springer

1974 Springer

Wolfgang Händler, Peter P. Spies 1974 Springer

Jacques Loeckx 1974 Springer

http://dx.doi.org/10.1007/3-540-06600-4

G. Goos, J. Hartmanis, D. Gries, P. Brinch Hansen, G. Seegmüller, N. Wirth

http://dx.doi.org/10.1007/BFb0039132

http://dx.doi.org/10.1007/3-540-06583-0

http://dx.doi.org/10.1007/3-540-06769-8

http://dx.doi.org/10.1007/3-540-06841-4

Grzegorz Rozenberg, Arto Salomaa http://dx.doi.org/10.1007/3-540-06867-8


http://dx.doi.org/10.1007/978-3-662-21554-8

http://dx.doi.org/10.1007/3-540-06953-4

http://dx.doi.org/10.1007/3-540-06953-4

F. L. Brauer, J. Eickel, F. L. Remer, M. Griffiths, U. Hill, J. J. Horning, C. H. A. Koster, W. M. McKeeman, P. C. Poole, W. M. Waite

http://dx.doi.org/10.1007/3-540-06958-5

http://dx.doi.org/10.1007/3-540-06859-7


Andrei Ershov, Valery A. Nepomniaschy http://dx.doi.org/10.1007/3-540-06720-5

Brian T. Smith, J. M. Boyle, B. S. Garbow, Y. Ikebe, V. C. Klema, C. B. Moler

http://dx.doi.org/10.1007/978-3-540-38004-7

B. T. Smith, J. M. Boyle, J. J. Dongarra, B. S. Garbow, Y. Ikebe, V. C. Klema, C. B. Moler

http://dx.doi.org/10.1007/3-540-07546-1

http://dx.doi.org/10.1007/3-540-06815-5

http://dx.doi.org/10.1007/978-3-662-21545-6

http://dx.doi.org/10.1007/3-540-06600-4


http://dx.doi.org/10.1007/3-540-06583-0

http://dx.doi.org/10.1007/3-540-06769-8

http://dx.doi.org/10.1007/3-540-06841-4

http://dx.doi.org/10.1007/3-540-06867-8


http://dx.doi.org/10.1007/978-3-662-21554-8

http://dx.doi.org/10.1007/3-540-06953-4

http://dx.doi.org/10.1007/3-540-06953-4

http://dx.doi.org/10.1007/3-540-06958-5

http://dx.doi.org/10.1007/3-540-06859-7


http://dx.doi.org/10.1007/3-540-06720-5

http://dx.doi.org/10.1007/978-3-540-38004-7

http://dx.doi.org/10.1007/3-540-07546-1

http://dx.doi.org/10.1007/3-540-06815-5

http://dx.doi.org/10.1007/978-3-662-21545-6

Thomas Storer, David Winter 1975 Springer

Clemens E. Hackl 1975 SpringerTse-yun Feng 1975 Springer

Sheila A. Greibach 1975 Springer

Sheila A. Greibach 1975 Springer

Ernest Gene Manes 1975 Springer

A. Blikle 1975 Springer

Jíří Bečvář 1975 Springer

H. Brakhage 1975 Springer

Karl Nickel 1975 Springer

Samuel H. Fuller 1975 Springer

W. Everling 1975 Springer

1975 Springer

G. I. Marchuk 1975 Springer

C. Böhm 1976 Springer

C. Böhm 1976 Springer

Jean Cea 1976 Springer

Jean Cea 1976 Springer

James E. Donahue 1976 Springer

http://dx.doi.org/10.1007/3-540-07016-8

http://dx.doi.org/10.1007/3-540-07131-8http://dx.doi.org/10.1007/3-540-07135-0



http://dx.doi.org/10.1007/3-540-07142-3

http://dx.doi.org/10.1007/3-540-07162-8

http://dx.doi.org/10.1007/3-540-07389-2

http://dx.doi.org/10.1007/3-540-07407-4

http://dx.doi.org/10.1007/3-540-07170-9

http://dx.doi.org/10.1007/3-540-07186-5


F. L. Bauer, F. L. Remer, M. Griffiths, U. Hill, J. J. Horning, C. H. A. Koster, W. M. McKeeman, P. C. Poole, W. M. Waite

http://dx.doi.org/10.1007/978-3-662-21549-4

http://dx.doi.org/10.1007/3-540-07165-2



http://dx.doi.org/10.1007/3-540-07622-0

http://dx.doi.org/10.1007/3-540-07623-9


http://dx.doi.org/10.1007/3-540-07016-8

http://dx.doi.org/10.1007/3-540-07131-8

http://dx.doi.org/10.1007/3-540-07135-0



http://dx.doi.org/10.1007/3-540-07142-3

http://dx.doi.org/10.1007/3-540-07162-8

http://dx.doi.org/10.1007/3-540-07389-2

http://dx.doi.org/10.1007/3-540-07407-4

http://dx.doi.org/10.1007/3-540-07170-9

http://dx.doi.org/10.1007/3-540-07186-5


http://dx.doi.org/10.1007/978-3-662-21549-4

http://dx.doi.org/10.1007/3-540-07165-2



http://dx.doi.org/10.1007/3-540-07622-0

http://dx.doi.org/10.1007/3-540-07623-9


1976 Springer

K. Samelson 1976 Springer

Antoni Mazurkiewicz 1976 Springer

1976 Springer

1977 Springer

Albrecht Blaser, Clemens Hackl 1977 Springer

A. Ershov, C. H. A. Koster 1977 Springer

1977 Springer

Arto Salomaa, Magnus Steinby 1977 Springer

Jozef Gruska 1977 Springer

John H. Williams, David A. Fisher 1977 Springer

A. Gerbier 1977 Springer

Marek Karpiński 1977 SpringerWayne Cowell 1977 Springer

Michael J. O'Donnell 1977 Springer

Alfred C. Hartmann 1977 Springer

1978 Springer

Giorgio Ausiello, Corrado Böhm 1978 Springer

Leonard Bolc 1978 Springer

J. Winkowski 1978 Springer

Paul Branquart, Jean-Pierre Cardinael, Johan Lewi, Jean-Paul Delescaille, Michael Vanbegin

http://dx.doi.org/10.1007/3-540-07545-3

http://dx.doi.org/10.1007/3-540-07804-5

http://dx.doi.org/10.1007/3-540-07854-1

Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Klaus Samelson

http://dx.doi.org/10.1007/3-540-07994-7

G. Goos, J. Hartmanis, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth

http://dx.doi.org/10.1007/3-540-08138-0

http://dx.doi.org/10.1007/3-540-08141-0

http://dx.doi.org/10.1007/3-540-08065-1

Burton S. Garbow, J. M. Boyle, J. J. Dongarra, C. B. Moler http://dx.doi.org/10.1007/3-540-08254-9

http://dx.doi.org/10.1007/3-540-08342-1

http://dx.doi.org/10.1007/3-540-08353-7




http://dx.doi.org/10.1007/3-540-08531-9

http://dx.doi.org/10.1007/3-540-08240-9

Giampio Bracchi, Peter Christian Lockemann http://dx.doi.org/10.1007/3-540-08934-9

http://dx.doi.org/10.1007/3-540-08860-1


http://dx.doi.org/10.1007/3-540-08921-7

http://dx.doi.org/10.1007/3-540-07545-3

http://dx.doi.org/10.1007/3-540-07804-5

http://dx.doi.org/10.1007/3-540-07854-1

http://dx.doi.org/10.1007/3-540-07994-7

http://dx.doi.org/10.1007/3-540-08138-0

http://dx.doi.org/10.1007/3-540-08141-0

http://dx.doi.org/10.1007/3-540-08065-1

http://dx.doi.org/10.1007/3-540-08254-9

http://dx.doi.org/10.1007/3-540-08342-1

http://dx.doi.org/10.1007/3-540-08353-7



http://dx.doi.org/10.1007/3-540-08442-8

http://dx.doi.org/10.1007/3-540-08446-0

http://dx.doi.org/10.1007/3-540-08531-9

http://dx.doi.org/10.1007/3-540-08240-9

http://dx.doi.org/10.1007/3-540-08934-9

http://dx.doi.org/10.1007/3-540-08860-1


http://dx.doi.org/10.1007/3-540-08921-7

1978 Springer

1978 Springer

David Harel 1979 Springer

1979 Springer

Gilles Kahn 1979 SpringerEdward W. Ng 1979 Springer

1979 Springer

1979 Springer

Jiří Bečvář 1979 Springer

E. K. Blum, M. Paul, S. Takasu 1979 Springer

1979 Springer

Gregor Bochmann 1979 Springer

Shunji Osaki, Toshihiko Nishio 1980 Springer

John G. Sanderson 1980 SpringerIrène Guessarian 1980 SpringerDines Bjøorner 1980 Springer

Jeffrey M. Tobias 1980 Springer

S. K. Chang, K. S. Fu 1980 Springer

Bernard Robinet 1980 Springer

Wilfried Brauer 1980 Springer

Wolfgang Bibel, Robert Kowalski 1980 Springer

P. Dembiński 1980 Springer

Jose Encarnacao 1980 Springer

Neil D. Jones, Steven S. Muchnick http://dx.doi.org/10.1007/3-540-09085-1

R. Bayer, R. M. Graham, G. Seegmüller http://dx.doi.org/10.1007/3-540-08755-9

http://dx.doi.org/10.1007/3-540-09237-4

Friedrich L. Bauer, Manfred Broy, E. W. Dijkstra http://dx.doi.org/10.1007/BFb0014649

http://dx.doi.org/10.1007/BFb0022459http://dx.doi.org/10.1007/3-540-09519-5

Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg http://dx.doi.org/10.1007/BFb0025713

Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth

http://dx.doi.org/10.1007/3-540-09724-4

http://dx.doi.org/10.1007/3-540-09526-8

http://dx.doi.org/10.1007/3-540-09541-1

B. Childs, M. Scott, J. W. Daniel, E. Denman, P. Nelson http://dx.doi.org/10.1007/3-540-09554-3

http://dx.doi.org/10.1007/3-540-09723-6

http://dx.doi.org/10.1007/3-540-10274-4

http://dx.doi.org/10.1007/3-540-09987-5http://dx.doi.org/10.1007/3-540-10284-1http://dx.doi.org/10.1007/3-540-10007-5

http://dx.doi.org/10.1007/3-540-09745-7

http://dx.doi.org/10.1007/3-540-09757-0

http://dx.doi.org/10.1007/3-540-09981-6

http://dx.doi.org/10.1007/3-540-100016

http://dx.doi.org/10.1007/3-540-10009-1



http://dx.doi.org/10.1007/3-540-09085-1

http://dx.doi.org/10.1007/3-540-08755-9

http://dx.doi.org/10.1007/3-540-09237-4



http://dx.doi.org/10.1007/3-540-09519-5


http://dx.doi.org/10.1007/3-540-09724-4

http://dx.doi.org/10.1007/3-540-09526-8

http://dx.doi.org/10.1007/3-540-09541-1

http://dx.doi.org/10.1007/3-540-09554-3

http://dx.doi.org/10.1007/3-540-09723-6

http://dx.doi.org/10.1007/3-540-10274-4

http://dx.doi.org/10.1007/3-540-09987-5

http://dx.doi.org/10.1007/3-540-10284-1

http://dx.doi.org/10.1007/3-540-10007-5

http://dx.doi.org/10.1007/3-540-09745-7

http://dx.doi.org/10.1007/3-540-09757-0

http://dx.doi.org/10.1007/3-540-09981-6

http://dx.doi.org/10.1007/3-540-100016

http://dx.doi.org/10.1007/3-540-10009-1



David M. Sandford 1980 Springer

Derick Wood 1980 SpringerRobin Milner 1980 Springer

Anton Nijholt 1980 Springer

Neil D. Jones 1980 Springer

Christopher D. Marlin 1980 Springer

1980 Springer

Leonard Bloc, Zenon Kulpa 1981 Springer

Hartmut Noltemeier 1981 Springer

Peter Deussen 1981 Springer

Marco Antonio Casanova 1981 Springer

1981 Springer

J. Díaz, I. Ramos 1981 Springer

1981 Springer

N. Saito, T. Nishizeki 1981 SpringerAndré Thayse 1981 Springer

1981 Springer

1981 Springer

Wolfgang Polak 1981 Springer

Erwin Engeler 1981 Springer

Jozef Gruska, Michal Chytil 1981 Springer

James Harold Davenport 1981 Springer

http://dx.doi.org/10.1007/3-540-10231-0


http://dx.doi.org/10.1007/3-540-10245-0

http://dx.doi.org/10.1007/3-540-10250-7

http://dx.doi.org/10.1007/3-540-10256-6

G. Goos, J. Hartmanis, W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth

http://dx.doi.org/10.1007/3-540-10259-0

http://dx.doi.org/10.1007/3-540-10705-3

http://dx.doi.org/10.1007/3-540-10291-4


http://dx.doi.org/10.1007/3-540-10845-9

D. W. Davies, E. Holler, E. D. Jensen, S. R. Kimbleton, B. W. Lampson, G. LeLann, K. J. Thurber, R. W. Watson

http://dx.doi.org/10.1007/3-540-10571-9

http://dx.doi.org/10.1007/3-540-10699-5

Waltraud Dehning, Heidrun Essig, Susanne Maass http://dx.doi.org/10.1007/3-540-10826-2


Henry Ledgard, Andrew Singer, John Whiteside http://dx.doi.org/10.1007/3-540-10574-3

Zahari Zlatev, Jerzy Wasniewski, Kjeld Schaumburg http://dx.doi.org/10.1007/3-540-10874-2

http://dx.doi.org/10.1007/3-540-10886-6

http://dx.doi.org/10.1007/3-540-11160-3

http://dx.doi.org/10.1007/3-540-10856-4

http://dx.doi.org/10.1007/3-540-10290-6

http://dx.doi.org/10.1007/3-540-10231-0

http://dx.doi.org/10.1007/3-540-10233-7

http://dx.doi.org/10.1007/3-540-10235-3

http://dx.doi.org/10.1007/3-540-10245-0

http://dx.doi.org/10.1007/3-540-10250-7

http://dx.doi.org/10.1007/3-540-10256-6

http://dx.doi.org/10.1007/3-540-10259-0

http://dx.doi.org/10.1007/3-540-10705-3

http://dx.doi.org/10.1007/3-540-10291-4


http://dx.doi.org/10.1007/3-540-10845-9

http://dx.doi.org/10.1007/3-540-10571-9

http://dx.doi.org/10.1007/3-540-10699-5

http://dx.doi.org/10.1007/3-540-10826-2

http://dx.doi.org/10.1007/3-540-10704-5

http://dx.doi.org/10.1007/3-540-10286-8

http://dx.doi.org/10.1007/3-540-10574-3

http://dx.doi.org/10.1007/3-540-10874-2

http://dx.doi.org/10.1007/3-540-10886-6

http://dx.doi.org/10.1007/3-540-11160-3

http://dx.doi.org/10.1007/3-540-10856-4

http://dx.doi.org/10.1007/3-540-10290-6

1981 Springer

Shimon Even, Oded Kariv 1981 Springer

Ferenc Gécseg 1981 Springer

1981 Springer

Egidio Astesiano, Corrado Böhm 1981 Springer

Ernst-Erich Doberkat 1981 Springer

1981 Springer

Louis B. Rall 1981 Springer

1981 Springer

1981 Springer

Jacques Calmet 1982 Springer

1982 Springer

1982 Springer

Y. Wallach 1982 Springer

Brent T. Hailpern 1982 Springer

Robert Goldblatt 1982 Springer

Dexter Kozen 1982 Springer

1982 Springer

S. B. Yao, T. L. Kunii 1982 SpringerJørgen Staunstrup 1982 Springer

1982 Springer

G. Goos, J. Hartmanis, W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth

http://dx.doi.org/10.1007/3-540-10693-6

http://dx.doi.org/10.1007/3-540-10843-2

http://dx.doi.org/10.1007/3-540-10854-8

W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth, Wolfgang Händler


http://dx.doi.org/10.1007/3-540-10828-9

http://dx.doi.org/10.1007/3-540-10835-1

Barbara Liskov, Russell Atkinson, Toby Bloom, Eliot Moss, J. Craig Schaffert, Robert Scheifler, Alan Snyder


http://dx.doi.org/10.1007/3-540-10861-0

Andrei P. Ershov, Donald E. Knuth http://dx.doi.org/10.1007/3-540-11157-3

Arie Duijvestijn, Peter Christian Lockemann http://dx.doi.org/10.1007/3-540-10885-8

http://dx.doi.org/10.1007/3-540-11607-9

Armin B. Cremers, Hans-Peter Kriegel http://dx.doi.org/10.1007/BFb0036464

Michael J. Flynn, Neville R. Harris, Daniel P. McCarthy http://dx.doi.org/10.1007/3-540-11172-7

http://dx.doi.org/10.1007/3-540-11194-8

http://dx.doi.org/10.1007/3-540-11205-7



S. B. Yao, S. B. Navathe, J. L. Weldon, T. L. Kunii http://dx.doi.org/10.1007/3-540-11214-6


R. L. Constable, S. D. Johnson, C. D. Eichenlaub http://dx.doi.org/10.1007/3-540-11492-0

http://dx.doi.org/10.1007/3-540-10693-6

http://dx.doi.org/10.1007/3-540-10843-2

http://dx.doi.org/10.1007/3-540-10854-8


http://dx.doi.org/10.1007/3-540-10828-9

http://dx.doi.org/10.1007/3-540-10835-1


http://dx.doi.org/10.1007/3-540-10861-0

http://dx.doi.org/10.1007/3-540-11157-3

http://dx.doi.org/10.1007/3-540-10885-8

http://dx.doi.org/10.1007/3-540-11607-9


http://dx.doi.org/10.1007/3-540-11172-7

http://dx.doi.org/10.1007/3-540-11194-8

http://dx.doi.org/10.1007/3-540-11205-7



http://dx.doi.org/10.1007/3-540-11214-6

http://dx.doi.org/10.1007/3-540-11215-4

http://dx.doi.org/10.1007/3-540-11490-4

http://dx.doi.org/10.1007/3-540-11492-0

Christoph M. Hoffmann 1982 Springer

1982 Springer

D. W. Loveland 1982 Springer

1982 Springer

1982 Springer

Paul C. Messina, Almerico Murli 1982 Springer

1982 Springer

Ole Østerby, Zahari Zlatev 1983 Springer

Mark H. Overmars 1983 Springer

Giorgio Ausiello, Marco Protasi 1983 Springer

Reiji Nakajima, Taiichi Yuasa 1983 Springer

1983 Springer

J. A. Hulzen 1983 Springer

1983 Springer

1983 Springer

A. Salwicki 1983 Springer

Thomas Beth 1983 Springer

1983 Springer

1983 Springer

1983 Springer

Josep Diaz 1983 Springer

http://dx.doi.org/10.1007/3-540-11493-9

Mariangiola Dezani-Ciancaglini, Ugo Montanari http://dx.doi.org/10.1007/3-540-11494-7


Mogens Nielsen, Erik Meineche Schmidt http://dx.doi.org/10.1007/BFb0012751

Uwe Kastens, Brigitte Hutt, Erich Zimmermann http://dx.doi.org/10.1007/BFb0034297

http://dx.doi.org/10.1007/3-540-11603-6

Mamoru Maekawa, Laszio A. Belady http://dx.doi.org/10.1007/3-540-11604-4

http://dx.doi.org/10.1007/3-540-12676-7


http://dx.doi.org/10.1007/3-540-12727-5

http://dx.doi.org/10.1007/3-540-12693-7

Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler http://dx.doi.org/10.1007/3-540-12695-3

http://dx.doi.org/10.1007/3-540-12868-9

Gerard Salton, Hans-Jochen Schneider http://dx.doi.org/10.1007/BFb0036332

Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa

http://dx.doi.org/10.1007/3-540-11980-9

http://dx.doi.org/10.1007/3-540-11981-7

http://dx.doi.org/10.1007/3-540-39466-4

Albrecht Blaser, Magdalena Zoeppritz http://dx.doi.org/10.1007/3-540-12273-7

Robert Piloty, Dominique Borrione, Mario R. Barbacci, D. L. Dietmeyer, Frederick J. Hill, Patrick Skelly

http://dx.doi.org/10.1007/3-540-12275-3

Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg http://dx.doi.org/10.1007/BFb0000094


http://dx.doi.org/10.1007/3-540-11493-9

http://dx.doi.org/10.1007/3-540-11494-7




http://dx.doi.org/10.1007/3-540-11603-6

http://dx.doi.org/10.1007/3-540-11604-4

http://dx.doi.org/10.1007/3-540-12676-7


http://dx.doi.org/10.1007/3-540-12727-5

http://dx.doi.org/10.1007/3-540-12693-7

http://dx.doi.org/10.1007/3-540-12695-3

http://dx.doi.org/10.1007/3-540-12868-9


http://dx.doi.org/10.1007/3-540-11980-9

http://dx.doi.org/10.1007/3-540-11981-7

http://dx.doi.org/10.1007/3-540-39466-4

http://dx.doi.org/10.1007/3-540-12273-7

http://dx.doi.org/10.1007/3-540-12275-3



1983 Springer

Elöd Knuth, Erich J. Neuhold 1983 Springer

Marek Karpinski 1983 SpringerThomas F. Coleman 1984 Springer

M. Paul, B. Robinet 1984 Springer

U. Rembold, R. Dillmann 1984 Springer

Christian Ronse 1984 SpringerJohn Fitch 1984 Springer

André Thayse 1984 Springer

C. B. Jones 1984 Springer

1984 Springer

Victor Pan 1984 Springer

1984 Springer

Edmund Clarke, Dexter Kozen 1984 Springer

M. Fontet, K. Mehlhorn 1984 Springer

1984 Springer

Jan Paredaens 1984 Springer

1984 Springer

M. P. Chytil, V. Koubek 1984 Springer

Peter J. L. Wallis 1984 Springer

1985 Springer

1985 Springer

G. Rozenberg 1985 SpringerMark Steven Sherman 1985 Springer

G. Goos, J. Hartmanis, D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth

http://dx.doi.org/10.1007/3-540-12328-8



http://dx.doi.org/10.1007/3-540-12925-1


http://dx.doi.org/10.1007/BFb0023974http://dx.doi.org/10.1007/BFb0032823

http://dx.doi.org/10.1007/3-540-13358-5


Gerrit C. Veer, Michael J. Tauber, Thomas R. G. Green, Peter Gorny http://dx.doi.org/10.1007/3-540-13394-1

http://dx.doi.org/10.1007/3-540-13866-8

Mathai Joseph, Rudrapatna Shyamasundar http://dx.doi.org/10.1007/3-540-13883-8

http://dx.doi.org/10.1007/3-540-12896-4

http://dx.doi.org/10.1007/3-540-12920-0

E. Börger, G. Hasenjaeger, D. Rödding http://dx.doi.org/10.1007/3-540-13331-3

http://dx.doi.org/10.1007/3-540-13345-3

Gilles Kahn, David B. MacQueen, Gordon Plotkin http://dx.doi.org/10.1007/3-540-13346-1


http://dx.doi.org/10.1007/3-540-13878-1

F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, http://dx.doi.org/10.1007/3-540-15187-7

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher http://dx.doi.org/10.1007/3-540-15198-2


http://dx.doi.org/10.1007/3-540-12328-8


http://dx.doi.org/10.1007/3-540-12689-9

http://dx.doi.org/10.1007/3-540-12914-6

http://dx.doi.org/10.1007/3-540-12925-1




http://dx.doi.org/10.1007/3-540-13358-5


http://dx.doi.org/10.1007/3-540-13394-1

http://dx.doi.org/10.1007/3-540-13866-8

http://dx.doi.org/10.1007/3-540-13883-8

http://dx.doi.org/10.1007/3-540-12896-4

http://dx.doi.org/10.1007/3-540-12920-0

http://dx.doi.org/10.1007/3-540-13331-3

http://dx.doi.org/10.1007/3-540-13345-3

http://dx.doi.org/10.1007/3-540-13346-1


http://dx.doi.org/10.1007/3-540-13878-1

http://dx.doi.org/10.1007/3-540-15187-7

http://dx.doi.org/10.1007/3-540-15198-2

http://dx.doi.org/10.1007/3-540-15204-0

http://dx.doi.org/10.1007/3-540-15212-1

1985 Springer

Howard Barringer 1985 Springer

M. Nivat, D. Perrin 1985 SpringerRohit Parikh 1985 Springer

Wilfried Brauer 1985 Springer

Heinrich J. Stüttgen 1985 Springer

1985 Springer

1985 Springer

Arnold Businger 1985 SpringerLothar Budach 1985 SpringerJan L. A. Snepscheut 1985 Springer

Jean-Pierre Jouannaud 1985 Springer


Bruno Buchberger 1985 SpringerBob F. Caviness 1985 Springer

S. N. Maheshwari 1985 Springer

K. Mehlhorn 1985 Springer

1985 Springer

1985 Springer

François S. Chaghaghi 1985 Springer

Paul Klint 1985 Springer

1985 Springer

Andrzej Skowron 1985 Springer

1986 Springer

1986 Springer

M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider

http://dx.doi.org/10.1007/3-540-15216-4

http://dx.doi.org/10.1007/3-540-15239-3



http://dx.doi.org/10.1007/3-540-15652-6

George Robert Blakley, David Chaum http://dx.doi.org/10.1007/3-540-39568-7

Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel http://dx.doi.org/10.1007/3-540-15670-4

http://dx.doi.org/10.1007/3-540-18960-2http://dx.doi.org/10.1007/BFb0028784http://dx.doi.org/10.1007/BFb0031414

http://dx.doi.org/10.1007/3-540-15975-4

http://dx.doi.org/10.1007/3-540-15976-2


http://dx.doi.org/10.1007/3-540-16042-6


D. Hutchison, J. A. Mariani, W. D. Shepherd http://dx.doi.org/10.1007/3-540-15191-5

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher http://dx.doi.org/10.1007/3-540-15199-0

http://dx.doi.org/10.1007/3-540-15202-4

http://dx.doi.org/10.1007/3-540-16041-8

B. T. Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray http://dx.doi.org/10.1007/3-540-16047-7

http://dx.doi.org/10.1007/3-540-16066-3

Bernard Robinet, Reinhard Wilhelm http://dx.doi.org/10.1007/3-540-16442-1

Christer Fernstrom, Ivan Kruzela, Bertil Svensson http://dx.doi.org/10.1007/3-540-16445-6

http://dx.doi.org/10.1007/3-540-15216-4

http://dx.doi.org/10.1007/3-540-15239-3

http://dx.doi.org/10.1007/3-540-15641-0

http://dx.doi.org/10.1007/3-540-15648-8


http://dx.doi.org/10.1007/3-540-15652-6

http://dx.doi.org/10.1007/3-540-39568-7

http://dx.doi.org/10.1007/3-540-15670-4

http://dx.doi.org/10.1007/3-540-18960-2



http://dx.doi.org/10.1007/3-540-15975-4

http://dx.doi.org/10.1007/3-540-15976-2

http://dx.doi.org/10.1007/3-540-15983-5

http://dx.doi.org/10.1007/3-540-15984-3

http://dx.doi.org/10.1007/3-540-16042-6


http://dx.doi.org/10.1007/3-540-15191-5

http://dx.doi.org/10.1007/3-540-15199-0

http://dx.doi.org/10.1007/3-540-15202-4

http://dx.doi.org/10.1007/3-540-16041-8

http://dx.doi.org/10.1007/3-540-16047-7

http://dx.doi.org/10.1007/3-540-16066-3

http://dx.doi.org/10.1007/3-540-16442-1

http://dx.doi.org/10.1007/3-540-16445-6

Harald Ganzinger, Neil D. Jones 1986 Springer

Wolfgang Bibel, Klaus P. Jantke 1986 Springer

Eiiti Wada 1986 Springer

Jacques Calmet 1986 Springer

1986 Springer

1986 Springer

Jacques Désarménien 1986 Springer

Alain Poli 1986 Springer

Jörg H. Siekmann 1986 Springer

Roland Hausser 1986 Springer

Wolfgang Bibel, Philippe Jorrand 1986 Springer

Lee Naish 1986 Springer

1986 Springer

1986 Springer

Austin Melton 1986 Springer

Kesav V. Nori 1986 Springer

1986 Springer

Giorgio Ausiello, Paolo Atzeni 1986 Springer

Karl Nickel 1986 SpringerPaul Franchi-Zannettacci 1986 Springer

1986 Springer

B. Monien, G. Vidal-Naquet 1986 Springer

Hugh C. Williams 1986 Springer

http://dx.doi.org/10.1007/3-540-16446-4

http://dx.doi.org/10.1007/3-540-16444-8

http://dx.doi.org/10.1007/3-540-16479-0

http://dx.doi.org/10.1007/3-540-16776-5

Jozef Gruska, Branislav Rovan, Juraj Wiedermann http://dx.doi.org/10.1007/BFb0016229

Willard L. Miranker, Richard A. Toupin http://dx.doi.org/10.1007/3-540-16798-6


http://dx.doi.org/10.1007/3-540-16767-6

http://dx.doi.org/10.1007/3-540-16780-3

http://dx.doi.org/10.1007/3-540-16781-1



Wolfgang Händler, Dieter Haupt, Rolf Jeltsch, Wilfried Juling, Otto Lange

http://dx.doi.org/10.1007/3-540-16811-7

David Pitt, Samson Abramsky, Axel Poigné, David Rydeheard http://dx.doi.org/10.1007/3-540-17162-2

http://dx.doi.org/10.1007/3-540-16816-8

http://dx.doi.org/10.1007/3-540-17179-7

Guy Cousineau, Pierre-Louis Curien, Bernard Robinet http://dx.doi.org/10.1007/3-540-17184-3

http://dx.doi.org/10.1007/3-540-17187-8

http://dx.doi.org/10.1007/3-540-16437-5http://dx.doi.org/10.1007/BFb0022653

Thomas Beth, Norbert Cot, Ingemar Ingemarsson http://dx.doi.org/10.1007/3-540-39757-4

http://dx.doi.org/10.1007/3-540-16078-7

http://dx.doi.org/10.1007/3-540-39799-X

http://dx.doi.org/10.1007/3-540-16446-4

http://dx.doi.org/10.1007/3-540-16444-8

http://dx.doi.org/10.1007/3-540-16479-0

http://dx.doi.org/10.1007/3-540-16776-5


http://dx.doi.org/10.1007/3-540-16798-6


http://dx.doi.org/10.1007/3-540-16767-6

http://dx.doi.org/10.1007/3-540-16780-3

http://dx.doi.org/10.1007/3-540-16781-1



http://dx.doi.org/10.1007/3-540-16811-7

http://dx.doi.org/10.1007/3-540-17162-2

http://dx.doi.org/10.1007/3-540-16816-8

http://dx.doi.org/10.1007/3-540-17179-7

http://dx.doi.org/10.1007/3-540-17184-3

http://dx.doi.org/10.1007/3-540-17187-8

http://dx.doi.org/10.1007/3-540-16437-5


http://dx.doi.org/10.1007/3-540-39757-4

http://dx.doi.org/10.1007/3-540-16078-7

http://dx.doi.org/10.1007/3-540-39799-X

Franz Pichler 1986 Springer

1986 Springer

G. Rozenberg 1986 Springer

1986 Springer

Ehud Shapiro 1986 Springer

Laurent Kott 1986 Springer

1986 Springer

1987 Springer

Hans F. Groote 1987 Springer

1987 Springer

1987 Springer

Günter Müller, Robert P. Blanc 1987 Springer

1987 Springer

1987 Springer

Varol Akman 1987 Springer

1987 Springer

Egon Börger 1987 Springer

Dominique Snyers, André Thayse 1987 Springer

P. Treleaven, M. Vanneschi 1987 Springer

Pierre Lescanne 1987 Springer

Francesca Cesarini, Silvio Salza 1987 Springer

http://dx.doi.org/10.1007/3-540-39805-8

Eichi Goto, Keijiro Araki, Taiichi Yuasa http://dx.doi.org/10.1007/3-540-16470-7


J. W. Bakker, W. -P. Roever, G. Rozenberg http://dx.doi.org/10.1007/BFb0027037

http://dx.doi.org/10.1007/3-540-16492-8

http://dx.doi.org/10.1007/3-540-16761-7

Filia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis http://dx.doi.org/10.1007/3-540-16766-8

Reidar Conradi, Tor M. Didriksen, Dag H. Wanvik http://dx.doi.org/10.1007/3-540-17189-4


Gottfried Tinhofer, Gunther Schmidt http://dx.doi.org/10.1007/3-540-17218-1

Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing http://dx.doi.org/10.1007/BFb0039590


Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari http://dx.doi.org/10.1007/3-540-17660-8

Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari http://dx.doi.org/10.1007/BFb0014968

http://dx.doi.org/10.1007/3-540-17629-2

David C. Luckham, Friedrich W. Henke, Bernd Krieg-Brückner, Olaf Owe

http://dx.doi.org/10.1007/3-540-17980-1

http://dx.doi.org/10.1007/3-540-18170-9

http://dx.doi.org/10.1007/3-540-18217-9

http://dx.doi.org/10.1007/3-540-18203-9

http://dx.doi.org/10.1007/3-540-17220-3

http://dx.doi.org/10.1007/3-540-17942-9

http://dx.doi.org/10.1007/3-540-39805-8

http://dx.doi.org/10.1007/3-540-16470-7



http://dx.doi.org/10.1007/3-540-16492-8

http://dx.doi.org/10.1007/3-540-16761-7

http://dx.doi.org/10.1007/3-540-16766-8

http://dx.doi.org/10.1007/3-540-17189-4


http://dx.doi.org/10.1007/3-540-17218-1



http://dx.doi.org/10.1007/3-540-17660-8


http://dx.doi.org/10.1007/3-540-17629-2

http://dx.doi.org/10.1007/3-540-17980-1

http://dx.doi.org/10.1007/3-540-18170-9

http://dx.doi.org/10.1007/3-540-18217-9

http://dx.doi.org/10.1007/3-540-18203-9

http://dx.doi.org/10.1007/3-540-17220-3

http://dx.doi.org/10.1007/3-540-17942-9

1987 Springer

1987 Springer

James S. Royer 1987 Springer

Gilles Kahn 1987 Springer

1987 Springer

1987 Springer

Marisa Venturini Zilli 1987 Springer

Peter Gorny, Michael J. Tauber 1987 Springer

Joseph H. Fasel, Robert M. Keller 1987 Springer

1987 Springer

Tung X. Bui 1987 Springer

Marisa Venturini Zilli 1987 Springer

B. Bouchon, R. R. Yager 1987 Springer

Johann Christoph Freytag 1987 Springer

1987 Springer

Panos M. Pardalos, J. Ben Rosen 1987 Springer

1987 Springer

1987 Springer

A. Kündig, R. E. Bührer, J. Dähler 1987 Springer

1987 Springer

Jörg D. Becker, Ignaz Eisele 1987 Springer

J. W. Bakker, A. J. Nijman, P. C. Treleaven http://dx.doi.org/10.1007/3-540-17943-7

Andreas Albrecht, Hermann Jung, Kurt Mehlhorn http://dx.doi.org/10.1007/3-540-18099-0

http://dx.doi.org/10.1007/3-540-18253-5

http://dx.doi.org/10.1007/3-540-18317-5

A. Nico Habermann, Ugo Montanari http://dx.doi.org/10.1007/3-540-18341-8

Jean Bézivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman http://dx.doi.org/10.1007/3-540-47891-4

http://dx.doi.org/10.1007/3-540-18419-8

http://dx.doi.org/10.1007/3-540-18507-0

http://dx.doi.org/10.1007/3-540-18420-1

Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov

http://dx.doi.org/10.1007/3-540-18740-5

http://dx.doi.org/10.1007/3-540-18753-7

http://dx.doi.org/10.1007/3-540-18419-8

http://dx.doi.org/10.1007/3-540-18579-8


Alan Burns, Andrew M. Lister, Andrew J. Wellings http://dx.doi.org/10.1007/3-540-18008-7


Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter

http://dx.doi.org/10.1007/3-540-18598-4

David H. Pitt, Axel Poigné, David E. Rydeheard http://dx.doi.org/10.1007/3-540-18508-9


Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold

http://dx.doi.org/10.1007/3-540-17654-3

http://dx.doi.org/10.1007/3-540-18022-2

http://dx.doi.org/10.1007/3-540-17943-7

http://dx.doi.org/10.1007/3-540-18099-0

http://dx.doi.org/10.1007/3-540-18253-5

http://dx.doi.org/10.1007/3-540-18317-5

http://dx.doi.org/10.1007/3-540-18341-8

http://dx.doi.org/10.1007/3-540-47891-4

http://dx.doi.org/10.1007/3-540-18419-8

http://dx.doi.org/10.1007/3-540-18507-0

http://dx.doi.org/10.1007/3-540-18420-1

http://dx.doi.org/10.1007/3-540-18740-5

http://dx.doi.org/10.1007/3-540-18753-7

http://dx.doi.org/10.1007/3-540-18419-8

http://dx.doi.org/10.1007/3-540-18579-8


http://dx.doi.org/10.1007/3-540-18008-7


http://dx.doi.org/10.1007/3-540-18598-4

http://dx.doi.org/10.1007/3-540-18508-9


http://dx.doi.org/10.1007/3-540-17654-3

http://dx.doi.org/10.1007/3-540-18022-2

1987 Springer

1987 Springer

Andrew M. Odlyzko 1987 SpringerEiiti Wada 1987 SpringerKlaus P. Jantke 1987 SpringerGrzegorz Rozenberg 1987 Springer

Thomas Ottmann 1987 Springer

Alica Kelemenová, Jozef Kelemen 1987 Springer

Kesav V. Nori 1987 Springer

Andrzej Blikle 1987 Springer

Howard Nichols, Dan Simpson 1987 Springer

1987 Springer

Carl Pomerance 1988 SpringerRobert Cori, Martin Wirsing 1988 Springer

1988 Springer

J. Nehmer 1988 Springer

Ewing Lusk, Ross Overbeek 1988 Springer

J. Kittler 1988 Springer

Daniel M. Yellin 1988 Springer

1988 Springer

David Chaum, Wyn L. Price 1988 Springer

1988 Springer

H. Ganzinger 1988 Springer

1988 Springer

1988 Springer

1988 Springer

W. Brauer, W. Reisig, G. Rozenberg http://dx.doi.org/10.1007/978-3-540-47919-2

W. Brauer, W. Reisig, G. Rozenberg http://dx.doi.org/10.1007/BFb0046832

http://dx.doi.org/10.1007/3-540-47721-7http://dx.doi.org/10.1007/3-540-18024-9http://dx.doi.org/10.1007/3-540-18081-8http://dx.doi.org/10.1007/3-540-18086-9

http://dx.doi.org/10.1007/3-540-18088-5

http://dx.doi.org/10.1007/3-540-18535-6

http://dx.doi.org/10.1007/3-540-18625-5

http://dx.doi.org/10.1007/3-540-18657-3


Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld

http://dx.doi.org/10.1007/3-540-18771-5


Rüdiger Dierstein, Dieter Müller-Wichards, Hans-Martin Wacker http://dx.doi.org/10.1007/3-540-18923-8

http://dx.doi.org/10.1007/3-540-19333-2


http://dx.doi.org/10.1007/3-540-19036-8

http://dx.doi.org/10.1007/3-540-19072-4

J. W. Schmidt, S. Ceri, M. Missikoff http://dx.doi.org/10.1007/3-540-19074-0

http://dx.doi.org/10.1007/3-540-39118-5

J. Biskup, J. Demetrovics, J. Paredaens, B. Thalheim http://dx.doi.org/10.1007/3-540-19121-6

http://dx.doi.org/10.1007/3-540-19027-9

Michal P. Chytil, Václav Koubek, Ladislav Janiga http://dx.doi.org/10.1007/BFb0017126

Marc Gyssens, Jan Paredaens, Dirk Gucht http://dx.doi.org/10.1007/3-540-50171-1

Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones http://dx.doi.org/10.1007/3-540-50214-9

http://dx.doi.org/10.1007/978-3-540-47919-2


http://dx.doi.org/10.1007/3-540-47721-7

http://dx.doi.org/10.1007/3-540-18024-9

http://dx.doi.org/10.1007/3-540-18081-8

http://dx.doi.org/10.1007/3-540-18086-9

http://dx.doi.org/10.1007/3-540-18088-5

http://dx.doi.org/10.1007/3-540-18535-6

http://dx.doi.org/10.1007/3-540-18625-5

http://dx.doi.org/10.1007/3-540-18657-3


http://dx.doi.org/10.1007/3-540-18771-5

http://dx.doi.org/10.1007/3-540-48184-2


http://dx.doi.org/10.1007/3-540-18923-8

http://dx.doi.org/10.1007/3-540-19333-2


http://dx.doi.org/10.1007/3-540-19036-8

http://dx.doi.org/10.1007/3-540-19072-4

http://dx.doi.org/10.1007/3-540-19074-0

http://dx.doi.org/10.1007/3-540-39118-5

http://dx.doi.org/10.1007/3-540-19121-6

http://dx.doi.org/10.1007/3-540-19027-9


http://dx.doi.org/10.1007/3-540-50171-1

http://dx.doi.org/10.1007/3-540-50214-9

1988 Springer

1988 Springer

Gilles Brassard 1988 Springer

M. Joseph 1988 Springer

Hartmut Noltemeier 1988 Springer

Klaus R. Dittrich 1988 Springer

Kesav V. Nori, Sanjeev Kumar 1988 Springer

D. Sannella, A. Tarlecki 1988 Springer

Grzegorz Rozenberg 1988 Springer

Job Zwiers 1988 Springer

Bruce R. Donald 1988 Springer

Rainer Janßen 1988 Springer

1988 Springer

S. Kaplan, J. -P. Jouannaud 1988 SpringerG. Cohen, P. Godlewski 1988 SpringerAlbrecht Blaser 1988 Springer

1988 Springer

Gary A. Ford 1988 SpringerFrederich H. Vogt 1988 Springer

Oliver Günther 1988 Springer

1988 Springer

1988 Springer

1988 Springer

M. Dauchet, M. Nivat 1988 Springer

Thomas Beth, Michael Clausen 1988 Springer

J. Leeuwen 1988 Springer

Egon Börger, Hans Kleine Büning, Michael M. Richter http://dx.doi.org/10.1007/3-540-50241-6

D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries http://dx.doi.org/10.1007/3-540-45961-8


http://dx.doi.org/10.1007/3-540-50302-1

http://dx.doi.org/10.1007/3-540-50335-8

http://dx.doi.org/10.1007/3-540-50345-5

http://dx.doi.org/10.1007/3-540-50517-2

http://dx.doi.org/10.1007/3-540-50325-0

http://dx.doi.org/10.1007/3-540-50580-6



http://dx.doi.org/10.1007/3-540-18928-9

Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi http://dx.doi.org/10.1007/3-540-19129-1


Pierre Deransart, Martin Jourdan, Bernard Lorho http://dx.doi.org/10.1007/BFb0030509



F. L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper

http://dx.doi.org/10.1007/3-540-18779-0

E. N. Houstis, T. S. Papatheodorou, C. D. Polychronopoulos

http://dx.doi.org/10.1007/3-540-18991-2

M. Main, A. Melton, M. Mislove, D. Schmidt http://dx.doi.org/10.1007/3-540-19020-1




http://dx.doi.org/10.1007/3-540-50241-6

http://dx.doi.org/10.1007/3-540-45961-8


http://dx.doi.org/10.1007/3-540-50302-1

http://dx.doi.org/10.1007/3-540-50335-8

http://dx.doi.org/10.1007/3-540-50345-5

http://dx.doi.org/10.1007/3-540-50517-2

http://dx.doi.org/10.1007/3-540-50325-0

http://dx.doi.org/10.1007/3-540-50580-6



http://dx.doi.org/10.1007/3-540-18928-9

http://dx.doi.org/10.1007/3-540-19129-1

http://dx.doi.org/10.1007/3-540-19242-5

http://dx.doi.org/10.1007/3-540-19368-5

http://dx.doi.org/10.1007/3-540-50011-1



http://dx.doi.org/10.1007/3-540-50403-6


http://dx.doi.org/10.1007/3-540-18779-0

http://dx.doi.org/10.1007/3-540-18991-2

http://dx.doi.org/10.1007/3-540-19020-1




B. Bouchon, L. Saitta, R. R. Yager 1988 Springer

1988 Springer

1988 Springer

C. Choffrut 1988 Springer

Timo Lepistö, Arto Salomaa 1988 Springer

Rolf Karlsson, Andrzej Lingas 1988 SpringerJohn H. Reif 1988 Springer

Stein Gjessing, Kristen Nygaard 1988 Springer

1988 Springer

Sergio Bittanti 1989 Springer

J. Leeuwen 1989 Springer

1989 Springer

B. Monien, R. Cori 1989 Springer

Llorenç Huguet, Alain Poli 1989 Springer

Hermann Maurer 1989 Springer

1989 Springer

Björn Lisper 1989 Springer

Aimo Törn, Antanas Žilinskas 1989 SpringerJosep Díaz, Fernando Orejas 1989 SpringerJ. Díaz, F. Orejas 1989 Springer

1989 Springer

Nachum Dershowitz 1989 Springer

1989 Springer

1989 Springer

1989 Springer

http://dx.doi.org/10.1007/3-540-19402-9

Herbert Göttler, Hana-Jürgen Schneider http://dx.doi.org/10.1007/3-540-19422-3

Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki http://dx.doi.org/10.1007/3-540-19426-6

http://dx.doi.org/10.1007/3-540-19444-4

http://dx.doi.org/10.1007/3-540-19488-6


http://dx.doi.org/10.1007/3-540-45910-3

Maurizio Rafanelli, John C. Klensin, Per Svensson http://dx.doi.org/10.1007/BFb0027501


http://dx.doi.org/10.1007/3-540-50728-0

Gottfried Wolf, Tamáas Legendi, Udo Schendel http://dx.doi.org/10.1007/3-540-50647-0


http://dx.doi.org/10.1007/3-540-51082-6

http://dx.doi.org/10.1007/3-540-51142-3

S. Abiteboul, P. C. Fischer, H. -J. Schek http://dx.doi.org/10.1007/3-540-51171-7

http://dx.doi.org/10.1007/3-540-51156-3


J. W. Bakker, W. -P. Roever, G. Rozenberg http://dx.doi.org/10.1007/BFb0013019

http://dx.doi.org/10.1007/3-540-51081-8

Albert R. Meyer, Michael A. Taitslin http://dx.doi.org/10.1007/3-540-51237-3

János Demetrovics, Bernhard Thalheim http://dx.doi.org/10.1007/3-540-51251-9

Eddy Odijk, Martin Rem, Jean-Claude Syre http://dx.doi.org/10.1007/3-540-51284-5

http://dx.doi.org/10.1007/3-540-19402-9

http://dx.doi.org/10.1007/3-540-19422-3

http://dx.doi.org/10.1007/3-540-19426-6

http://dx.doi.org/10.1007/3-540-19444-4

http://dx.doi.org/10.1007/3-540-19488-6

http://dx.doi.org/10.1007/3-540-19487-8


http://dx.doi.org/10.1007/3-540-45910-3



http://dx.doi.org/10.1007/3-540-50728-0

http://dx.doi.org/10.1007/3-540-50647-0


http://dx.doi.org/10.1007/3-540-51082-6

http://dx.doi.org/10.1007/3-540-51142-3

http://dx.doi.org/10.1007/3-540-51171-7

http://dx.doi.org/10.1007/3-540-51156-3

http://dx.doi.org/10.1007/3-540-50871-6

http://dx.doi.org/10.1007/3-540-50939-9

http://dx.doi.org/10.1007/3-540-50940-2


http://dx.doi.org/10.1007/3-540-51081-8

http://dx.doi.org/10.1007/3-540-51237-3

http://dx.doi.org/10.1007/3-540-51251-9

http://dx.doi.org/10.1007/3-540-51284-5

1989 Springer

Witold Litwin, Hans-Jörg Schek 1989 Springer

P. Gianni 1989 Springer

Haran Boral, Pascal Faudemay 1989 Springer

Christoph Meinel 1989 Springer

Dieter Hammer 1989 Springer

T. Theoharis 1989 Springer

Kay A. Robbins, Steven Robbins 1989 Springer

J. L. A. Snepscheut 1989 SpringerNorman E. Gibbs 1989 Springer

1989 Springer

1989 Springer

F. Dehne, J. -R. Sack, N. Santoro 1989 Springer

G. A. Zee, J. G. G. Vorst 1989 Springer

1989 Springer

C. Ghezzi, J. A. McDermid 1989 Springer

1989 Springer

1989 Springer

J. -D. Boissonnat, J. -P. Laumond 1989 Springer

1989 Springer

Rolf Klein 1989 Springer

Hristo Djidjev 1989 Springer

1989 Springer

Shafi Goldwasser 1989 Springer

Joachim Beer 1989 Springer

Eddy Odijk, Martin Rem, Jean-Claude Syre http://dx.doi.org/10.1007/3-540-51285-3

http://dx.doi.org/10.1007/3-540-51295-0

http://dx.doi.org/10.1007/3-540-51084-2

http://dx.doi.org/10.1007/3-540-51324-8


http://dx.doi.org/10.1007/3-540-51364-7

http://dx.doi.org/10.1007/3-540-51394-9



Gottfried Wolf, Tamáas Legendi, Udo Schendel http://dx.doi.org/10.1007/3-540-50647-0

J. Grabowski, P. Lescanne, W. Wechler http://dx.doi.org/10.1007/3-540-50667-5

http://dx.doi.org/10.1007/3-540-51542-9

http://dx.doi.org/10.1007/3-540-51604-2

Egon Börger, Hans Kleine Büning, Michael M. Richter http://dx.doi.org/10.1007/BFb0026291

http://dx.doi.org/10.1007/3-540-51635-2

Gérard Cohen, Jacques Wolfmann http://dx.doi.org/10.1007/BFb0019841

David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné


http://dx.doi.org/10.1007/3-540-51683-2

Jean-Claude Bermond, Michel Raynal http://dx.doi.org/10.1007/3-540-51687-5

http://dx.doi.org/10.1007/3-540-52055-4

http://dx.doi.org/10.1007/3-540-51859-2

Tapan P. Bagchi, Vinay K. Chaudhri http://dx.doi.org/10.1007/BFb0019944

http://dx.doi.org/10.1007/0-387-34799-2

http://dx.doi.org/10.1007/3-540-52053-8

http://dx.doi.org/10.1007/3-540-51285-3

http://dx.doi.org/10.1007/3-540-51295-0

http://dx.doi.org/10.1007/3-540-51084-2

http://dx.doi.org/10.1007/3-540-51324-8


http://dx.doi.org/10.1007/3-540-51364-7

http://dx.doi.org/10.1007/3-540-51394-9


http://dx.doi.org/10.1007/3-540-51305-1


http://dx.doi.org/10.1007/3-540-50647-0

http://dx.doi.org/10.1007/3-540-50667-5

http://dx.doi.org/10.1007/3-540-51542-9

http://dx.doi.org/10.1007/3-540-51604-2


http://dx.doi.org/10.1007/3-540-51635-2



http://dx.doi.org/10.1007/3-540-51683-2

http://dx.doi.org/10.1007/3-540-51687-5

http://dx.doi.org/10.1007/3-540-52055-4

http://dx.doi.org/10.1007/3-540-51859-2


http://dx.doi.org/10.1007/0-387-34799-2

http://dx.doi.org/10.1007/3-540-52053-8

1989 Springer

J. E. Pin 1989 Springer

1989 Springer

Dirk A. Taubner 1989 Springer

Rolf T. Nossum 1989 Springer

1989 Springer

Katharina Morik 1989 Springer

1989 Springer

Teo Mora 1989 Springer

1989 Springer

Maurice Gross, Dominique Perrin 1989 Springer

James H. Davenport 1989 Springer

1989 Springer

1989 Springer

J. Dassow, J. Kelemen 1989 Springer

Martin Wirsing, Jan A. Bergstra 1989 Springer

1989 Springer

Joseph Sifakis 1990 Springer

Miriam Leeser, Geoffrey Brown 1990 Springer

1990 Springer

F. Pichler, R. Moreno-Diaz 1990 Springer

Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca



H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß http://dx.doi.org/10.1007/3-540-51722-7

http://dx.doi.org/10.1007/3-540-51525-9

http://dx.doi.org/10.1007/3-540-50676-4

M. Reinfrank, J. Kleer, M. L. Ginsberg, E. Sandewall http://dx.doi.org/10.1007/3-540-50701-9


P. Deransart, B. Lorho, J. Małuszyński http://dx.doi.org/10.1007/3-540-50820-1

http://dx.doi.org/10.1007/3-540-51083-4

Dieter Gawlick, Mark Haynie, Andreas Reuter http://dx.doi.org/10.1007/3-540-51085-0

http://dx.doi.org/10.1007/3-540-51465-1

http://dx.doi.org/10.1007/3-540-51517-8

Antoni Kreczmar, Grazyna Mirkowska http://dx.doi.org/10.1007/3-540-51486-4

J. Csirik, J. Demetrovics, F. Gécseg http://dx.doi.org/10.1007/3-540-51498-8



Virginio Cantoni, Reiner Creutzburg, Stefano Levialdi, G. Wolf

http://dx.doi.org/10.1007/3-540-51815-0

http://dx.doi.org/10.1007/3-540-52148-8

http://dx.doi.org/10.1007/0-387-97226-9

Alejandro P. Buchmann, Oliver Günther, Terence R. Smith, Yuan-Fang Wang

http://dx.doi.org/10.1007/3-540-52208-5

http://dx.doi.org/10.1007/3-540-52215-8



http://dx.doi.org/10.1007/3-540-51722-7

http://dx.doi.org/10.1007/3-540-51525-9

http://dx.doi.org/10.1007/3-540-50676-4

http://dx.doi.org/10.1007/3-540-50701-9


http://dx.doi.org/10.1007/3-540-50820-1

http://dx.doi.org/10.1007/3-540-51083-4

http://dx.doi.org/10.1007/3-540-51085-0

http://dx.doi.org/10.1007/3-540-51465-1

http://dx.doi.org/10.1007/3-540-51517-8

http://dx.doi.org/10.1007/3-540-51486-4

http://dx.doi.org/10.1007/3-540-51498-8



http://dx.doi.org/10.1007/3-540-51815-0

http://dx.doi.org/10.1007/3-540-52148-8

http://dx.doi.org/10.1007/0-387-97226-9

http://dx.doi.org/10.1007/3-540-52208-5

http://dx.doi.org/10.1007/3-540-52215-8

C. E. Veni Madhavan 1990 Springer

Per Martin-Löf, Grigori Mints 1990 Springer

Zbigniew Michalewicz 1990 Springer

Manfred Nagl 1990 Springer

Reiner Lenz 1990 Springer

1990 Springer

1990 Springer

1990 Springer

Grzegorz Rozenberg 1990 SpringerO. Faugeras 1990 Springer

1990 Springer

Alfonso Miola 1990 Springer

Lionel E. Deimel 1990 SpringerNiels Houbak 1990 Springer

1990 Springer

A. Arnold 1990 SpringerNeil Jones 1990 Springer

1990 Springer

1990 Springer

Gilles Brassard 1990 Springer

1990 Springer

1990 Springer

J. C. M. Baeten, J. W. Klop 1990 Springer

P. Deransart, M. Jourdan 1990 Springer

http://dx.doi.org/10.1007/3-540-52048-1

http://dx.doi.org/10.1007/3-540-52335-9

http://dx.doi.org/10.1007/3-540-52342-1

http://dx.doi.org/10.1007/3-540-52292-1

http://dx.doi.org/10.1007/3-540-52290-5

Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski http://dx.doi.org/10.1007/BFb0024097

Christian Choffrut, Thomas Lengauer http://dx.doi.org/10.1007/3-540-52282-4

François Bancilhon, Constantino Thanos, Dennis Tsichritzis http://dx.doi.org/10.1007/BFb0022159


D. Bjørner, C. A. R. Hoare, H. Langmaack http://dx.doi.org/10.1007/3-540-52513-0

http://dx.doi.org/10.1007/3-540-52531-9


J. W. Bakker, W. -P. Roever, G. Rozenberg http://dx.doi.org/10.1007/3-540-52559-9


Wolfgang Schröder-Preikschat, Wolfgang Zimmer http://dx.doi.org/10.1007/3-540-52609-9

Bo Steinholtz, Arne Sølvberg, Lars Bergman http://dx.doi.org/10.1007/BFb0000578

http://dx.doi.org/10.1007/0-387-34805-0

Douglas H. Norrie, Hans-Werner Six http://dx.doi.org/10.1007/BFb0020864

Egon Börger, Hans Kleine Büning, Michael M. Richter http://dx.doi.org/10.1007/3-540-52753-2


http://dx.doi.org/10.1007/3-540-53101-7

http://dx.doi.org/10.1007/3-540-52048-1

http://dx.doi.org/10.1007/3-540-52335-9

http://dx.doi.org/10.1007/3-540-52342-1

http://dx.doi.org/10.1007/3-540-52292-1

http://dx.doi.org/10.1007/3-540-52290-5


http://dx.doi.org/10.1007/3-540-52282-4


http://dx.doi.org/10.1007/3-540-52494-0


http://dx.doi.org/10.1007/3-540-52513-0

http://dx.doi.org/10.1007/3-540-52531-9


http://dx.doi.org/10.1007/3-540-52497-5

http://dx.doi.org/10.1007/3-540-52559-9

http://dx.doi.org/10.1007/3-540-52590-4

http://dx.doi.org/10.1007/3-540-52592-0

http://dx.doi.org/10.1007/3-540-52609-9


http://dx.doi.org/10.1007/0-387-34805-0


http://dx.doi.org/10.1007/3-540-52753-2


http://dx.doi.org/10.1007/3-540-53101-7

1990 Springer

Branislav Rovan 1990 Springer

Jennifer Seberry, Josef Pieprzyk 1990 Springer

Volker Diekert 1990 Springer

1990 Springer

1990 Springer

Takayasu Ito, Robert H. Halstead 1990 Springer

1990 Springer

Michael S. Paterson 1990 Springer

Antonetta J. M. Gasteren 1990 Springer

John R. Gilbert, Rolf Karlsson 1990 Springer

1990 Springer

Jürgen Dassow, Jozef Kelemen 1990 Springer

Albrecht Blaser 1990 SpringerHelmar Burkhart 1990 Springer

1990 Springer

1990 Springer

Irène Guessarian 1990 Springer

Beng Chin Ooi 1990 Springer

1990 Springer

Fred Long 1990 Springer

Peter Gorny, Michael J. Tauber 1990 Springer

Tamiya Onodera, Satoru Kawai 1990 Springer

Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki http://dx.doi.org/10.1007/3-540-52921-7



http://dx.doi.org/10.1007/3-540-53031-2

Christodoulos A. Floudas, Panos M. Pardalos http://dx.doi.org/10.1007/3-540-53032-0

Pierre Deransart, Jan Maluszyński http://dx.doi.org/10.1007/BFb0024171


M. Main, A. Melton, M. Mislove, D. Schmidt http://dx.doi.org/10.1007/BFb0040251



http://dx.doi.org/10.1007/3-540-52846-6

Luis B. Almeida, Christian J. Wellekens http://dx.doi.org/10.1007/3-540-52255-7

http://dx.doi.org/10.1007/3-540-53414-8


Jean-Jacques Quisquater, Joos Vandewalle http://dx.doi.org/10.1007/3-540-46885-4

Jean-Jacques Quisquater, Joos Vandewalle http://dx.doi.org/10.1007/3-540-46885-4

http://dx.doi.org/10.1007/3-540-53479-2


S. G. Akl, F. Fiala, W. W. Koczkodaj http://dx.doi.org/10.1007/3-540-53504-7

http://dx.doi.org/10.1007/3-540-53452-0

http://dx.doi.org/10.1007/3-540-52698-6


http://dx.doi.org/10.1007/3-540-52921-7



http://dx.doi.org/10.1007/3-540-53031-2

http://dx.doi.org/10.1007/3-540-53032-0






http://dx.doi.org/10.1007/3-540-52846-6

http://dx.doi.org/10.1007/3-540-52255-7

http://dx.doi.org/10.1007/3-540-53414-8

http://dx.doi.org/10.1007/3-540-53397-4

http://dx.doi.org/10.1007/3-540-53065-7

http://dx.doi.org/10.1007/3-540-46885-4

http://dx.doi.org/10.1007/3-540-46885-4

http://dx.doi.org/10.1007/3-540-53479-2


http://dx.doi.org/10.1007/3-540-53504-7

http://dx.doi.org/10.1007/3-540-53452-0

http://dx.doi.org/10.1007/3-540-52698-6


Barbara Simons, Alfred Spector 1990 Springer

Rudi Studer 1990 Springer

1990 Springer

1990 Springer

1990 Springer

1991 Springer

Ivan Bjerre Damgård 1991 Springer

Dimitris Karagiannis 1991 Springer

Dieter Hammer 1991 Springer

1991 Springer

S. Abramsky, T. S. E. Maibaum 1991 Springer

S. Abramsky, T. S. E. Maibaum 1991 Springer

1991 Springer

1991 Springer

1991 Springer

1991 Springer

Dimitris Christodoulakis 1991 Springer

Martin Held 1991 Springer

1991 Springer

Janis Bārzdinš, Dines Bjørner 1991 SpringerPierre America 1991 Springer

1991 Springer

1991 Springer

1991 Springer


http://dx.doi.org/10.1007/3-540-53082-7

Jürgen Uhl, Hans Albrecht Schmid http://dx.doi.org/10.1007/BFb0016877

Hélène Kirchner, Wolfgang Wechler http://dx.doi.org/10.1007/3-540-53162-9

Serge Abiteboul, Paris C. Kanellakis http://dx.doi.org/10.1007/3-540-53507-1

Kesav V. Nori, C. E. Veni Madhavan http://dx.doi.org/10.1007/3-540-53487-3

http://dx.doi.org/10.1007/3-540-46877-3

http://dx.doi.org/10.1007/3-540-53557-8

http://dx.doi.org/10.1007/3-540-53669-8

Christian Choffrut, Matthias Jantzen http://dx.doi.org/10.1007/BFb0020782

http://dx.doi.org/10.1007/3-540-53982-4

http://dx.doi.org/10.1007/3-540-53981-6

Bernhard Thalheim, János Demetrovics, H. -D. Gerhardt http://dx.doi.org/10.1007/3-540-54009-1

Hans-Paul Schwefel, Reinhard Männer http://dx.doi.org/10.1007/BFb0029723

Frank Dehne, Frantisek Fiala, Waldemar W. Koczkodaj http://dx.doi.org/10.1007/3-540-54029-6

Rudolf Andersen, Janis A. Bubenko, Arne Sølvberg http://dx.doi.org/10.1007/3-540-54059-8


http://dx.doi.org/10.1007/3-540-54103-9

Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella



Joachim W. Schmidt, Anatoly A. Stogny http://dx.doi.org/10.1007/3-540-54141-1

Emile H. L. Aarts, Jan Leeuwen, Martin Rem http://dx.doi.org/10.1007/BFb0035091

Emile H. L. Aarts, Jan Leeuwen, Martin Rem http://dx.doi.org/10.1007/3-540-54152-7


http://dx.doi.org/10.1007/3-540-53082-7


http://dx.doi.org/10.1007/3-540-53162-9

http://dx.doi.org/10.1007/3-540-53507-1

http://dx.doi.org/10.1007/3-540-53487-3

http://dx.doi.org/10.1007/3-540-46877-3

http://dx.doi.org/10.1007/3-540-53557-8

http://dx.doi.org/10.1007/3-540-53669-8


http://dx.doi.org/10.1007/3-540-53982-4

http://dx.doi.org/10.1007/3-540-53981-6

http://dx.doi.org/10.1007/3-540-54009-1


http://dx.doi.org/10.1007/3-540-54029-6

http://dx.doi.org/10.1007/3-540-54059-8


http://dx.doi.org/10.1007/3-540-54103-9



http://dx.doi.org/10.1007/3-540-54132-2

http://dx.doi.org/10.1007/3-540-54141-1


http://dx.doi.org/10.1007/3-540-54152-7

Shojiro Sakata 1991 Springer

A. Endres, H. Weber 1991 Springer

Helmut Schmidt 1991 Springer


Rolf H. Möhring 1991 Springer

Jan Leeuwen, Nicola Santoro 1991 SpringerArndt Bode 1991 Springer

Ronald V. Book 1991 Springer

1991 Springer

J. A. Bergstra, L. M. G. Feijs 1991 Springer

Akinori Yonezawa, Takayasu Ito 1991 Springer

1991 Springer

1991 Springer

John Hughes 1991 Springer

Oliver Günther, Hans-Jörg Schek 1991 Springer

Takayasu Ito, Albert R. Meyer 1991 Springer

1991 Springer

Jan Maluszyński, Martin Wirsing 1991 Springer

1991 Springer

1991 Springer

1991 Springer

http://dx.doi.org/10.1007/3-540-54195-0

http://dx.doi.org/10.1007/3-540-54194-2

http://dx.doi.org/10.1007/3-540-53754-6

http://dx.doi.org/10.1007/3-540-53863-1

http://dx.doi.org/10.1007/3-540-53832-1


http://dx.doi.org/10.1007/3-540-53904-2

J. W. Bakker, W. P. Roever, G. Rozenberg http://dx.doi.org/10.1007/BFb0019438

http://dx.doi.org/10.1007/3-540-53912-3

http://dx.doi.org/10.1007/3-540-53932-8

Duvvuru Sriram, Robert Logcher, Shuichi Fukuda http://dx.doi.org/10.1007/BFb0014269

Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh http://dx.doi.org/10.1007/BFb0028090

http://dx.doi.org/10.1007/3-540-54396-1

http://dx.doi.org/10.1007/3-540-54414-3

http://dx.doi.org/10.1007/3-540-54415-1

Jos C. M. Baeten, Jan Frisco Groote http://dx.doi.org/10.1007/3-540-54430-5

http://dx.doi.org/10.1007/3-540-54444-5

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard


Edmund M. Clarke, Robert P. Kurshan http://dx.doi.org/10.1007/BFb0023712

Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg http://dx.doi.org/10.1007/BFb0017372

http://dx.doi.org/10.1007/3-540-54195-0

http://dx.doi.org/10.1007/3-540-54194-2

http://dx.doi.org/10.1007/3-540-53754-6

http://dx.doi.org/10.1007/3-540-53863-1

http://dx.doi.org/10.1007/3-540-53832-1

http://dx.doi.org/10.1007/3-540-54099-7


http://dx.doi.org/10.1007/3-540-53904-2


http://dx.doi.org/10.1007/3-540-53912-3

http://dx.doi.org/10.1007/3-540-53932-8



http://dx.doi.org/10.1007/3-540-54396-1

http://dx.doi.org/10.1007/3-540-54414-3

http://dx.doi.org/10.1007/3-540-54415-1

http://dx.doi.org/10.1007/3-540-54430-5

http://dx.doi.org/10.1007/3-540-54444-5




1991 Springer

1991 Springer

James E. Tomayko 1991 Springer

1991 Springer

1991 Springer

Alberto Prieto 1991 Springer

Henk Alblas, Bořivoj Melichar 1991 Springer

Rudolf Kruse, Pierre Siegel 1991 Springer

1991 Springer

1991 Springer

Pierre America 1991 Springer

1991 Springer

Grzegorz Rozenberg 1991 SpringerL. Budach 1991 Springer

1991 Springer

Manfred Broy, Martin Wirsing 1991 Springer

Donald W. Davies 1991 Springer

1991 Springer

S. Prehn, W. J. Toetenel 1991 Springer

Søren Prehn, Hans Toetenel 1991 Springer

H. Bieri, H. Noltemeier 1991 Springer

Gösta Grahne 1991 Springer

Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld

http://dx.doi.org/10.1007/3-540-54487-9

H. Ehrig, K. P. Jantke, F. Orejas, H. Reichel http://dx.doi.org/10.1007/3-540-54496-8


Masakazu Kojima, Nimrod Megiddo, Toshihito Noma, Akiko Yoshise

http://dx.doi.org/10.1007/3-540-54509-3

Harold F. Mattson, Teo Mora, T. R. N. Rao http://dx.doi.org/10.1007/3-540-54522-0


http://dx.doi.org/10.1007/3-540-54572-7

http://dx.doi.org/10.1007/3-540-54659-6

Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo

http://dx.doi.org/10.1007/3-540-54233-7

Alan C. F. Colchester, David J. Hawkes http://dx.doi.org/10.1007/BFb0033736


Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro http://dx.doi.org/10.1007/BFb0028243


Alfred J. Menezes, Scott A. Vanstone http://dx.doi.org/10.1007/3-540-38424-3


http://dx.doi.org/10.1007/3-540-46416-6

Axel Lamsweerde, Alfonso Fugetta http://dx.doi.org/10.1007/3-540-54742-8

http://dx.doi.org/10.1007/3-540-54834-3


http://dx.doi.org/10.1007/3-540-54891-2

http://dx.doi.org/10.1007/3-540-54919-6

http://dx.doi.org/10.1007/3-540-54487-9

http://dx.doi.org/10.1007/3-540-54496-8


http://dx.doi.org/10.1007/3-540-54509-3

http://dx.doi.org/10.1007/3-540-54522-0


http://dx.doi.org/10.1007/3-540-54572-7

http://dx.doi.org/10.1007/3-540-54659-6

http://dx.doi.org/10.1007/3-540-54233-7





http://dx.doi.org/10.1007/3-540-54458-5

http://dx.doi.org/10.1007/3-540-38424-3


http://dx.doi.org/10.1007/3-540-46416-6

http://dx.doi.org/10.1007/3-540-54742-8

http://dx.doi.org/10.1007/3-540-54834-3


http://dx.doi.org/10.1007/3-540-54891-2

http://dx.doi.org/10.1007/3-540-54919-6

Hermann Maurer 1991 Springer

Wen-Lian Hsu, R. C. T. Lee 1991 Springer

Andrzej Tarlecki 1991 Springer

Jean-Marie Jacquet 1991 Springer

Jozef Hooman 1991 Springer

G. Butler 1991 Springer

Somenath Biswas, Kesav V. Nori 1991 Springer

Ruth Breu 1991 Springer

1991 Springer

C. Delobel, M. Kifer, Y. Masunaga 1991 Springer

A. Beaumont, G. Gupta 1991 Springer

1991 Springer

Gérard Cohen, Pascale Charpin 1991 Springer

S. Kaplan, M. Okada 1991 Springer

Arthur Karshmer, Jürgen Nehmer 1991 Springer

Ivan Herman 1991 Springer

1991 Springer

1991 Springer

1991 Springer

Harold Boley, Michael M. Richter 1991 Springer

Jan Vytopil 1992 Springer

K. U. Schulz 1992 SpringerJoan Feigenbaum 1992 Springer


http://dx.doi.org/10.1007/3-540-54945-5

http://dx.doi.org/10.1007/3-540-54345-7

http://dx.doi.org/10.1007/3-540-54938-2

http://dx.doi.org/10.1007/3-540-54947-1

http://dx.doi.org/10.1007/3-540-54955-2

http://dx.doi.org/10.1007/3-540-54967-6

http://dx.doi.org/10.1007/3-540-54972-2

Cunsheng Ding, Guozhen Xiao, Weijuan Shan http://dx.doi.org/10.1007/3-540-54973-0

http://dx.doi.org/10.1007/3-540-55015-1

http://dx.doi.org/10.1007/3-540-55038-0

Naveed A. Sherwani, Elise Doncker, John A. Kapenga http://dx.doi.org/10.1007/BFb0038464

http://dx.doi.org/10.1007/3-540-54303-1

http://dx.doi.org/10.1007/3-540-54317-1


http://dx.doi.org/10.1007/3-540-55075-5

Gunther Schmidt, Rudolf Berghammer http://dx.doi.org/10.1007/3-540-55121-2

Pedro Barahona, Luís Moniz Pereira, António Porto http://dx.doi.org/10.1007/3-540-54535-2

Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello http://dx.doi.org/10.1007/3-540-54712-6


http://dx.doi.org/10.1007/3-540-55092-5



http://dx.doi.org/10.1007/3-540-54945-5

http://dx.doi.org/10.1007/3-540-54345-7

http://dx.doi.org/10.1007/3-540-54938-2

http://dx.doi.org/10.1007/3-540-54947-1

http://dx.doi.org/10.1007/3-540-54955-2

http://dx.doi.org/10.1007/3-540-54967-6

http://dx.doi.org/10.1007/3-540-54972-2

http://dx.doi.org/10.1007/3-540-54973-0

http://dx.doi.org/10.1007/3-540-55015-1

http://dx.doi.org/10.1007/3-540-55038-0


http://dx.doi.org/10.1007/3-540-54303-1

http://dx.doi.org/10.1007/3-540-54317-1


http://dx.doi.org/10.1007/3-540-55075-5

http://dx.doi.org/10.1007/3-540-55121-2

http://dx.doi.org/10.1007/3-540-54535-2

http://dx.doi.org/10.1007/3-540-54712-6


http://dx.doi.org/10.1007/3-540-55092-5

http://dx.doi.org/10.1007/3-540-55124-7

http://dx.doi.org/10.1007/3-540-46766-1

Alain Finkel, Matthias Jantzen 1992 Springer

1992 Springer

Kim G. Larsen, Arne Skou 1992 Springer

1992 Springer

1992 Springer

J. -C. Raoult 1992 SpringerBernd Krieg-Brückner 1992 SpringerImre Simon 1992 Springer

1992 Springer

1992 Springer

Richard E. Zippel 1992 Springer

1992 Springer

Andrew Cheese 1992 SpringerG. Sandini 1992 Springer

1992 Springer

Hans P. Zima 1992 Springer

Pericles Loucopoulos 1992 Springer

B. Monien, Th. Ottmann 1992 Springer

1992 Springer

1992 Springer

Donald E. Knuth 1992 Springer

1992 Springer

1992 Springer

1992 Springer

R. G. Herrtwich 1992 Springer

http://dx.doi.org/10.1007/3-540-55210-3

Thomas Beth, Markus Frisch, Gustavus J. Simmons http://dx.doi.org/10.1007/3-540-55215-4

http://dx.doi.org/10.1007/3-540-55179-4

Sam Toueg, Paul G. Spirakis, Lefteris Kirousis http://dx.doi.org/10.1007/BFb0022433

Alain Pirotte, Claude Delobel, Goerg Gottlob http://dx.doi.org/10.1007/BFb0032418

http://dx.doi.org/10.1007/3-540-55251-0http://dx.doi.org/10.1007/3-540-55253-7http://dx.doi.org/10.1007/BFb0023811

Gérard Cohen, Antoine Lobstein, Gilles Zémor, Simon Litsyn http://dx.doi.org/10.1007/BFb0034333

Jean Pierre Banâtre, Daniel Métayer http://dx.doi.org/10.1007/3-540-55160-3

http://dx.doi.org/10.1007/3-540-55328-2

Franz Pichler, Roberto Moreno Díaz http://dx.doi.org/10.1007/BFb0021000


Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua http://dx.doi.org/10.1007/BFb0038653

http://dx.doi.org/10.1007/3-540-55437-8


http://dx.doi.org/10.1007/3-540-55488-2

Claude Frasson, Gilles Gauthier, Gordon I. McCalla http://dx.doi.org/10.1007/3-540-55606-0

M. Tokoro, O. Nierstrasz, P. Wegner http://dx.doi.org/10.1007/3-540-55613-3

http://dx.doi.org/10.1007/3-540-55611-7

Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt

http://dx.doi.org/10.1007/3-540-55511-0

J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg http://dx.doi.org/10.1007/BFb0031984

J. Paul Myers, Michael J. O'Donnell http://dx.doi.org/10.1007/BFb0021078

http://dx.doi.org/10.1007/3-540-55639-7

http://dx.doi.org/10.1007/3-540-55210-3

http://dx.doi.org/10.1007/3-540-55215-4

http://dx.doi.org/10.1007/3-540-55179-4



http://dx.doi.org/10.1007/3-540-55251-0

http://dx.doi.org/10.1007/3-540-55253-7



http://dx.doi.org/10.1007/3-540-55160-3

http://dx.doi.org/10.1007/3-540-55328-2



http://dx.doi.org/10.1007/3-540-55426-2


http://dx.doi.org/10.1007/3-540-55437-8


http://dx.doi.org/10.1007/3-540-55488-2

http://dx.doi.org/10.1007/3-540-55606-0

http://dx.doi.org/10.1007/3-540-55613-3

http://dx.doi.org/10.1007/3-540-55611-7

http://dx.doi.org/10.1007/3-540-55511-0



http://dx.doi.org/10.1007/3-540-55639-7

Ole Lehrmann Madsen 1992 Springer

D. Dolev, Z. Galil, M. Rodeh 1992 SpringerIvan Tomek 1992 SpringerJ. Katwijk 1992 Springer

M. Levene 1992 Springer

1992 Springer


1992 Springer

Jean-Claude Derniame 1992 SpringerA. Pettorossi 1992 Springer

1992 Springer

Ron Koymans 1992 Springer

Hélène Kirchner, Giorgio Levi 1992 Springer

1992 Springer

Yves Bekkers, Jacques Cohen 1992 SpringerG. Vosselman 1992 Springer

Ivan M. Havel, Václav Koubek 1992 Springer

W.R. Cleaveland 1992 Springer

W. Vogler 1992 Springer

1992 Springer

Uwe Kastens, Peter Pfahler 1992 Springer

Annegret Habel 1992 Springer

Joachim Biskup, Richard Hull 1992 SpringerAdrian Segall, Shmuel Zaks 1992 Springer

1992 Springer

W. Kuich 1992 Springer


http://dx.doi.org/10.1007/BFb0035160http://dx.doi.org/10.1007/3-540-55578-1http://dx.doi.org/10.1007/3-540-55585-4

http://dx.doi.org/10.1007/3-540-55493-9

Daniel Etiemble, Jean-Claude Syre http://dx.doi.org/10.1007/3-540-55599-4

http://dx.doi.org/10.1007/3-540-55610-9

Luc Bougé, Michel Cosnard, Yves Robert, Denis Trystram http://dx.doi.org/10.1007/3-540-55895-0


Toshihide Ibaraki, Yasuyoshi Inagaki, Kazuo Iwama, Takao Nishizeki, Masafumi Yamashita

http://dx.doi.org/10.1007/3-540-56279-6

http://dx.doi.org/10.1007/3-540-56283-4


Maurice Bruynooghe, Martin Wirsing http://dx.doi.org/10.1007/3-540-55844-6


http://dx.doi.org/10.1007/3-540-55808-X


http://dx.doi.org/10.1007/3-540-55767-9

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter


http://dx.doi.org/10.1007/3-540-55984-1



Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater


http://dx.doi.org/10.1007/3-540-55719-9



http://dx.doi.org/10.1007/3-540-55578-1

http://dx.doi.org/10.1007/3-540-55585-4

http://dx.doi.org/10.1007/3-540-55493-9

http://dx.doi.org/10.1007/3-540-55599-4

http://dx.doi.org/10.1007/3-540-55610-9

http://dx.doi.org/10.1007/3-540-55895-0


http://dx.doi.org/10.1007/3-540-56282-6

http://dx.doi.org/10.1007/3-540-56279-6

http://dx.doi.org/10.1007/3-540-56283-4


http://dx.doi.org/10.1007/3-540-55844-6


http://dx.doi.org/10.1007/3-540-55798-9

http://dx.doi.org/10.1007/3-540-55808-X


http://dx.doi.org/10.1007/3-540-55767-9


http://dx.doi.org/10.1007/3-540-55984-1


http://dx.doi.org/10.1007/3-540-56039-4

http://dx.doi.org/10.1007/3-540-56188-9


http://dx.doi.org/10.1007/3-540-55719-9

G. Pernul, AM. Tjoa 1992 Springer

1992 Springer

Carol Sledge 1992 Springer

1992 Springer

Rudrapatna Shyamasundar 1992 Springer

K. Jensen 1992 Springer

1992 Springer

Peter M. D. Gray, Rob J. Lucas 1992 Springer

1992 Springer

A. Bensoussan, J. -P. Verjus 1992 Springer

Michel Bidoit, Christine Choppy 1992 Springer

André Schiper 1993 Springer

1993 Springer

1993 Springer

Ernst W. Mayr 1993 Springer

Rainer A. Rueppel 1993 Springer

1993 Springer

E. Lamma, P. Mello 1993 Springer

1993 Springer

1993 Springer

1993 Springer

Marc Bezem, Jan Friso Groote 1993 Springer

http://dx.doi.org/10.1007/3-540-56023-8

A. U. Frank, I. Campari, U. Formentini http://dx.doi.org/10.1007/3-540-55966-3

http://dx.doi.org/10.1007/3-540-55963-9

Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber

http://dx.doi.org/10.1007/3-540-56024-6

http://dx.doi.org/10.1007/3-540-56287-7

http://dx.doi.org/10.1007/3-540-55676-1

Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick S. P. Wang, Katsushi Inoue

http://dx.doi.org/10.1007/3-540-56346-6

http://dx.doi.org/10.1007/3-540-55693-1

James Pustejovsky, Sabine Bergler http://dx.doi.org/10.1007/3-540-55801-2

http://dx.doi.org/10.1007/3-540-56320-2

http://dx.doi.org/10.1007/3-540-56379-2

http://dx.doi.org/10.1007/3-540-57271-6

Lorenzo Donatiello, Randolph Nelson http://dx.doi.org/10.1007/BFb0013846

Michaël Rusinowitch, Jean-Luc Rémy http://dx.doi.org/10.1007/3-540-56393-8

http://dx.doi.org/10.1007/3-540-56402-0

http://dx.doi.org/10.1007/3-540-47555-9

Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt http://dx.doi.org/10.1007/BFb0030385

http://dx.doi.org/10.1007/3-540-56454-3

Stephen José Hanson, Werner Remmele, Ronald L. Rivest http://dx.doi.org/10.1007/3-540-56483-7

Mark Nitzberg, David Mumford, Takahiro Shiota http://dx.doi.org/10.1007/3-540-56484-5

Gregor Bochmann, David Karl Probst http://dx.doi.org/10.1007/3-540-56496-9


http://dx.doi.org/10.1007/3-540-56023-8

http://dx.doi.org/10.1007/3-540-55966-3

http://dx.doi.org/10.1007/3-540-55963-9

http://dx.doi.org/10.1007/3-540-56024-6

http://dx.doi.org/10.1007/3-540-56287-7

http://dx.doi.org/10.1007/3-540-55676-1

http://dx.doi.org/10.1007/3-540-56346-6

http://dx.doi.org/10.1007/3-540-55693-1

http://dx.doi.org/10.1007/3-540-55801-2

http://dx.doi.org/10.1007/3-540-56320-2

http://dx.doi.org/10.1007/3-540-56379-2

http://dx.doi.org/10.1007/3-540-57271-6


http://dx.doi.org/10.1007/3-540-56393-8

http://dx.doi.org/10.1007/3-540-56402-0

http://dx.doi.org/10.1007/3-540-47555-9


http://dx.doi.org/10.1007/3-540-56454-3

http://dx.doi.org/10.1007/3-540-56483-7

http://dx.doi.org/10.1007/3-540-56484-5

http://dx.doi.org/10.1007/3-540-56496-9


1993 Springer

1993 Springer

Pavel B. Brazdil 1993 Springer

M. -C. Gaudel, J. -P. Jouannaud 1993 Springer

1993 Springer

1993 Springer

Hans Jürgen Ohlbach 1993 Springer

1993 Springer

1993 Springer

Grzegorz Rozenberg 1993 SpringerAnne Mulkers 1993 Springer

Thomas H. Reiss 1993 Springer

1993 Springer

1993 Springer

1993 Springer

1993 Springer

Heinrich Wansing 1993 Springer

1993 Springer

George J. Milne, Laurence Pierre 1993 Springer

1993 Springer

1993 Springer

1993 Springer

Harrison H. Barrett, A. F. Gmitro 1993 Springer

P. Enjalbert, A. Finkel, K. W. Wagner http://dx.doi.org/10.1007/3-540-56503-5


http://dx.doi.org/10.1007/3-540-56602-3

http://dx.doi.org/10.1007/3-540-56610-4

R. S. Bird, C. C. Morgan, J. C. P. Woodcock http://dx.doi.org/10.1007/3-540-56625-2

James C. P. Woodcock, Peter G. Larsen http://dx.doi.org/10.1007/BFb0024633


Amnon Barak, Shai Guday, Richard G. Wheeler http://dx.doi.org/10.1007/3-540-56663-5

Gérard Cohen, Teo Mora, Oscar Moreno http://dx.doi.org/10.1007/3-540-56686-4



Habib Abdulrab, Jean-Pierre Pécuchet http://dx.doi.org/10.1007/3-540-56730-5

F. Meyer, B. Monien, A. L. Rosenberg http://dx.doi.org/10.1007/3-540-56731-3

C. Fermüller, A. Leitsch, T. Tammet, N. Zamov http://dx.doi.org/10.1007/3-540-56732-1

Berthold Hoffmann, Bernd Krieg-Brückner http://dx.doi.org/10.1007/3-540-56733-X

http://dx.doi.org/10.1007/3-540-56734-8

Bernadette Bouchon-Meunier, Llorenç Valverde, Ronald R. Yager

http://dx.doi.org/10.1007/3-540-56735-6


Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber


Colette Rolland, François Bodart, Corine Cauvet http://dx.doi.org/10.1007/3-540-56777-1

José Mira, Joan Cabestany, Alberto Prieto http://dx.doi.org/10.1007/3-540-56798-4


http://dx.doi.org/10.1007/3-540-56503-5

http://dx.doi.org/10.1007/3-540-56596-5

http://dx.doi.org/10.1007/3-540-56602-3

http://dx.doi.org/10.1007/3-540-56610-4

http://dx.doi.org/10.1007/3-540-56625-2



http://dx.doi.org/10.1007/3-540-56663-5

http://dx.doi.org/10.1007/3-540-56686-4

http://dx.doi.org/10.1007/3-540-56689-9

http://dx.doi.org/10.1007/3-540-56694-5


http://dx.doi.org/10.1007/3-540-56730-5

http://dx.doi.org/10.1007/3-540-56731-3

http://dx.doi.org/10.1007/3-540-56732-1

http://dx.doi.org/10.1007/3-540-56733-X

http://dx.doi.org/10.1007/3-540-56734-8

http://dx.doi.org/10.1007/3-540-56735-6



http://dx.doi.org/10.1007/3-540-56777-1

http://dx.doi.org/10.1007/3-540-56798-4


Michel Gauthier 1993 Springer

1993 Springer

Marco Ajmone Marsan 1993 Springer

David Abel, Beng Chin Ooi 1993 Springer

Peter E. Lauer 1993 Springer

1993 Springer

Erich P. Klement, Wolfgang Slany 1993 Springer

1993 Springer

Costas Courcoubetis 1993 Springer

Andrei Voronkov 1993 Springer

1993 Springer

1993 Springer

Paolo Atzeni 1993 Springer

1993 Springer

Mark Berg 1993 Springer

Frances Newbery Paulisch 1993 Springer

1993 Springer

1993 Springer

Oscar M. Nierstrasz 1993 Springer

Christian Laugier 1993 Springer

1993 Springer

Zoltán Ésik 1993 Springer

http://dx.doi.org/10.1007/3-540-56802-6

Jan Komorowski, Zbigniew W. Raś http://dx.doi.org/10.1007/3-540-56804-2

http://dx.doi.org/10.1007/3-540-56863-8

http://dx.doi.org/10.1007/3-540-56869-7

http://dx.doi.org/10.1007/3-540-56883-2

Arndt Bode, Mike Reeve, Gottfried Wolf http://dx.doi.org/10.1007/3-540-56891-3

http://dx.doi.org/10.1007/3-540-56920-0

Michael Frederick Worboys, Anna Frances Grundy http://dx.doi.org/10.1007/3-540-56921-9

http://dx.doi.org/10.1007/3-540-56922-7

http://dx.doi.org/10.1007/3-540-56944-8

Guy W. Mineau, Bernard Moulin, John F. Sowa http://dx.doi.org/10.1007/3-540-56979-0

Andrzej Lingas, Rolf Karlsson, Svante Carlsson http://dx.doi.org/10.1007/3-540-56939-1


E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter http://dx.doi.org/10.1007/3-540-56992-8



Herbert Grünbacher, Reiner W. Hartenstein http://dx.doi.org/10.1007/3-540-57091-8

H. Dieter Rombach, Victor R. Basili, Richard W. Selby http://dx.doi.org/10.1007/3-540-57092-6

http://dx.doi.org/10.1007/3-540-47910-4

http://dx.doi.org/10.1007/3-540-57132-9

Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro, Sue Whitesides http://dx.doi.org/10.1007/3-540-57155-8

http://dx.doi.org/10.1007/3-540-57163-9

http://dx.doi.org/10.1007/3-540-56802-6

http://dx.doi.org/10.1007/3-540-56804-2

http://dx.doi.org/10.1007/3-540-56863-8

http://dx.doi.org/10.1007/3-540-56869-7

http://dx.doi.org/10.1007/3-540-56883-2

http://dx.doi.org/10.1007/3-540-56891-3

http://dx.doi.org/10.1007/3-540-56920-0

http://dx.doi.org/10.1007/3-540-56921-9

http://dx.doi.org/10.1007/3-540-56922-7

http://dx.doi.org/10.1007/3-540-56944-8

http://dx.doi.org/10.1007/3-540-56979-0

http://dx.doi.org/10.1007/3-540-56939-1


http://dx.doi.org/10.1007/3-540-56992-8



http://dx.doi.org/10.1007/3-540-57091-8

http://dx.doi.org/10.1007/3-540-57092-6

http://dx.doi.org/10.1007/3-540-47910-4

http://dx.doi.org/10.1007/3-540-57132-9

http://dx.doi.org/10.1007/3-540-57155-8

http://dx.doi.org/10.1007/3-540-57163-9

1993 Springer

P. Venkat Rangan 1993 Springer

1993 Springer

1993 Springer

Eike Best 1993 Springer

Andrew U. Frank, Irene Campari 1993 Springer

Ian Sommerville, Manfred Paul 1993 Springer

Jennifer Seberry, Yuliang Zheng 1993 Springer

1993 Springer

1993 Springer

John Fitch 1993 Springer

Alfonso Miola 1993 Springer

1993 Springer

1993 Springer

Thomas Lengauer 1993 SpringerMiguel Filgueiras, Luís Damas 1993 SpringerPietro Torasso 1993 Springer

David B. Lomet 1993 Springer

Alexander Schill 1993 Springer

Arndt Bode, Mario Cin 1993 Springer

1993 Springer

Jens Volkert 1993 Springer

1993 Springer

Andrzej M. Borzyszkowski, Stefan Sokołowski http://dx.doi.org/10.1007/3-540-57182-5

http://dx.doi.org/10.1007/3-540-57183-3

Georg Gottlob, Alexander Leitsch, Daniele Mundici http://dx.doi.org/10.1007/BFb0022546

Maurice Bruynooghe, Jaan Penjam http://dx.doi.org/10.1007/3-540-57186-8

http://dx.doi.org/10.1007/3-540-57208-2

http://dx.doi.org/10.1007/3-540-57207-4

http://dx.doi.org/10.1007/3-540-57209-0

http://dx.doi.org/10.1007/3-540-57220-1

Dmitry Chetverikov, Walter G. Kropatsch http://dx.doi.org/10.1007/3-540-57233-3

Vladimír Mařík, Jiří Lažanský, Roland R. Wagner http://dx.doi.org/10.1007/3-540-57234-1

http://dx.doi.org/10.1007/3-540-57272-4


N. Aussenac, G. Boy, B. Gaines, M. Linster, J. -G. Ganascia, Y. Kodratoff

http://dx.doi.org/10.1007/3-540-57253-8

Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy http://dx.doi.org/10.1007/3-540-57264-3


http://dx.doi.org/10.1007/3-540-57301-1

http://dx.doi.org/10.1007/3-540-57306-2

http://dx.doi.org/10.1007/978-3-662-21577-7

Thomas Grechenig, Manfred Tscheligi http://dx.doi.org/10.1007/3-540-57312-7

http://dx.doi.org/10.1007/3-540-57314-3

Dines Bjørner, Manfred Broy, Igor V. Pottosin http://dx.doi.org/10.1007/BFb0039695

http://dx.doi.org/10.1007/3-540-57182-5

http://dx.doi.org/10.1007/3-540-57183-3


http://dx.doi.org/10.1007/3-540-57186-8

http://dx.doi.org/10.1007/3-540-57208-2

http://dx.doi.org/10.1007/3-540-57207-4

http://dx.doi.org/10.1007/3-540-57209-0

http://dx.doi.org/10.1007/3-540-57220-1

http://dx.doi.org/10.1007/3-540-57233-3

http://dx.doi.org/10.1007/3-540-57234-1

http://dx.doi.org/10.1007/3-540-57272-4


http://dx.doi.org/10.1007/3-540-57253-8

http://dx.doi.org/10.1007/3-540-57264-3

http://dx.doi.org/10.1007/3-540-57273-2

http://dx.doi.org/10.1007/3-540-57287-2

http://dx.doi.org/10.1007/3-540-57292-9

http://dx.doi.org/10.1007/3-540-57301-1

http://dx.doi.org/10.1007/3-540-57306-2

http://dx.doi.org/10.1007/978-3-662-21577-7

http://dx.doi.org/10.1007/3-540-57312-7

http://dx.doi.org/10.1007/3-540-57314-3


1993 Springer

1993 Springer

1993 Springer

1993 Springer

Ernest F. Brickell 1993 Springer

1993 Springer

Shojiro Nishio, Akinori Yonezawa 1993 Springer

1993 Springer

1993 Springer

Vito Roberto 1993 Springer

Andranick S. Tanguiane 1993 Springer

1993 Springer

Robert H. Halstead, Takayasu Ito 1993 Springer

Peter A. Fritzson 1993 Springer

Jorge L. Díaz-Herrera 1993 SpringerBernd Jähne 1993 Springer

1993 Springer

1993 Springer

1993 Springer

1993 Springer

Josef Pieprzyk, Babak Sadeghiyan 1993 Springer

Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel http://dx.doi.org/10.1007/3-540-57318-6

Jacques Calmet, John A. Campbell http://dx.doi.org/10.1007/3-540-57322-4

Matthias Weber, Martin Simons, Christine Lafontaine http://dx.doi.org/10.1007/3-540-57335-6

Hideki Imai, Ronald L. Rivest, Tsutomu Matsumoto http://dx.doi.org/10.1007/3-540-57332-1

http://dx.doi.org/10.1007/3-540-48071-4

Bart Preneel, René Govaerts, Joos Vandewalle http://dx.doi.org/10.1007/3-540-57341-0

http://dx.doi.org/10.1007/3-540-57342-9

Shuji Doshita, Koichi Furukawa, Klaus P. Jantke, Toyaki Nishida http://dx.doi.org/10.1007/3-540-57369-0

Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori

http://dx.doi.org/10.1007/3-540-57370-4

http://dx.doi.org/10.1007/3-540-57379-8


Michael Clarke, Rudolf Kruse, Serafín Moral http://dx.doi.org/10.1007/BFb0028174




Timothy W. Finin, Charles K. Nicholas, Yelena Yesha http://dx.doi.org/10.1007/3-540-57419-0

Leonard J. Bass, Juri Gornostaev, Claus Unger http://dx.doi.org/10.1007/3-540-57433-6

Heather D. Pfeiffer, Timothy E. Nagle http://dx.doi.org/10.1007/3-540-57454-9

Bernhard Möller, Helmut Partsch, Steve Schuman http://dx.doi.org/10.1007/3-540-57499-9

http://dx.doi.org/10.1007/3-540-57500-6

http://dx.doi.org/10.1007/3-540-57318-6

http://dx.doi.org/10.1007/3-540-57322-4

http://dx.doi.org/10.1007/3-540-57335-6

http://dx.doi.org/10.1007/3-540-57332-1

http://dx.doi.org/10.1007/3-540-48071-4

http://dx.doi.org/10.1007/3-540-57341-0

http://dx.doi.org/10.1007/3-540-57342-9

http://dx.doi.org/10.1007/3-540-57369-0

http://dx.doi.org/10.1007/3-540-57370-4

http://dx.doi.org/10.1007/3-540-57379-8






http://dx.doi.org/10.1007/3-540-57418-2

http://dx.doi.org/10.1007/3-540-57419-0

http://dx.doi.org/10.1007/3-540-57433-6

http://dx.doi.org/10.1007/3-540-57454-9

http://dx.doi.org/10.1007/3-540-57499-9

http://dx.doi.org/10.1007/3-540-57500-6

1993 Springer

Monique Teillaud 1993 Springer

1993 Springer

1993 Springer

Rudrapatna K. Shyamasundar 1993 Springer

1993 Springer

Henk Barendregt, Tobias Nipkow 1994 Springer

Wolfgang Gentzsch, Uwe Harms 1994 Springer

Serge Abiteboul, Eli Shamir 1994 Springer

Witold Litwin, Tore Risch 1994 SpringerJan-Olof Eklundh 1994 SpringerJan-Olof Eklundh 1994 Springer

Elisa Bertino, Susan Urban 1994 Springer

Jan Leeuwen 1994 SpringerGerard Tel, Paul Vitányi 1994 SpringerPeter A. Fritzson 1994 Springer

1994 Springer

1994 Springer

Gerd Wagner 1994 Springer

Tor Helleseth 1994 Springer

Philip R. Loocke 1994 Springer

Martin Gogolla 1994 Springer

1994 Springer

J. L. Nazareth 1994 SpringerPeter Haddawy 1994 Springer

Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua http://dx.doi.org/10.1007/3-540-57502-2

http://dx.doi.org/10.1007/3-540-57503-0

Nabil R. Adam, Bharat K. Bhargava http://dx.doi.org/10.1007/3-540-57507-3

Stefano Ceri, Katsumi Tanaka, Shalom Tsur http://dx.doi.org/10.1007/3-540-57530-8

http://dx.doi.org/10.1007/3-540-57529-4

K. W. Ng, P. Raghavan, N. V. Balasubramanian, F. Y. L. Chin http://dx.doi.org/10.1007/3-540-57568-5

http://dx.doi.org/10.1007/3-540-58085-9

http://dx.doi.org/10.1007/3-540-57981-8

http://dx.doi.org/10.1007/3-540-58201-0

http://dx.doi.org/10.1007/3-540-58183-9http://dx.doi.org/10.1007/3-540-57956-7http://dx.doi.org/10.1007/BFb0028329


http://dx.doi.org/10.1007/BFb0049390http://dx.doi.org/10.1007/BFb0020419http://dx.doi.org/10.1007/3-540-57877-3

Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman http://dx.doi.org/10.1007/3-540-58113-8

Franz Pichler, Roberto Moreno Díaz http://dx.doi.org/10.1007/3-540-57601-0

http://dx.doi.org/10.1007/3-540-57604-5

http://dx.doi.org/10.1007/3-540-48285-7


http://dx.doi.org/10.1007/3-540-57648-7

Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua http://dx.doi.org/10.1007/3-540-57659-2


http://dx.doi.org/10.1007/3-540-57502-2

http://dx.doi.org/10.1007/3-540-57503-0

http://dx.doi.org/10.1007/3-540-57507-3

http://dx.doi.org/10.1007/3-540-57530-8

http://dx.doi.org/10.1007/3-540-57529-4

http://dx.doi.org/10.1007/3-540-57568-5

http://dx.doi.org/10.1007/3-540-58085-9

http://dx.doi.org/10.1007/3-540-57981-8

http://dx.doi.org/10.1007/3-540-58201-0

http://dx.doi.org/10.1007/3-540-58183-9

http://dx.doi.org/10.1007/3-540-57956-7





http://dx.doi.org/10.1007/3-540-57877-3

http://dx.doi.org/10.1007/3-540-58113-8

http://dx.doi.org/10.1007/3-540-57601-0

http://dx.doi.org/10.1007/3-540-57604-5

http://dx.doi.org/10.1007/3-540-48285-7


http://dx.doi.org/10.1007/3-540-57648-7

http://dx.doi.org/10.1007/3-540-57659-2

http://dx.doi.org/10.1007/3-540-57671-1

http://dx.doi.org/10.1007/3-540-57697-5

1994 Springer

Brian C. Warboys 1994 SpringerDouglas R. Stinson 1994 Springer

Michel Banâtre, Peter A. Lee 1994 Springer

1994 Springer

1994 Springer

Kai Luck, Heinz Marburger 1994 Springer

1994 Springer

1994 Springer

1994 Springer

1994 Springer

Jürg Gutknecht 1994 Springer

Christoph G. Günther 1994 Springer

Francesco Bergadano, Luc Raedt 1994 Springer

Hartmut Ehrig, Fernando Orejas 1994 Springer

Sophie Tison 1994 Springer

Donald Sannella 1994 Springer

Masami Hagiya, John C. Mitchell 1994 Springer

Jan Leeuwen 1994 Springer

1994 Springer

1994 Springer

1994 Springer

Günter Haring, Gabriele Kotsis 1994 Springer

Warren A. Hunt 1994 Springer

Gerald Tomas, Christoph W. Ueberhuber http://dx.doi.org/10.1007/3-540-57738-6



Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner http://dx.doi.org/10.1007/3-540-57785-8

Hans Jürgen Schneider, Hartmut Ehrig http://dx.doi.org/10.1007/3-540-57787-4

http://dx.doi.org/10.1007/3-540-57802-1

M. Bonuccelli, P. Crescenzi, R. Petreschi http://dx.doi.org/10.1007/3-540-57811-0

Matthias Jarke, Janis Bubenko, Keith Jeffery http://dx.doi.org/10.1007/3-540-57818-8

Jeffrey J. Joyce, Carl-Johan H. Seger http://dx.doi.org/10.1007/3-540-57826-9

G. Cohen, S. Litsyn, A. Lobstein, G. Zémor http://dx.doi.org/10.1007/3-540-57843-9

http://dx.doi.org/10.1007/3-540-57840-4

http://dx.doi.org/10.1007/3-540-57856-0

http://dx.doi.org/10.1007/3-540-57868-4

http://dx.doi.org/10.1007/3-540-57867-6


http://dx.doi.org/10.1007/3-540-57880-3

http://dx.doi.org/10.1007/3-540-57887-0

http://dx.doi.org/10.1007/3-540-57899-4

Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill http://dx.doi.org/10.1007/BFb0017530

Neil D. Jones, Masami Hagiya, Masahiko Sato http://dx.doi.org/10.1007/BFb0032390

T. Aaron Gulliver, Norman P. Secord http://dx.doi.org/10.1007/3-540-57936-2

http://dx.doi.org/10.1007/3-540-58021-2

http://dx.doi.org/10.1007/3-540-57960-5

http://dx.doi.org/10.1007/3-540-57738-6

http://dx.doi.org/10.1007/3-540-57739-4

http://dx.doi.org/10.1007/3-540-48329-2


http://dx.doi.org/10.1007/3-540-57785-8

http://dx.doi.org/10.1007/3-540-57787-4

http://dx.doi.org/10.1007/3-540-57802-1

http://dx.doi.org/10.1007/3-540-57811-0

http://dx.doi.org/10.1007/3-540-57818-8

http://dx.doi.org/10.1007/3-540-57826-9

http://dx.doi.org/10.1007/3-540-57843-9

http://dx.doi.org/10.1007/3-540-57840-4

http://dx.doi.org/10.1007/3-540-57856-0

http://dx.doi.org/10.1007/3-540-57868-4

http://dx.doi.org/10.1007/3-540-57867-6


http://dx.doi.org/10.1007/3-540-57880-3

http://dx.doi.org/10.1007/3-540-57887-0

http://dx.doi.org/10.1007/3-540-57899-4



http://dx.doi.org/10.1007/3-540-57936-2

http://dx.doi.org/10.1007/3-540-58021-2

http://dx.doi.org/10.1007/3-540-57960-5

Wolfgang Gentzsch, Uwe Harms 1994 Springer

Roy Dyckhoff 1994 SpringerMunindar P. Singh 1994 Springer

1994 Springer

1994 Springer

Daniel Hernández 1994 Springer

1994 Springer

1994 Springer

Michael Masuch, László Pólos 1994 Springer

Ross Anderson 1994 Springer

1994 Springer

1994 Springer

Anil Nerode, Yu. V. Matiyasevich 1994 Springer

Alan Bundy 1994 Springer

Robert Valette 1994 Springer

1994 Springer

1994 Springer

David L. Dill 1994 SpringerMario Tokoro, Remo Pareschi 1994 Springer

Frank Pfenning 1994 Springer

1994 Springer

Erik M. Schmidt, Sven Skyum 1994 Springer

1994 Springer



Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt

http://dx.doi.org/10.1007/3-540-58027-1



Michel Cosnard, Afonso Ferreira, Joseph Peters http://dx.doi.org/10.1007/3-540-58078-6

Maxime Crochemore, Dan Gusfield http://dx.doi.org/10.1007/3-540-58094-8

http://dx.doi.org/10.1007/3-540-58095-6

http://dx.doi.org/10.1007/3-540-58108-1

Gerhard Lakemeyer, Bernhard Nebel http://dx.doi.org/10.1007/3-540-58107-3

Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg http://dx.doi.org/10.1007/3-540-58131-6

http://dx.doi.org/10.1007/3-540-58140-5

http://dx.doi.org/10.1007/3-540-58156-1

http://dx.doi.org/10.1007/3-540-58152-9

Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow http://dx.doi.org/10.1007/3-540-58233-9

Costas Halatsis, Dimitrios Maritsas, George Philokyprou, Sergios Theodoridis

http://dx.doi.org/10.1007/3-540-58184-7


http://dx.doi.org/10.1007/3-540-58216-9

Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim http://dx.doi.org/10.1007/BFb0024351

http://dx.doi.org/10.1007/3-540-58218-5

Joseph L. Mundy, Andrew Zisserman, David Forsyth http://dx.doi.org/10.1007/3-540-58240-1


http://dx.doi.org/10.1007/3-540-58025-5


http://dx.doi.org/10.1007/3-540-58027-1

http://dx.doi.org/10.1007/3-540-58043-3


http://dx.doi.org/10.1007/3-540-58078-6

http://dx.doi.org/10.1007/3-540-58094-8

http://dx.doi.org/10.1007/3-540-58095-6

http://dx.doi.org/10.1007/3-540-58108-1

http://dx.doi.org/10.1007/3-540-58107-3

http://dx.doi.org/10.1007/3-540-58131-6

http://dx.doi.org/10.1007/3-540-58140-5

http://dx.doi.org/10.1007/3-540-58156-1

http://dx.doi.org/10.1007/3-540-58152-9

http://dx.doi.org/10.1007/3-540-58233-9

http://dx.doi.org/10.1007/3-540-58184-7

http://dx.doi.org/10.1007/3-540-58179-0


http://dx.doi.org/10.1007/3-540-58216-9


http://dx.doi.org/10.1007/3-540-58218-5

http://dx.doi.org/10.1007/3-540-58240-1

David S. Bowers 1994 Springer

1994 Springer

Lawrence C. Paulson 1994 Springer

1994 Springer

1994 Springer

1994 Springer

1994 Springer

1994 Springer

Ding-Zhu Du, Xiang-Sun Zhang 1994 Springer

Bengt Jonsson, Joachim Parrow 1994 Springer


1994 Springer

1994 Springer

Yvo G. Desmedt 1994 SpringerGerhard Reinelt 1994 Springer

1994 Springer

Ton Kloks 1994 Springer

Andrzej Szepietowski 1994 Springer

1994 Springer


1994 Springer

Anca L. Ralescu 1994 Springer

1994 Springer

1994 Springer

http://dx.doi.org/10.1007/3-540-58235-5

Dov M. Gabbay, Hans Jürgen Ohlbach http://dx.doi.org/10.1007/BFb0013976


Andrew Chmora, Stephen B. Wicker http://dx.doi.org/10.1007/3-540-58265-7

Cristiano Castelfranchi, Eric Werner http://dx.doi.org/10.1007/3-540-58266-5

Vincent Bouchitté, Michel Morvan http://dx.doi.org/10.1007/BFb0019422

Egon Börger, Yuri Gurevich, Karl Meinke http://dx.doi.org/10.1007/BFb0049319

Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu http://dx.doi.org/10.1007/3-540-58279-7

http://dx.doi.org/10.1007/3-540-58325-4


http://dx.doi.org/10.1007/978-3-540-48654-1

Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter http://dx.doi.org/10.1007/3-540-58330-0

Craig MacNish, David Pearce, Luís Moniz Pereira http://dx.doi.org/10.1007/BFb0021960


Igor Prívara, Branislav Rovan, Peter Ruzička http://dx.doi.org/10.1007/3-540-58338-6


http://dx.doi.org/10.1007/3-540-58355-6

Manuel Hermenegildo, Jaan Penjam http://dx.doi.org/10.1007/3-540-58402-1


Doug Shepherd, Gordon Blair, Geoff Coulson, Nigel Davies, Francisco Garcia

http://dx.doi.org/10.1007/3-540-58404-8

http://dx.doi.org/10.1007/3-540-58409-9

Arnold R. Krommer, Christoph W. Ueberhuber http://dx.doi.org/10.1007/BFb0025796

Reiner W. Hartenstein, Michal Z. Servít http://dx.doi.org/10.1007/3-540-58419-6

http://dx.doi.org/10.1007/3-540-58235-5



http://dx.doi.org/10.1007/3-540-58265-7

http://dx.doi.org/10.1007/3-540-58266-5



http://dx.doi.org/10.1007/3-540-58279-7

http://dx.doi.org/10.1007/3-540-58325-4


http://dx.doi.org/10.1007/978-3-540-48654-1

http://dx.doi.org/10.1007/3-540-58330-0


http://dx.doi.org/10.1007/3-540-48658-5

http://dx.doi.org/10.1007/3-540-48661-5

http://dx.doi.org/10.1007/3-540-58338-6


http://dx.doi.org/10.1007/3-540-58355-6

http://dx.doi.org/10.1007/3-540-58402-1


http://dx.doi.org/10.1007/3-540-58404-8

http://dx.doi.org/10.1007/3-540-58409-9


http://dx.doi.org/10.1007/3-540-58419-6

1994 Springer

1994 Springer

1994 Springer

Kevin Bolding, Lawrence Snyder 1994 Springer

Bruno Buchberger, Jens Volkert 1994 Springer

Dimitris Karagiannis 1994 Springer

1994 Springer

1994 Springer

1994 Springer

Rafael C. Carrasco, Jose Oncina 1994 Springer

1994 Springer

Baudouin Charlier 1994 SpringerTerence C. Fogarty 1994 Springer

1994 Springer

1994 Springer

Ralf Steinmetz 1994 Springer

1994 Springer

Jonathan S. Greenfield 1994 Springer

John P. Lee, Georges G. Grinstein 1994 Springer

Setsuo Arikawa, Klaus P. Jantke 1994 Springer

1994 Springer

Alan Borning 1994 Springer

Dieter Gollmann 1994 Springer

Giorgio Levi, Mario Rodríguez-Artalejo http://dx.doi.org/10.1007/3-540-58431-5

Hans-Jürgen Kugler, Al Mullery, Norbert Niebert http://dx.doi.org/10.1007/BFb0013391

Klaus Echtle, Dieter Hammer, David Powell http://dx.doi.org/10.1007/3-540-58426-9

http://dx.doi.org/10.1007/3-540-58429-3

http://dx.doi.org/10.1007/3-540-58430-7

http://dx.doi.org/10.1007/3-540-58435-8

Thomas F. Melham, Juanito Camilleri http://dx.doi.org/10.1007/3-540-58450-1

Wolfgang L. Zagler, Geoffrey Busby, Roland R. Wagner http://dx.doi.org/10.1007/3-540-58476-5

Bernhard Nebel, Leonie Dreschler-Fischer http://dx.doi.org/10.1007/3-540-58467-6

http://dx.doi.org/10.1007/3-540-58473-0

Hans Langmaack, Willem-Paul Roever, Jan Vytopil http://dx.doi.org/10.1007/3-540-58468-4


Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer http://dx.doi.org/10.1007/3-540-58484-6

Luc Steels, Guus Schreiber, Walter Velde http://dx.doi.org/10.1007/3-540-58487-0

http://dx.doi.org/10.1007/3-540-58494-3

Zbigniew W. Raś, Maria Zemankova http://dx.doi.org/10.1007/3-540-58495-1



http://dx.doi.org/10.1007/3-540-58520-6

Maurice Naftalin, Tim Denvir, Miquel Bertran http://dx.doi.org/10.1007/3-540-58555-9

http://dx.doi.org/10.1007/3-540-58601-6

http://dx.doi.org/10.1007/3-540-58618-0

http://dx.doi.org/10.1007/3-540-58431-5


http://dx.doi.org/10.1007/3-540-58426-9

http://dx.doi.org/10.1007/3-540-58429-3

http://dx.doi.org/10.1007/3-540-58430-7

http://dx.doi.org/10.1007/3-540-58435-8

http://dx.doi.org/10.1007/3-540-58450-1

http://dx.doi.org/10.1007/3-540-58476-5

http://dx.doi.org/10.1007/3-540-58467-6

http://dx.doi.org/10.1007/3-540-58473-0

http://dx.doi.org/10.1007/3-540-58468-4

http://dx.doi.org/10.1007/3-540-58485-4

http://dx.doi.org/10.1007/3-540-58483-8

http://dx.doi.org/10.1007/3-540-58484-6

http://dx.doi.org/10.1007/3-540-58487-0

http://dx.doi.org/10.1007/3-540-58494-3

http://dx.doi.org/10.1007/3-540-58495-1



http://dx.doi.org/10.1007/3-540-58520-6

http://dx.doi.org/10.1007/3-540-58555-9

http://dx.doi.org/10.1007/3-540-58601-6

http://dx.doi.org/10.1007/3-540-58618-0

1994 Springer

1994 Springer

Toru Ishida 1994 Springer

Jack Dongarra, Jerzy Waśniewski 1994 Springer

P. S. Thiagarajan 1994 Springer

Pericles Loucopoulos 1994 Springer

1994 Springer

Laurent Fribourg, Franco Turini 1994 Springer

1994 Springer

Remco C. Veltkamp 1994 Springer

Manuela M. Veloso 1994 Springer

Marcel Toussaint 1994 Springer

Stig I. Andersson 1994 Springer

1995 Springer

1995 Springer

Hannes P. Lubich 1995 Springer

1995 Springer

1995 Springer

1995 Springer

Georg Gottlob, Moshe Y. Vardi 1995 Springer

Brad Blumenthal, Juri Gornostaev, Claus Unger http://dx.doi.org/10.1007/3-540-58648-2

Leonard M. Adleman, Ming-Deh Huang http://dx.doi.org/10.1007/3-540-58691-1

http://dx.doi.org/10.1007/3-540-58698-9


http://dx.doi.org/10.1007/3-540-58715-2

http://dx.doi.org/10.1007/3-540-58786-1

D. Hutchison, A. Danthine, H. Leopold, G. Coulson http://dx.doi.org/10.1007/3-540-58759-4

http://dx.doi.org/10.1007/3-540-58792-6

Jürg Nievergelt, Thomas Roos, Hans-Jörg Schek, Peter Widmayer

http://dx.doi.org/10.1007/3-540-58795-0

http://dx.doi.org/10.1007/3-540-58808-6

http://dx.doi.org/10.1007/3-540-58811-6

http://dx.doi.org/10.1007/3-540-58822-1

http://dx.doi.org/10.1007/3-540-58843-4

Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach http://dx.doi.org/10.1007/3-540-59293-8

Angel Pasqual Pobil, Miguel Angel Serna http://dx.doi.org/10.1007/3-540-60620-3

http://dx.doi.org/10.1007/3-540-58844-2

Michael J. Wooldridge, Nicholas R. Jennings http://dx.doi.org/10.1007/3-540-58855-8

Claus Lewerentz, Thomas Lindner http://dx.doi.org/10.1007/3-540-58867-1

Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua


http://dx.doi.org/10.1007/3-540-58907-4

http://dx.doi.org/10.1007/3-540-58648-2

http://dx.doi.org/10.1007/3-540-58691-1

http://dx.doi.org/10.1007/3-540-58698-9


http://dx.doi.org/10.1007/3-540-58715-2

http://dx.doi.org/10.1007/3-540-58786-1

http://dx.doi.org/10.1007/3-540-58759-4

http://dx.doi.org/10.1007/3-540-58792-6

http://dx.doi.org/10.1007/3-540-58795-0

http://dx.doi.org/10.1007/3-540-58808-6

http://dx.doi.org/10.1007/3-540-58811-6

http://dx.doi.org/10.1007/3-540-58822-1

http://dx.doi.org/10.1007/3-540-58843-4

http://dx.doi.org/10.1007/3-540-59293-8

http://dx.doi.org/10.1007/3-540-60620-3

http://dx.doi.org/10.1007/3-540-58844-2

http://dx.doi.org/10.1007/3-540-58855-8

http://dx.doi.org/10.1007/3-540-58867-1


http://dx.doi.org/10.1007/3-540-58907-4

1995 Springer

Rosalind L. Ibrahim 1995 Springer

Richard N. Taylor, Joëlle Coutaz 1995 Springer

Michael Fisher, Richard Owens 1995 Springer

Petra Steffens 1995 Springer

1995 Springer

Ernst W. Mayr, Claude Puech 1995 Springer

Ramayya Kumar, Thomas Kropf 1995 Springer

1995 Springer

1995 Springer

Paul Vitányi 1995 Springer

Nicholas Ayache 1995 Springer

1995 Springer

Takayasu Ito, Akinori Yonezawa 1995 Springer

Josyula Ramachandra Rao 1995 Springer

1995 Springer

Andreas Podelski 1995 Springer

1995 Springer

Nada Lavrac, Stefan Wrobel 1995 SpringerWilhelm Schäfer 1995 Springer

Jieh Hsiang 1995 Springer

1995 Springer

1995 Springer

1995 Springer

1995 Springer

Egon Balas, Jens Clausen 1995 Springer

Roberto Tamassia, Ioannis G. Tollis http://dx.doi.org/10.1007/3-540-58950-3

http://dx.doi.org/10.1007/3-540-58951-1


http://dx.doi.org/10.1007/3-540-58976-7

http://dx.doi.org/10.1007/3-540-59040-4

Wolfgang Banzhaf, Frank H. Eeckman http://dx.doi.org/10.1007/3-540-59046-3

http://dx.doi.org/10.1007/3-540-59042-0

http://dx.doi.org/10.1007/3-540-59047-1

Mariangiola Dezani-Ciancaglini, Gordon Plotkin http://dx.doi.org/10.1007/BFb0014040

Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer http://dx.doi.org/10.1007/3-540-59071-4

http://dx.doi.org/10.1007/3-540-59119-2

http://dx.doi.org/10.1007/978-3-540-49197-2

Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki http://dx.doi.org/10.1007/BFb0014419


http://dx.doi.org/10.1007/3-540-59173-7

Hubert Comon, Jean-Pierre Jounnaud http://dx.doi.org/10.1007/3-540-59340-3

http://dx.doi.org/10.1007/3-540-59155-9

Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete http://dx.doi.org/10.1007/3-540-59175-3


http://dx.doi.org/10.1007/3-540-59200-8

Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha http://dx.doi.org/10.1007/BFb0026845

Josef Pieprzyk, Reihanah Safavi-Naini http://dx.doi.org/10.1007/BFb0000419

Peter Baumgartner, Reiner Hähnle, Joachim Possega http://dx.doi.org/10.1007/3-540-59338-1

Bob Hertzberger, Giuseppe Serazzi http://dx.doi.org/10.1007/BFb0046600

http://dx.doi.org/10.1007/3-540-59408-6

http://dx.doi.org/10.1007/3-540-58950-3

http://dx.doi.org/10.1007/3-540-58951-1


http://dx.doi.org/10.1007/3-540-58976-7

http://dx.doi.org/10.1007/3-540-59040-4

http://dx.doi.org/10.1007/3-540-59046-3

http://dx.doi.org/10.1007/3-540-59042-0

http://dx.doi.org/10.1007/3-540-59047-1


http://dx.doi.org/10.1007/3-540-59071-4

http://dx.doi.org/10.1007/3-540-59119-2

http://dx.doi.org/10.1007/978-3-540-49197-2



http://dx.doi.org/10.1007/3-540-59173-7

http://dx.doi.org/10.1007/3-540-59340-3

http://dx.doi.org/10.1007/3-540-59155-9

http://dx.doi.org/10.1007/3-540-59175-3

http://dx.doi.org/10.1007/3-540-59286-5

http://dx.doi.org/10.1007/3-540-59205-9

http://dx.doi.org/10.1007/3-540-59200-8



http://dx.doi.org/10.1007/3-540-59338-1


http://dx.doi.org/10.1007/3-540-59408-6

1995 Springer

Heiko Dörr 1995 Springer

Manfred Meyer 1995 Springer

1995 Springer

Johan Jeuring, Erik Meijer 1995 SpringerPaolo Nesi 1995 Springer

1995 Springer

1995 Springer

1995 Springer

José Mira, Francisco Sandoval 1995 Springer

1995 Springer

1995 Springer

Leszek Pacholski, Jerzy Tiuryn 1995 Springer

1995 Springer

Giorgio Michelis, Michel Diaz 1995 Springer

V. S. Alagar, Maurice Nivat 1995 Springer

Zvi Galil, Esko Ukkonen 1995 Springer

1995 Springer

Pierre Wolper 1995 SpringerCarole Goble, John Keane 1995 Springer

Marco Cadoli 1995 Springer

Günter Böckle 1995 Springer

Wolfgang Klas, Michael Schrefl 1995 Springer

Zoltán Fülöp, Ferenc Gécseg 1995 Springer

Louis C. Guillou, Jean-Jacques Quisquater http://dx.doi.org/10.1007/3-540-49264-X


http://dx.doi.org/10.1007/3-540-59479-5

Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa http://dx.doi.org/10.1007/3-540-59450-7


Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski http://dx.doi.org/10.1007/BFb0030655

V. Wiktor Marek, Anil Nerode, M. Truszczyński http://dx.doi.org/10.1007/3-540-59487-6

Federico Morán, Alvaro Moreno, Juan Julián Merelo, Pablo Chacón

http://dx.doi.org/10.1007/3-540-59496-5

http://dx.doi.org/10.1007/3-540-59497-3

P. J. Braspenning, F. Thuijsman, A. J. M. M. Weijters http://dx.doi.org/10.1007/BFb0027019

Juhani Iivari, Kalle Lyytinen, Matti Rossi http://dx.doi.org/10.1007/3-540-59498-1


Pedro Barahona, Mario Stefanelli, Jeremy Wyatt http://dx.doi.org/10.1007/3-540-60025-6

http://dx.doi.org/10.1007/3-540-60029-9

http://dx.doi.org/10.1007/3-540-60043-4

http://dx.doi.org/10.1007/3-540-60044-2

Kenneth P. Birman, Friedemann Mattern, André Schiper http://dx.doi.org/10.1007/3-540-60042-6


http://dx.doi.org/10.1007/3-540-60058-2



http://dx.doi.org/10.1007/3-540-60084-1

http://dx.doi.org/10.1007/3-540-49264-X


http://dx.doi.org/10.1007/3-540-59479-5

http://dx.doi.org/10.1007/3-540-59450-7

http://dx.doi.org/10.1007/3-540-59451-5

http://dx.doi.org/10.1007/3-540-59449-3


http://dx.doi.org/10.1007/3-540-59487-6

http://dx.doi.org/10.1007/3-540-59496-5

http://dx.doi.org/10.1007/3-540-59497-3


http://dx.doi.org/10.1007/3-540-59498-1


http://dx.doi.org/10.1007/3-540-60025-6

http://dx.doi.org/10.1007/3-540-60029-9

http://dx.doi.org/10.1007/3-540-60043-4

http://dx.doi.org/10.1007/3-540-60044-2

http://dx.doi.org/10.1007/3-540-60042-6

http://dx.doi.org/10.1007/3-540-60045-0


http://dx.doi.org/10.1007/3-540-60058-2



http://dx.doi.org/10.1007/3-540-60084-1

1995 Springer

Christine Froidevaux, Jürg Kohlas 1995 Springer

Bernhard Möller 1995 Springer

1995 Springer

Dror G. Feitelson, Larry Rudolph 1995 Springer

Alfredo Santis 1995 Springer

1995 Springer

Mario Tokoro, Remo Pareschi 1995 Springer

1995 Springer

1995 Springer

1995 Springer

Xin Yao 1995 Springer

1995 Springer

1995 Springer

Ding-Zhu Du, Ming Li 1995 SpringerDaniel Leivant 1995 Springer

Klaus P. Jantke, Steffen Lange 1995 Springer

Insup Lee, Scott A. Smolka 1995 SpringerDon Coppersmith 1995 SpringerVictor Malyshkin 1995 SpringerHorst Reichel 1995 Springer

1995 Springer

Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh http://dx.doi.org/10.1007/BFb0035932

http://dx.doi.org/10.1007/3-540-60112-0

http://dx.doi.org/10.1007/3-540-60117-1

Gérard Cohen, Marc Giusti, Teo Mora http://dx.doi.org/10.1007/3-540-60114-7

http://dx.doi.org/10.1007/3-540-60153-8


Max J. Egenhofer, John R. Herring http://dx.doi.org/10.1007/3-540-60159-7

http://dx.doi.org/10.1007/3-540-49538-X

David Pitt, David E. Rydeheard, Peter Johnstone http://dx.doi.org/10.1007/3-540-60164-3

Gerard Ellis, Robert Levinson, William Rich, John F. Sowa http://dx.doi.org/10.1007/3-540-60161-9

Selim G. Akl, Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro http://dx.doi.org/10.1007/3-540-60220-8

http://dx.doi.org/10.1007/3-540-60154-6

Cristiano Castelfranchi, Jean-Pierre Müller http://dx.doi.org/10.1007/BFb0027051

Jacques Calmet, John A. Campbell http://dx.doi.org/10.1007/3-540-60156-2


http://dx.doi.org/10.1007/3-540-60217-8

http://dx.doi.org/10.1007/3-540-60218-6http://dx.doi.org/10.1007/3-540-44750-4http://dx.doi.org/10.1007/3-540-60222-4http://dx.doi.org/10.1007/3-540-60249-6

Seif Haridi, Khayri Ali, Peter Magnusson http://dx.doi.org/10.1007/BFb0020448


http://dx.doi.org/10.1007/3-540-60112-0

http://dx.doi.org/10.1007/3-540-60117-1

http://dx.doi.org/10.1007/3-540-60114-7

http://dx.doi.org/10.1007/3-540-60153-8


http://dx.doi.org/10.1007/3-540-60159-7

http://dx.doi.org/10.1007/3-540-49538-X

http://dx.doi.org/10.1007/3-540-60164-3

http://dx.doi.org/10.1007/3-540-60161-9

http://dx.doi.org/10.1007/3-540-60220-8

http://dx.doi.org/10.1007/3-540-60154-6


http://dx.doi.org/10.1007/3-540-60156-2


http://dx.doi.org/10.1007/3-540-60178-3

http://dx.doi.org/10.1007/3-540-60217-8

http://dx.doi.org/10.1007/3-540-60218-6

http://dx.doi.org/10.1007/3-540-44750-4

http://dx.doi.org/10.1007/3-540-60222-4

http://dx.doi.org/10.1007/3-540-60249-6


1995 Springer

1995 Springer

Jiří Wiedermann, Petr Hájek 1995 Springer

Václav Hlaváč, Radim Šára 1995 Springer

1995 Springer

1995 Springer

1995 Springer

1995 Springer

Will Moore, Wayne Luk 1995 Springer

Ugo Montanari, Francesca Rossi 1995 Springer

Heinz Beilner, Falko Bause 1995 Springer

Norman Revell, A Min Tjoa 1995 Springer

Paul Spirakis 1995 Springer

Afonso Ferreira, José Rolim 1995 Springer

1995 Springer

1995 Springer

Alan Mycroft 1995 Springer

1995 Springer

Timos Sellis 1995 SpringerHenry G. Baler 1995 Springer

Paolo E. Camurati, Hans Eveking 1995 Springer

Andrew U. Frank, Werner Kuhn 1995 Springer

Wilhelm Schäfer, Pere Botella 1995 Springer

Jonathan P. Bowen, Michael G. Hinchey http://dx.doi.org/10.1007/3-540-60271-2

Nachum Dershowitz, Naomi Lindenstrauss http://dx.doi.org/10.1007/3-540-60381-6

http://dx.doi.org/10.1007/3-540-60246-1

http://dx.doi.org/10.1007/3-540-60268-2

E. Thomas Schubert, Philip J. Windley, James Alves-Foss http://dx.doi.org/10.1007/3-540-60275-5

Jean-Michel Hélary, Michel Raynal http://dx.doi.org/10.1007/BFb0022134

Heimo H. Adelsberger, Jiří Lažanský, Vladimír Mařík http://dx.doi.org/10.1007/3-540-60286-0

Carlo Braccini, Leila DeFloriani, Gianni Vernazza http://dx.doi.org/10.1007/3-540-60298-4

http://dx.doi.org/10.1007/3-540-60294-1

http://dx.doi.org/10.1007/3-540-60299-2



http://dx.doi.org/10.1007/3-540-60313-1

http://dx.doi.org/10.1007/3-540-60321-2

Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer http://dx.doi.org/10.1007/3-540-60343-3

Manuel Hermenegildo, S. Doaitse Swierstra http://dx.doi.org/10.1007/BFb0026808

http://dx.doi.org/10.1007/3-540-60360-3

Jean-Paul Haton, Mark Keane, Michel Manago http://dx.doi.org/10.1007/3-540-60364-6


http://dx.doi.org/10.1007/3-540-60385-9

http://dx.doi.org/10.1007/3-540-60392-1

http://dx.doi.org/10.1007/3-540-60406-5

http://dx.doi.org/10.1007/3-540-60271-2

http://dx.doi.org/10.1007/3-540-60381-6

http://dx.doi.org/10.1007/3-540-60246-1

http://dx.doi.org/10.1007/3-540-60268-2

http://dx.doi.org/10.1007/3-540-60275-5


http://dx.doi.org/10.1007/3-540-60286-0

http://dx.doi.org/10.1007/3-540-60298-4

http://dx.doi.org/10.1007/3-540-60294-1

http://dx.doi.org/10.1007/3-540-60299-2



http://dx.doi.org/10.1007/3-540-60313-1

http://dx.doi.org/10.1007/3-540-60321-2

http://dx.doi.org/10.1007/3-540-60343-3


http://dx.doi.org/10.1007/3-540-60360-3

http://dx.doi.org/10.1007/3-540-60364-6

http://dx.doi.org/10.1007/3-540-60365-4

http://dx.doi.org/10.1007/3-540-60368-9

http://dx.doi.org/10.1007/3-540-60385-9

http://dx.doi.org/10.1007/3-540-60392-1

http://dx.doi.org/10.1007/3-540-60406-5

1995 Springer

1995 Springer

Marco Gori, Giovanni Soda 1995 SpringerTerence C. Fogarty 1995 Springer

1995 Springer

Silvia M. Müller, Wolfgang J. Paul 1995 Springer

1995 Springer

1995 Springer

1995 Springer

1995 Springer

Jan Leeuwen 1995 Springer

Madhu Sudan 1995 Springer

James Jay Kistler 1995 Springer

P. Pandurang Nayak 1995 Springer

1995 Springer

Jacky Estublier 1995 Springer

Subhash Bhalla 1995 Springer

Antoon Bosselaers, Bart Preneel 1995 Springer

Bart Preneel 1995 Springer

Manfred Broy, Stefan Jähnichen 1995 Springer

Manuela Veloso, Agnar Aamodt 1995 Springer

Takeshi Furuhashi 1995 Springer

1995 Springer

Carlos Pinto-Ferreira, Nuno J. Mamede http://dx.doi.org/10.1007/3-540-60428-6

Jacques Wainer, Ariadne Carvalho http://dx.doi.org/10.1007/BFb0034792


Martial Hebert, Jean Ponce, Terry Boult, Ari Gross http://dx.doi.org/10.1007/3-540-60477-4

http://dx.doi.org/10.1007/3-540-60580-0

Peter Dybjer, Bengt Nordström, Jan Smith http://dx.doi.org/10.1007/3-540-60579-7

Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann http://dx.doi.org/10.1007/3-540-60454-5

Anne Clarke, Mario Campolargo, Nikos Karatzas http://dx.doi.org/10.1007/BFb0016951

Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry http://dx.doi.org/10.1007/3-540-60472-3


http://dx.doi.org/10.1007/3-540-60615-7

http://dx.doi.org/10.1007/3-540-60627-0

http://dx.doi.org/10.1007/3-540-60641-6

John Staples, Peter Eades, Naoki Katoh, Alistair Moffat http://dx.doi.org/10.1007/BFb0015401

http://dx.doi.org/10.1007/3-540-60578-9

http://dx.doi.org/10.1007/3-540-60584-3

http://dx.doi.org/10.1007/3-540-60640-8

http://dx.doi.org/10.1007/3-540-60590-8


http://dx.doi.org/10.1007/3-540-60598-3

http://dx.doi.org/10.1007/3-540-60607-6

Miroslav Bartosek, Jan Staudek, Jirí Wiedermann http://dx.doi.org/10.1007/3-540-60609-2

http://dx.doi.org/10.1007/3-540-60428-6


http://dx.doi.org/10.1007/3-540-60437-5

http://dx.doi.org/10.1007/3-540-60469-3

http://dx.doi.org/10.1007/3-540-60477-4

http://dx.doi.org/10.1007/3-540-60580-0

http://dx.doi.org/10.1007/3-540-60579-7

http://dx.doi.org/10.1007/3-540-60454-5


http://dx.doi.org/10.1007/3-540-60472-3


http://dx.doi.org/10.1007/3-540-60615-7

http://dx.doi.org/10.1007/3-540-60627-0

http://dx.doi.org/10.1007/3-540-60641-6


http://dx.doi.org/10.1007/3-540-60578-9

http://dx.doi.org/10.1007/3-540-60584-3

http://dx.doi.org/10.1007/3-540-60640-8

http://dx.doi.org/10.1007/3-540-60590-8


http://dx.doi.org/10.1007/3-540-60598-3

http://dx.doi.org/10.1007/3-540-60607-6

http://dx.doi.org/10.1007/3-540-60609-2

1995 Springer

1995 Springer

Roberto Cipolla 1995 Springer


1995 Springer

1995 Springer

Ian D. Watson 1995 Springer

Michael P. Papazoglou 1995 Springer

Pieter H. Hartel, Rinus Plasmeijer 1995 Springer

1995 Springer

1995 Springer

Colin Boyd 1995 Springer

P. S. Thiagarajan 1995 Springer

Franz J. Brandenburg 1995 SpringerNabil R. Adam, Yelena Yesha 1995 SpringerEd Dawson, Jovan Golić 1995 Springer

1995 Springer

Marcel Toussaint 1995 Springer

Patrice Godefroid 1995 Springer

1996 Springer

1996 Springer

Gabriel Kuper, Mark Wallace 1996 Springer

Tok Wang Ling, Alberto O. Mendelzon, Laurent Vieille http://dx.doi.org/10.1007/3-540-60608-4

Brad Blumenthal, Juri Gornostaev, Claus Unger http://dx.doi.org/10.1007/3-540-60614-9

http://dx.doi.org/10.1007/3-540-60642-4

http://dx.doi.org/10.1007/3-540-60618-1

Thomas D. C. Little, Riccardo Gusella http://dx.doi.org/10.1007/BFb0019246

E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen http://dx.doi.org/10.1007/3-540-60630-0

http://dx.doi.org/10.1007/3-540-60654-8


http://dx.doi.org/10.1007/3-540-60675-0

Kanchana Kanchanasut, Jean-Jacques Lévy http://dx.doi.org/10.1007/3-540-60688-2

Roland T. Chin, Horace H. S. Ip, Avi C. Naiman, Ting-Chuen Pong http://dx.doi.org/10.1007/3-540-60697-1

http://dx.doi.org/10.1007/3-540-60693-9

http://dx.doi.org/10.1007/3-540-60692-0

http://dx.doi.org/10.1007/BFb0021783http://dx.doi.org/10.1007/3-540-60738-2http://dx.doi.org/10.1007/BFb0032342

Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht http://dx.doi.org/10.1007/BFb0034745


http://dx.doi.org/10.1007/3-540-60761-7

Jean Ponce, Andrew Zisserman, Martial Hebert http://dx.doi.org/10.1007/3-540-61750-7

Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua


http://dx.doi.org/10.1007/3-540-60794-3

http://dx.doi.org/10.1007/3-540-60608-4

http://dx.doi.org/10.1007/3-540-60614-9

http://dx.doi.org/10.1007/3-540-60642-4

http://dx.doi.org/10.1007/3-540-60618-1


http://dx.doi.org/10.1007/3-540-60630-0

http://dx.doi.org/10.1007/3-540-60654-8


http://dx.doi.org/10.1007/3-540-60675-0

http://dx.doi.org/10.1007/3-540-60688-2

http://dx.doi.org/10.1007/3-540-60697-1

http://dx.doi.org/10.1007/3-540-60693-9

http://dx.doi.org/10.1007/3-540-60692-0


http://dx.doi.org/10.1007/3-540-60738-2




http://dx.doi.org/10.1007/3-540-60761-7

http://dx.doi.org/10.1007/3-540-61750-7


http://dx.doi.org/10.1007/3-540-60794-3

1996 Springer

Giovanni Adorni, Michael Zock 1996 Springer

1996 Springer

Walter Velde, John W. Perram 1996 Springer

Dieter Gollmann 1996 Springer

1996 Springer

1996 Springer

Gerhard Weiß, Sandip Sen 1996 Springer

Faron Moller, Graham Birtwistle 1996 Springer

Bernhard Plattner 1996 Springer

1996 Springer

Claude Puech, Rüdiger Reischuk 1996 Springer

Elżbieta Hajnicz 1996 Springer

Maurizio Proietti 1996 Springer

1996 Springer

1996 Springer

1996 Springer

1996 Springer

Peter Graf 1996 Springer

Afonso Ferreira, Panos Pardalos 1996 Springer

Stan Z. Li, Dinesh P. Mital, Eam Khwang Teoh, Han Wang http://dx.doi.org/10.1007/3-540-60793-5

http://dx.doi.org/10.1007/3-540-60800-1

Michael Wooldridge, Jörg P. Müller, Milind Tambe http://dx.doi.org/10.1007/3-540-60805-2


http://dx.doi.org/10.1007/3-540-60865-6

Stefan Wermter, Ellen Riloff, Gabriele Scheler http://dx.doi.org/10.1007/3-540-60925-3

Jack Dongarra, Kaj Madsen, Jerzy Waśniewski http://dx.doi.org/10.1007/3-540-60902-4

http://dx.doi.org/10.1007/3-540-60923-7

http://dx.doi.org/10.1007/3-540-60915-6


Berthold Butscher, Eckhard Moeller, Herwart Pusch http://dx.doi.org/10.1007/3-540-60938-5

http://dx.doi.org/10.1007/3-540-60922-9

http://dx.doi.org/10.1007/3-540-60941-5

http://dx.doi.org/10.1007/3-540-60939-3

Kokichi Futatsugi, Satoshi Matsuoka http://dx.doi.org/10.1007/3-540-60954-7

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister http://dx.doi.org/10.1007/3-540-60983-0

Marie-Claude Gaudel, James Woodcock http://dx.doi.org/10.1007/3-540-60973-3

David Hutchison, Henning Christiansen, Geoff Coulson, André Danthine

http://dx.doi.org/10.1007/3-540-61028-6

http://dx.doi.org/10.1007/3-540-61040-5


http://dx.doi.org/10.1007/3-540-60793-5

http://dx.doi.org/10.1007/3-540-60800-1

http://dx.doi.org/10.1007/3-540-60805-2


http://dx.doi.org/10.1007/3-540-60865-6

http://dx.doi.org/10.1007/3-540-60925-3

http://dx.doi.org/10.1007/3-540-60902-4

http://dx.doi.org/10.1007/3-540-60923-7

http://dx.doi.org/10.1007/3-540-60915-6


http://dx.doi.org/10.1007/3-540-60938-5

http://dx.doi.org/10.1007/3-540-60922-9

http://dx.doi.org/10.1007/3-540-60941-5

http://dx.doi.org/10.1007/3-540-60939-3

http://dx.doi.org/10.1007/3-540-60954-7

http://dx.doi.org/10.1007/3-540-60983-0

http://dx.doi.org/10.1007/3-540-60973-3

http://dx.doi.org/10.1007/3-540-61028-6

http://dx.doi.org/10.1007/3-540-61040-5


1996 Springer

Afsaneh Haddadi 1996 Springer

1996 Springer

Hanne Riis Nielson 1996 Springer

Hélène Kirchner 1996 Springer

Tibor Gyimóthy 1996 Springer

Paolo Ciancarini, Chris Hankin 1996 Springer

1996 Springer

1996 Springer

Bernard Buxton, Roberto Cipolla 1996 Springer

Bernard Buxton, Roberto Cipolla 1996 Springer

1996 Springer

1996 Springer

1996 Springer

1996 Springer

Ueli Maurer 1996 Springer

1996 Springer

Rangachar Kasturi, Karl Tombre 1996 Springer

1996 Springer

Tiziana Margaria, Bernhard Steffen http://dx.doi.org/10.1007/3-540-61042-1

http://dx.doi.org/10.1007/3-540-61044-8

Peter Apers, Mokrane Bouzeghoub, Georges Gardarin http://dx.doi.org/10.1007/BFb0014139

http://dx.doi.org/10.1007/3-540-61055-3

http://dx.doi.org/10.1007/3-540-61064-2

http://dx.doi.org/10.1007/3-540-61053-7

http://dx.doi.org/10.1007/3-540-61052-9

Eduardo Sanchez, Marco Tomassini http://dx.doi.org/10.1007/3-540-61093-6

Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers

http://dx.doi.org/10.1007/3-540-61108-8


http://dx.doi.org/10.1007/3-540-61123-1

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag http://dx.doi.org/10.1007/BFb0020931

Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot http://dx.doi.org/10.1007/3-540-61142-8

Takayasu Ito, Robert H. Halstead, Christian Queinnec http://dx.doi.org/10.1007/BFb0023052

John W. Perram, Jean-Pierre Müller http://dx.doi.org/10.1007/3-540-61157-6

http://dx.doi.org/10.1007/3-540-68339-9

P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi http://dx.doi.org/10.1007/3-540-61208-4

http://dx.doi.org/10.1007/3-540-61226-2

Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg

http://dx.doi.org/10.1007/3-540-61228-9

http://dx.doi.org/10.1007/3-540-61042-1

http://dx.doi.org/10.1007/3-540-61044-8


http://dx.doi.org/10.1007/3-540-61055-3

http://dx.doi.org/10.1007/3-540-61064-2

http://dx.doi.org/10.1007/3-540-61053-7

http://dx.doi.org/10.1007/3-540-61052-9

http://dx.doi.org/10.1007/3-540-61093-6

http://dx.doi.org/10.1007/3-540-61108-8


http://dx.doi.org/10.1007/3-540-61123-1


http://dx.doi.org/10.1007/3-540-61142-8


http://dx.doi.org/10.1007/3-540-61157-6

http://dx.doi.org/10.1007/3-540-68339-9

http://dx.doi.org/10.1007/3-540-61208-4

http://dx.doi.org/10.1007/3-540-61226-2

http://dx.doi.org/10.1007/3-540-61228-9

1996 Springer

Dan Hirschberg, Gene Myers 1996 Springer

1996 Springer

1996 Springer

David Alex Lamb 1996 Springer

1996 Springer

1996 Springer

Gordon McCalla 1996 Springer

1996 Springer

1996 Springer

1996 Springer

1996 Springer

1996 Springer

Chengqi Zhang, Dickson Lukose 1996 Springer

Alfred Strohmeier 1996 Springer

G. Ramalingam 1996 SpringerJin-Yi Cai, Chak Kuen Wong 1996 Springer

1996 Springer

Hans Kleine Büning 1996 Springer

1996 Springer

Ron Morrison, Jessie Kennedy 1996 Springer

W. McCune, R. Padmanabhan 1996 Springer

Thomas Schael 1996 Springer

Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller http://dx.doi.org/10.1007/3-540-61254-8

http://dx.doi.org/10.1007/3-540-61258-0

Nigel Shadbolt, Kieron O'Hara, Guus Schreiber http://dx.doi.org/10.1007/3-540-61273-4

Peter Brusilovsky, Piet Kommers, Norbert Streitz http://dx.doi.org/10.1007/3-540-61282-3


Zbigniew W. Raś, Maciek Michalewicz http://dx.doi.org/10.1007/3-540-61286-6

Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou http://dx.doi.org/10.1007/3-540-61292-0

http://dx.doi.org/10.1007/3-540-61291-2

Nabil R. Adam, Bharat K. Bhargava, Milton Halem, Yelena Yesha


Karen Sparck Jones, Julia R. Galliers http://dx.doi.org/10.1007/BFb0027470

William H. Cunningham, S. Thomas McCormick, Maurice Queyranne

http://dx.doi.org/10.1007/3-540-61310-2

Dov M. Gabbay, Hans Jürgen Ohlbach http://dx.doi.org/10.1007/3-540-61313-7

Claude Frasson, Gilles Gauthier, Alan Lesgold http://dx.doi.org/10.1007/3-540-61327-7

http://dx.doi.org/10.1007/3-540-61314-5



Jonathan Billington, Wolfgang Reisig http://dx.doi.org/10.1007/3-540-61363-3

http://dx.doi.org/10.1007/3-540-61377-3

Leo Dorst, Michiel Lambalgen, Frans Voorbraak http://dx.doi.org/10.1007/BFb0013951

http://dx.doi.org/10.1007/3-540-61442-7

http://dx.doi.org/10.1007/3-540-61398-6

http://dx.doi.org/10.1007/3-540-49450-2

http://dx.doi.org/10.1007/3-540-61254-8

http://dx.doi.org/10.1007/3-540-61258-0

http://dx.doi.org/10.1007/3-540-61273-4

http://dx.doi.org/10.1007/3-540-61282-3


http://dx.doi.org/10.1007/3-540-61286-6

http://dx.doi.org/10.1007/3-540-61292-0

http://dx.doi.org/10.1007/3-540-61291-2



http://dx.doi.org/10.1007/3-540-61310-2

http://dx.doi.org/10.1007/3-540-61313-7

http://dx.doi.org/10.1007/3-540-61327-7

http://dx.doi.org/10.1007/3-540-61314-5



http://dx.doi.org/10.1007/3-540-61332-3

http://dx.doi.org/10.1007/3-540-61363-3

http://dx.doi.org/10.1007/3-540-61377-3


http://dx.doi.org/10.1007/3-540-61442-7

http://dx.doi.org/10.1007/3-540-61398-6

http://dx.doi.org/10.1007/3-540-49450-2

Thomas Schäl 1996 Springer

Rolf Karlsson, Andrzej Lingas 1996 Springer

Pierre Cointe 1996 Springer

1996 Springer

Birgit Pfitzmann 1996 Springer

Martin Wirsing, Maurice Nivat 1996 Springer

1996 Springer

Harald Ganzinger 1996 Springer

M. A. McRobbie, J. K. Slaney 1996 Springer

George J. Klir, Tuncer I. Ören 1996 Springer

1996 Springer

1996 Springer

1996 Springer

Neal Koblitz 1996 Springer

1996 Springer

1996 Springer

1996 Springer

Wojciech Penczek, Andrzej Szałas 1996 Springer

Norman Foo, Randy Goebel 1996 Springer

1996 Springer

Jane Hall 1996 Springer

1996 Springer

Eugene C. Freuder 1996 Springer

http://dx.doi.org/10.1007/978-3-662-21574-6

http://dx.doi.org/10.1007/3-540-61422-2


Friedhelm Meyer, Burkhard Monien http://dx.doi.org/10.1007/3-540-61440-0



Rajeev Alur, Thomas A. Henzinger http://dx.doi.org/10.1007/3-540-61474-5

http://dx.doi.org/10.1007/3-540-61464-8

http://dx.doi.org/10.1007/3-540-61511-3

http://dx.doi.org/10.1007/3-540-61478-8

Michael Jampel, Eugene Freuder, Michael Maher http://dx.doi.org/10.1007/3-540-61479-6

Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa http://dx.doi.org/10.1007/3-540-61487-7

Arantza Díaz de Ilarraza Sánchez, Isabel Fernández de Castro http://dx.doi.org/10.1007/BFb0022584

http://dx.doi.org/10.1007/3-540-68697-5

Olivier Danvy, Robert Glück, Peter Thiemann http://dx.doi.org/10.1007/3-540-61580-6

José Júlio Alferes, Luís Moniz Pereira http://dx.doi.org/10.1007/3-540-61488-5

Christoph Malsburg, Werner Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff

http://dx.doi.org/10.1007/3-540-61510-5

http://dx.doi.org/10.1007/3-540-61550-4

http://dx.doi.org/10.1007/3-540-61532-6

Peter W. Eklund, Gerard Ellis, Graham Mann http://dx.doi.org/10.1007/3-540-61534-2

http://dx.doi.org/10.1007/3-540-61578-4

Alfonso Ferreira, José Rolim, Yousef Saad, Tao Yang http://dx.doi.org/10.1007/BFb0030093

http://dx.doi.org/10.1007/3-540-61551-2

http://dx.doi.org/10.1007/978-3-662-21574-6

http://dx.doi.org/10.1007/3-540-61422-2


http://dx.doi.org/10.1007/3-540-61440-0



http://dx.doi.org/10.1007/3-540-61474-5

http://dx.doi.org/10.1007/3-540-61464-8

http://dx.doi.org/10.1007/3-540-61511-3

http://dx.doi.org/10.1007/3-540-61478-8

http://dx.doi.org/10.1007/3-540-61479-6

http://dx.doi.org/10.1007/3-540-61487-7


http://dx.doi.org/10.1007/3-540-68697-5

http://dx.doi.org/10.1007/3-540-61580-6

http://dx.doi.org/10.1007/3-540-61488-5

http://dx.doi.org/10.1007/3-540-61510-5

http://dx.doi.org/10.1007/3-540-61550-4

http://dx.doi.org/10.1007/3-540-61532-6

http://dx.doi.org/10.1007/3-540-61534-2

http://dx.doi.org/10.1007/3-540-61578-4


http://dx.doi.org/10.1007/3-540-61551-2

1996 Springer

1996 Springer

1996 Springer

Henri Cohen 1996 Springer

1996 Springer

1996 Springer

1996 Springer

1996 Springer

László Böszörményi 1996 Springer

Jacques Calmet, Carla Limongelli 1996 Springer

1996 Springer

1996 Springer

Karl Heinz Höhne, Ron Kikinis 1996 Springer

Guy-René Perrin, Alain Darte 1996 Springer

1996 Springer

1996 Springer


Josep Diaz, Maria Serna 1996 Springer

Günther Görz, Steffen Hölldobler 1996 Springer

1996 Springer

1996 Springer

1996 Springer

Ugo Montanari, Vladimiro Sassone http://dx.doi.org/10.1007/3-540-61604-7

Michel Deza, Reinhardt Euler, Ioannis Manoussakis http://dx.doi.org/10.1007/3-540-61576-8

Petra Perner, Patrick Wang, Azriel Rosenfeld http://dx.doi.org/10.1007/3-540-61577-6

http://dx.doi.org/10.1007/3-540-61581-4

Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert http://dx.doi.org/10.1007/3-540-61626-8

Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert http://dx.doi.org/10.1007/BFb0024677

Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison


José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska http://dx.doi.org/10.1007/3-540-61630-6

http://dx.doi.org/10.1007/3-540-61695-0

http://dx.doi.org/10.1007/3-540-61697-7

John Launchbury, Erik Meijer, Tim Sheard http://dx.doi.org/10.1007/3-540-61628-4

Magne Haveraaen, Olaf Owe, Ole-Johan Dahl http://dx.doi.org/10.1007/3-540-61629-2


http://dx.doi.org/10.1007/3-540-61736-1

Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver http://dx.doi.org/10.1007/BFb0025130

Roland R. Wagner, Helmut Thoma http://dx.doi.org/10.1007/BFb0034664

http://dx.doi.org/10.1007/3-540-61648-9

http://dx.doi.org/10.1007/3-540-61680-2

http://dx.doi.org/10.1007/3-540-61708-6

Jacques Calmet, John A. Campbell, Jochen Pfalzgraf http://dx.doi.org/10.1007/3-540-61732-9

Michael Hanus, Mario Rodríguez-Artalejo http://dx.doi.org/10.1007/3-540-61735-3

Herbert Kuchen, S. Doaitse Swierstra http://dx.doi.org/10.1007/3-540-61756-6

http://dx.doi.org/10.1007/3-540-61604-7

http://dx.doi.org/10.1007/3-540-61576-8

http://dx.doi.org/10.1007/3-540-61577-6

http://dx.doi.org/10.1007/3-540-61581-4

http://dx.doi.org/10.1007/3-540-61626-8



http://dx.doi.org/10.1007/3-540-61630-6

http://dx.doi.org/10.1007/3-540-61695-0

http://dx.doi.org/10.1007/3-540-61697-7

http://dx.doi.org/10.1007/3-540-61628-4

http://dx.doi.org/10.1007/3-540-61629-2


http://dx.doi.org/10.1007/3-540-61736-1



http://dx.doi.org/10.1007/3-540-61648-9

http://dx.doi.org/10.1007/3-540-61680-2

http://dx.doi.org/10.1007/3-540-61708-6

http://dx.doi.org/10.1007/3-540-61732-9

http://dx.doi.org/10.1007/3-540-61735-3

http://dx.doi.org/10.1007/3-540-61756-6

1996 Springer

1996 Springer

Terence C. Fogarty 1996 Springer

Radhia Cousot, David A. Schmidt 1996 Springer

1996 Springer

Laurent Miclet, Colin Higuera 1996 Springer

Ming C. Lin, Dinesh Manocha 1996 Springer

Carlo Montangero 1996 Springer

1996 Springer

Özalp Babaoğlu, Keith Marzullo 1996 Springer

1996 Springer

Edmund Burke, Peter Ross 1996 Springer

Dino Pedreschi, Carlo Zaniolo 1996 Springer

1996 Springer

1996 Springer

Bernhard Thalheim 1996 Springer

Stefano Berardi, Mario Coppo 1996 Springer

1996 Springer

Setsuo Arikawa, Arun K. Sharma 1996 Springer

1996 Springer

Dror G. Feitelson, Larry Rudolph 1996 Springer

Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel

http://dx.doi.org/10.1007/3-540-61723-X

Reiner W. Hartenstein, Manfred Glesner http://dx.doi.org/10.1007/3-540-61730-2


http://dx.doi.org/10.1007/3-540-61739-6

Elisa Bertino, Helmut Kurth, Giancarlo Martella, Emilio Montolivo

http://dx.doi.org/10.1007/3-540-61770-1




Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini http://dx.doi.org/10.1007/3-540-61772-8

http://dx.doi.org/10.1007/3-540-61769-8

Takeshi Furuhashi, Yoshiki Uchikawa http://dx.doi.org/10.1007/3-540-61988-7

http://dx.doi.org/10.1007/3-540-61794-9


James Roberts, Ugo Mocci, Jorma Virtamo http://dx.doi.org/10.1007/3-540-61815-5

Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam http://dx.doi.org/10.1007/3-540-61779-5


http://dx.doi.org/10.1007/3-540-61780-9

Díbio L. Borges, Celso A. A. Kaestner http://dx.doi.org/10.1007/3-540-61859-7

http://dx.doi.org/10.1007/3-540-61863-5

Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer http://dx.doi.org/10.1007/3-540-61842-2


http://dx.doi.org/10.1007/3-540-61723-X

http://dx.doi.org/10.1007/3-540-61730-2


http://dx.doi.org/10.1007/3-540-61739-6

http://dx.doi.org/10.1007/3-540-61770-1




http://dx.doi.org/10.1007/3-540-61772-8

http://dx.doi.org/10.1007/3-540-61769-8

http://dx.doi.org/10.1007/3-540-61988-7

http://dx.doi.org/10.1007/3-540-61794-9


http://dx.doi.org/10.1007/3-540-61815-5

http://dx.doi.org/10.1007/3-540-61779-5


http://dx.doi.org/10.1007/3-540-61780-9

http://dx.doi.org/10.1007/3-540-61859-7

http://dx.doi.org/10.1007/3-540-61863-5

http://dx.doi.org/10.1007/3-540-61842-2


1996 Springer

1996 Springer

1996 Springer

1996 Springer

Ian Sommerville 1996 SpringerIan Smith, Boi Faltings 1996 Springer

1996 Springer


Alexander Franz 1996 Springer

Josef Pieprzyk, Jennifer Seberry 1996 Springer

William Rucklidge 1996 Springer

Ross Anderson 1996 Springer

1996 Springer

1996 Springer

Jörg P. Müller 1996 Springer

1996 Springer

Joxan Jaffar, Roland H. C. Yap 1996 Springer

V. Chandru, V. Vinay 1996 Springer

1996 Springer

Waqar Hasan 1996 Springer

1996 Springer

1996 Springer

Kwangjo Kim, Tsutomu Matsumoto http://dx.doi.org/10.1007/BFb0034829

Kim Berquist, Andrew Berquist, Patrick McLaughlin http://dx.doi.org/10.1007/BFb0024333

Jean-Raymond Abrial, Egon Börger, Hans Langmaack http://dx.doi.org/10.1007/BFb0027227

Mandayam Srivas, Albert Camilleri http://dx.doi.org/10.1007/BFb0031795

http://dx.doi.org/10.1007/BFb0023076http://dx.doi.org/10.1007/BFb0020597

Manfred Broy, Stephan Merz, Katharina Spies http://dx.doi.org/10.1007/BFb0024423





http://dx.doi.org/10.1007/3-540-61996-8

Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek http://dx.doi.org/10.1007/BFb0037392

Serge Miguet, Annick Montanvert, Stéphane Ubéda http://dx.doi.org/10.1007/3-540-62005-2


Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi, Satoru Miyano, Subhash Suri



http://dx.doi.org/10.1007/3-540-62034-6

Dines Bjørner, Manfred Broy, Igor V. Pottosin http://dx.doi.org/10.1007/3-540-62064-8


Andreas Wierse, Georges G. Grinstein, Ulrich Lang http://dx.doi.org/10.1007/3-540-62221-7

Jerzy Waśniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen http://dx.doi.org/10.1007/3-540-62095-8












http://dx.doi.org/10.1007/3-540-61996-8


http://dx.doi.org/10.1007/3-540-62005-2




http://dx.doi.org/10.1007/3-540-62034-6

http://dx.doi.org/10.1007/3-540-62064-8


http://dx.doi.org/10.1007/3-540-62221-7

http://dx.doi.org/10.1007/3-540-62095-8

1996 Springer

Foto Afrati, Phokion Kolaitis 1996 SpringerKarl Schlechta 1996 Springer

Trevor P. Martin, Anca L. Ralescu 1996 Springer

Mark Lomas 1996 Springer

Giorgio Ventre, Jordi Domingo-Pascual, André Danthine http://dx.doi.org/10.1007/BFb0020846


http://dx.doi.org/10.1007/3-540-62474-0

http://dx.doi.org/10.1007/3-540-62494-5


http://dx.doi.org/10.1007/3-540-62222-5


http://dx.doi.org/10.1007/3-540-62474-0

http://dx.doi.org/10.1007/3-540-62494-5

computer science books

Documents