computer science books
DESCRIPTION
LibraryTRANSCRIPT
Lecture Notes in Computer ScienceSno Title Series Volume
1 Lecture Notes in Computer Science 4
2 Lecture Notes in Computer Science 2
3 Lecture Notes in Computer Science 3
4 Lecture Notes in Computer Science 11
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
9 Lecture Notes in Computer Science 20
10 Lecture Notes in Computer Science 20
11 Compiler Construction Lecture Notes in Computer Science 21
12 Programming Symposium Lecture Notes in Computer Science 19
13 Lecture Notes in Computer Science 10
14 Lecture Notes in Computer Science 5
15 Lecture Notes in Computer Science 6
16 Lecture Notes in Computer Science 6
17 Lecture Notes in Computer Science 13
18 Automata, Languages and Programming Lecture Notes in Computer Science 14
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
22 Lecture Notes in Computer Science 36
23 Lecture Notes in Computer Science 36
24 Lecture Notes in Computer Science 25
25 Lecture Notes in Computer Science 28
26 Lecture Notes in Computer Science 32
27 Lecture Notes in Computer Science 33
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
31 Compiler Construction Lecture Notes in Computer Science 21
32 Lecture Notes in Computer Science 27
33 λ-Calculus and Computer Science Theory Lecture Notes in Computer Science 37
34 λ-Calculus and Computer Science Theory Lecture Notes in Computer Science 37
35 Lecture Notes in Computer Science 40
36 Lecture Notes in Computer Science 41
37 Lecture Notes in Computer Science 42
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
38 Lecture Notes in Computer Science 38
39 ECI Conference 1976 Lecture Notes in Computer Science 44
40 Lecture Notes in Computer Science 45
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
44 Lecture Notes in Computer Science 47
45 Lecture Notes in Computer Science 51
46 Automata, Languages and Programming Lecture Notes in Computer Science 52
47 Lecture Notes in Computer Science 53
48 Lecture Notes in Computer Science 54
49 Lecture Notes in Computer Science 55
50 Fundamentals of Computation Theory Lecture Notes in Computer Science 5651 Portability of Numerical Software Lecture Notes in Computer Science 57
52 Lecture Notes in Computer Science 58
53 Lecture Notes in Computer Science 50
54 Information Systems Methodology Lecture Notes in Computer Science 65
55 Automata, Languages and Programming Lecture Notes in Computer Science 62
56 Lecture Notes in Computer Science 63
57 Lecture Notes in Computer Science 64
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
Mathematical Foundations of Computer Science 1977
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
Mathematical Foundations of Computer Science 1978
58 Lecture Notes in Computer Science 66
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
64 Lecture Notes in Computer Science 73
65 Edinburgh LCF Lecture Notes in Computer Science 78
66 Lecture Notes in Computer Science 74
67 Lecture Notes in Computer Science 75
68 Lecture Notes in Computer Science 76
69 Lecture Notes in Computer Science 77
70 Lecture Notes in Computer Science 97
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
74 Lecture Notes in Computer Science 79
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
78 Lecture Notes in Computer Science 87
79 Lecture Notes in Computer Science 88
80 Lecture Notes in Computer Science 89
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 Foundations of Computer Science 1979
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
Mathematical Foundations of Computer Science 1980
Computer Aided Design Modelling, Systems Engineering, CAD-Systems
81 Lecture Notes in Computer Science 90
82 Grammar and L forms: An introduction Lecture Notes in Computer Science 9183 A Calculus of Communicating Systems Lecture Notes in Computer Science 92
84 Lecture Notes in Computer Science 93
85 Semantics-Directed Compiler Generation Lecture Notes in Computer Science 94
86 Coroutines Lecture Notes in Computer Science 95
87 Lecture Notes in Computer Science 96
88 Digital Image Processing Systems Lecture Notes in Computer Science 109
89 Lecture Notes in Computer Science 100
90 Theoretical Computer Science Lecture Notes in Computer Science 104
91 Lecture Notes in Computer Science 116
92 Lecture Notes in Computer Science 105
93 Formalization of Programming Concepts Lecture Notes in Computer Science 107
94 Lecture Notes in Computer Science 110
95 Graph Theory and Algorithms Lecture Notes in Computer Science 10896 Boolean Calculus of Differences Lecture Notes in Computer Science 101
97 Lecture Notes in Computer Science 103
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
101 Lecture Notes in Computer Science 118
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
Mathematical Foundations of Computer Science 1981
103 Lecture Notes in Computer Science 106
104 Automata, Languages and Programming Lecture Notes in Computer Science 115
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
108 Lecture Notes in Computer Science 113
109 CLU Reference Manual Lecture Notes in Computer Science 114
110 Lecture Notes in Computer Science 120
111 Lecture Notes in Computer Science 122
112 Trends in Information Processing Systems Lecture Notes in Computer Science 123
113 Computer Algebra Lecture Notes in Computer Science 144
114 Theoretical Computer Science Lecture Notes in Computer Science 145
115 Microcomputer System Design Lecture Notes in Computer Science 126
116 Alternating Sequential/Parallel Processing Lecture Notes in Computer Science 127
117 Lecture Notes in Computer Science 129
118 Lecture Notes in Computer Science 130
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
123 Lecture Notes in Computer Science 135
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
124 Lecture Notes in Computer Science 136
125 International Symposium on Programming Lecture Notes in Computer Science 137
126 6th Conference on Automated Deduction Lecture Notes in Computer Science 138
127 Automata, Languages and Programming Lecture Notes in Computer Science 140
128 GAG: A Practical Compiler Generator Lecture Notes in Computer Science 141
129 Lecture Notes in Computer Science 142
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
137 Lecture Notes in Computer Science 146
138 Lecture Notes in Computer Science 147
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
143 Lecture Notes in Computer Science 153
144 Automata, Languages and Programming Lecture Notes in Computer Science 154
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
145 Lecture Notes in Computer Science 155
146 Lecture Notes in Computer Science 152
147 Foundations of Computation Theory Lecture Notes in Computer Science 158148 Large Sparse Numerical Optimization Lecture Notes in Computer Science 165
149 International Symposium on Programming Lecture Notes in Computer Science 167
150 Lecture Notes in Computer Science 168
151 Feedback Shift Registers Lecture Notes in Computer Science 169152 EUROSAM 84 Lecture Notes in Computer Science 174
153 Lecture Notes in Computer Science 175
154 Lecture Notes in Computer Science 177
155 Lecture Notes in Computer Science 178
156 How to Multiply Matrices Faster Lecture Notes in Computer Science 179
157 Lecture Notes in Computer Science 181
158 Logics of Programs Lecture Notes in Computer Science 164
159 STACS 84 Lecture Notes in Computer Science 166
160 Lecture Notes in Computer Science 171
161 Automata, Languages and Programming Lecture Notes in Computer Science 172
162 Semantics of Data Types Lecture Notes in Computer Science 173
163 Lecture Notes in Computer Science 176
164 Ada Software Tools Interfaces Lecture Notes in Computer Science 180
165 The Munich Project CIP Lecture Notes in Computer Science 183
166 Lecture Notes in Computer Science 185
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 Computer Science 1984
Mathematical Foundations of Software Development
169 Distributed Systems Lecture Notes in Computer Science 190
170 Lecture Notes in Computer Science 191
171 Automata on Infinite Words Lecture Notes in Computer Science 192172 Logics of Programs Lecture Notes in Computer Science 193
173 Automata, Languages and Programming Lecture Notes in Computer Science 194
174 Lecture Notes in Computer Science 195
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
180 Lecture Notes in Computer Science 201
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
184 Lecture Notes in Computer Science 206
185 STACS 85 Lecture Notes in Computer Science 182
186 Local Area Networks: An Advanced Course Lecture Notes in Computer Science 184
187 Lecture Notes in Computer Science 186
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
Foundations of Software Technology and Theoretical Computer Science
Formal Methods and Software Development
194 Programs as Data Objects Lecture Notes in Computer Science 217
195 Lecture Notes in Computer Science 215
196 Logic Programming '85 Lecture Notes in Computer Science 221
197 Lecture Notes in Computer Science 229
198 Lecture Notes in Computer Science 233
199 Accurate Scientific Computations Lecture Notes in Computer Science 235
200 TEX for Scientific Documentation Lecture Notes in Computer Science 236
201 Lecture Notes in Computer Science 228
202 Lecture Notes in Computer Science 230
203 Lecture Notes in Computer Science 231
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
207 Lecture Notes in Computer Science 240
208 Lecture Notes in Computer Science 239
209 Lecture Notes in Computer Science 241
210 Lecture Notes in Computer Science 242
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
215 STACS 86 Lecture Notes in Computer Science 210
216 Lecture Notes in Computer Science 218
Mathematical Methods of Specification and Synthesis of Software Systems '85
Algebraic Algorithms and Error-Correcting Codes
Mathematical Foundations of Computer Science 1986
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
Foundations of Software Technology and Theoretical Computer Science
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
218 Lecture Notes in Computer Science 220
219 Advances in Petri Nets 1985 Lecture Notes in Computer Science 222
220 Current Trends in Concurrency Lecture Notes in Computer Science 224
221 Lecture Notes in Computer Science 225
222 Automata, Languages and Programming Lecture Notes in Computer Science 226
223 VLSI Algorithms and Architectures Lecture Notes in Computer Science 227
224 Advanced Programming Environments Lecture Notes in Computer Science 244
225 Lecture Notes in Computer Science 245
226 Lecture Notes in Computer Science 246
227 STACS 87 Lecture Notes in Computer Science 247
228 Networking in Open Systems Lecture Notes in Computer Science 248
229 TAPSOFT '87 Lecture Notes in Computer Science 249
230 TAPSOFT '87 Lecture Notes in Computer Science 250
231 Lecture Notes in Computer Science 251
232 Lecture Notes in Computer Science 260
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
236 Rewriting Techniques and Applications Lecture Notes in Computer Science 256
237 Lecture Notes in Computer Science 257
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
238 Lecture Notes in Computer Science 258
239 Parallel Algorithms and Architectures Lecture Notes in Computer Science 269
240 Lecture Notes in Computer Science 273
241 Lecture Notes in Computer Science 274
242 System Development and Ada Lecture Notes in Computer Science 275
243 Lecture Notes in Computer Science 276
244 Lecture Notes in Computer Science 280
245 Visualization in Programming Lecture Notes in Computer Science 282
246 Graph Reduction Lecture Notes in Computer Science 279
247 Fundamentals of Computation Theory Lecture Notes in Computer Science 278
248 Co-oP Lecture Notes in Computer Science 290
249 Lecture Notes in Computer Science 280
250 Uncertainty in Knowledge-Based Systems Lecture Notes in Computer Science 286
251 Lecture Notes in Computer Science 261
252 A Review of Ada Tasking Lecture Notes in Computer Science 262
253 Lecture Notes in Computer Science 268
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
257 Lecture Notes in Computer Science 252
258 Lecture Notes in Computer Science 253
PARLE Parallel Architectures and Languages Europe
A Connotational Theory of Program Structure
Functional Programming Languages and Computer Architecture
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
259 Lecture Notes in Computer Science 254
260 Lecture Notes in Computer Science 254
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
265 Automata, Languages and Programming Lecture Notes in Computer Science 267
266 Lecture Notes in Computer Science 281
267 Lecture Notes in Computer Science 287
268 MetaSoft Primer Lecture Notes in Computer Science 288
269 ESEC '87 Lecture Notes in Computer Science 289
270 Lecture Notes in Computer Science 291
271 Advances in Cryptology — CRYPTO ’87 Lecture Notes in Computer Science 293272 STACS 88 Lecture Notes in Computer Science 294
273 Lecture Notes in Computer Science 295
274 Experiences with Distributed Systems Lecture Notes in Computer Science 309
275 Lecture Notes in Computer Science 310
276 Pattern Recognition Lecture Notes in Computer Science 301
277 Lecture Notes in Computer Science 302
278 Lecture Notes in Computer Science 303
279 Advances in Cryptology — EUROCRYPT’ 87 Lecture Notes in Computer Science 304
280 MFDBS 87 Lecture Notes in Computer Science 305
281 ESOP '88 Lecture Notes in Computer Science 300
282 Lecture Notes in Computer Science 324
283 ICDT '88 Lecture Notes in Computer Science 326
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
Foundations of Software Technology and 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
Mathematical Foundations of Computer Science 1988
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
288 Lecture Notes in Computer Science 331
289 Lecture Notes in Computer Science 333
290 Lecture Notes in Computer Science 334
291 Lecture Notes in Computer Science 338
292 Recent Trends in Data Type Specification Lecture Notes in Computer Science 332
293 Advances in Petri Nets 1988 Lecture Notes in Computer Science 340
294 Lecture Notes in Computer Science 321
295 Error Detection and Recovery in Robotics Lecture Notes in Computer Science 336
296 Trends in Computer Algebra Lecture Notes in Computer Science 296
297 Lecture Notes in Computer Science 306
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
304 Lecture Notes in Computer Science 337
305 The Munich Project CIP Lecture Notes in Computer Science 292
306 Supercomputing Lecture Notes in Computer Science 297
307 Lecture Notes in Computer Science 298
308 CAAP '88 Lecture Notes in Computer Science 299
309 Lecture Notes in Computer Science 307
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
Foundations of Software Technology and Theoretical Computer Science
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
312 Lecture Notes in Computer Science 314
313 Logic Programming '87 Lecture Notes in Computer Science 315
314 Automata Networks Lecture Notes in Computer Science 316
315 Automata, Languages and Programming Lecture Notes in Computer Science 317
316 SWAT 88 Lecture Notes in Computer Science 318317 VLSI Algorithms and Architectures Lecture Notes in Computer Science 319
318 Lecture Notes in Computer Science 322
319 Lecture Notes in Computer Science 339
320 Lecture Notes in Computer Science 341
321 Lecture Notes in Computer Science 344
322 Parcella '88 Lecture Notes in Computer Science 342
323 STACS 89 Lecture Notes in Computer Science 349
324 Lecture Notes in Computer Science 356
325 Computer Assisted Learning Lecture Notes in Computer Science 360
326 Lecture Notes in Computer Science 361
327 Lecture Notes in Computer Science 362
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
331 Lecture Notes in Computer Science 354
332 Rewriting Techniques and Applications Lecture Notes in Computer Science 355
333 Logic at Botik '89 Lecture Notes in Computer Science 363
334 MFDBS 89 Lecture Notes in Computer Science 364
335 Lecture Notes in Computer Science 365
Graph-Theoretic Concepts in Computer Science
ECOOP ’88 European Conference on Object-Oriented Programming
Statistical and Scientific Database Management
Software Reliability Modelling and Identification
Graph-Theoretic Concepts in Computer Science
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
336 Lecture Notes in Computer Science 366
337 Lecture Notes in Computer Science 367
338 Symbolic and Algebraic Computation Lecture Notes in Computer Science 358
339 Database Machines Lecture Notes in Computer Science 368
340 Lecture Notes in Computer Science 370
341 Lecture Notes in Computer Science 371
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
350 CSL '88 Lecture Notes in Computer Science 385
351 ESEC '89 Lecture Notes in Computer Science 387
352 Coding Theory and Applications Lecture Notes in Computer Science 388
353 Category Theory and Computer Science Lecture Notes in Computer Science 389
354 Geometry and Robotics Lecture Notes in Computer Science 391
355 Distributed Algorithms Lecture Notes in Computer Science 392
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
360 Lecture Notes in Computer Science 404
PARLE '89 Parallel Architectures and Languages Europe
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
361 Automata, Languages and Programming Lecture Notes in Computer Science 372
362 Lecture Notes in Computer Science 386
363 Lecture Notes in Computer Science 393
364 Lecture Notes in Computer Science 369
365 Advanced Topics in Artificial Intelligence Lecture Notes in Computer Science 345
366 Non-Monotonic Reasoning Lecture Notes in Computer Science 346
367 Lecture Notes in Computer Science 347
368 Lecture Notes in Computer Science 348
369 Lecture Notes in Computer Science 357
370 High Performance Transaction Systems Lecture Notes in Computer Science 359
371 Lecture Notes in Computer Science 377
372 Eurocal '87 Lecture Notes in Computer Science 378
373 Lecture Notes in Computer Science 379
374 Fundamentals of Computation Theory Lecture Notes in Computer Science 380
375 Machines, Languages, and Complexity Lecture Notes in Computer Science 381
376 Lecture Notes in Computer Science 394
377 Lecture Notes in Computer Science 399
378 Lecture Notes in Computer Science 407
379 Lecture Notes in Computer Science 408
380 Lecture Notes in Computer Science 409
381 Lecture Notes in Computer Science 410
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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Electronic Dictionaries and Automata in Computational Linguistics
Mathematical Foundations of Computer Science 1989
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
382 Lecture Notes in Computer Science 405
383 COLOG-88 Lecture Notes in Computer Science 417
384 Lecture Notes in Computer Science 420
385 Lecture Notes in Computer Science 411
386 Lecture Notes in Computer Science 413
387 Lecture Notes in Computer Science 414
388 STACS 90 Lecture Notes in Computer Science 415
389 Lecture Notes in Computer Science 416
390 Advances in Petri Nets 1989 Lecture Notes in Computer Science 424391 Computer Vision — ECCV 90 Lecture Notes in Computer Science 427
392 Lecture Notes in Computer Science 428
393 Lecture Notes in Computer Science 429
394 Software Engineering Education Lecture Notes in Computer Science 423395 SIL—a Simulation Language Lecture Notes in Computer Science 426
396 Lecture Notes in Computer Science 430
397 CAAP '90 Lecture Notes in Computer Science 431398 ESOP '90 Lecture Notes in Computer Science 432
399 Lecture Notes in Computer Science 433
400 Lecture Notes in Computer Science 436
401 Lecture Notes in Computer Science 435
402 Computer Assisted Learning Lecture Notes in Computer Science 438
403 CSL '89 Lecture Notes in Computer Science 440
404 Lecture Notes in Computer Science 458
405 Attribute Grammars and their Applications Lecture Notes in Computer Science 461
Foundations of Software Technology and Theoretical Computer Science
Statistical and Scientific Database Management
Graph-Theoretic Concepts in Computer Science
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
407 Lecture Notes in Computer Science 452
408 Advances in Cryptology — AUSCRYPT '90 Lecture Notes in Computer Science 453
409 Combinatorics on Traces Lecture Notes in Computer Science 454
410 Lecture Notes in Computer Science 455
411 Lecture Notes in Computer Science 456
412 Parallel Lisp: Languages and Systems Lecture Notes in Computer Science 441
413 Lecture Notes in Computer Science 442
414 Automata, Languages and Programming Lecture Notes in Computer Science 443
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
418 Lecture Notes in Computer Science 464
419 Database Systems of the 90s Lecture Notes in Computer Science 466420 CONPAR 90 — VAPP IV Lecture Notes in Computer Science 457
421 Advances in Cryptology — EUROCRYPT ’89 Lecture Notes in Computer Science 434
422 Advances in Cryptology — EUROCRYPT ’89 Lecture Notes in Computer Science 434
423 Lecture Notes in Computer Science 469
424 Lecture Notes in Computer Science 471
425 Lecture Notes in Computer Science 468
426 Software Engineering Environments Lecture Notes in Computer Science 467
427 Lecture Notes in Computer Science 439
428 Lecture Notes in Computer Science 421
Mathematical Foundations of Computer Science 1990
A Collection of Test Problems for Constrained Global Optimization Algorithms
Programming Language Implementation and Logic Programming
Mathematical Foundations of Programming Semantics
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
431 Lecture Notes in Computer Science 460
432 Algebraic and Logic Programming Lecture Notes in Computer Science 463
433 ICDT '90 Lecture Notes in Computer Science 470
434 Lecture Notes in Computer Science 472
435 Advances in Cryptology — EUROCRYPT ’90 Lecture Notes in Computer Science 473
436 Lecture Notes in Computer Science 474
437 Compiler Compilers Lecture Notes in Computer Science 477
438 STACS 91 Lecture Notes in Computer Science 480
439 TAPSOFT '91 Lecture Notes in Computer Science 493
440 TAPSOFT '91 Lecture Notes in Computer Science 494
441 MFDBS 91 Lecture Notes in Computer Science 495
442 Parallel Problem Solving from Nature Lecture Notes in Computer Science 496
443 Lecture Notes in Computer Science 497
444 Lecture Notes in Computer Science 498
445 Ada: The Choice for '92 Lecture Notes in Computer Science 499
446 Lecture Notes in Computer Science 500
447 Lecture Notes in Computer Science 501
448 Baltic Computer Science Lecture Notes in Computer Science 502449 Parallel Database Systems Lecture Notes in Computer Science 503
450 Lecture Notes in Computer Science 504
451 Lecture Notes in Computer Science 505
452 Lecture Notes in Computer Science 506
A Systematic Catalogue of Reusable Abstract Data Types
Foundations of Software Technology and Theoretical Computer Science
Information Systems and Artificial Intelligence: Integration Aspects
Advances in Computing and Information — ICCI '91
Advanced Information Systems Engineering
On the Computational Geometry of Pocket Machining
Algebraic system specification and development
Next Generation Information System Technology
PARLE '91 Parallel Architectures and Languages Europe
PARLE '91 Parallel Architectures and Languages Europe
453 Lecture Notes in Computer Science 508
454 Lecture Notes in Computer Science 509
455 Lecture Notes in Computer Science 479
456 Advances in Petri Nets 1990 Lecture Notes in Computer Science 483
457 Lecture Notes in Computer Science 484
458 Distributed Algorithms Lecture Notes in Computer Science 486459 Distributed Memory Computing Lecture Notes in Computer Science 487
460 Rewriting Techniques and Applications Lecture Notes in Computer Science 488
461 Foundations of Object-Oriented Languages Lecture Notes in Computer Science 489
462 Lecture Notes in Computer Science 490
463 Lecture Notes in Computer Science 491
464 Lecture Notes in Computer Science 492
465 Uncertainty in Knowledge Bases Lecture Notes in Computer Science 521
466 Lecture Notes in Computer Science 523
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
470 Lecture Notes in Computer Science 528
471 Category Theory and Computer Science Lecture Notes in Computer Science 530
472 Computer-Aided Verification Lecture Notes in Computer Science 531
473 Lecture Notes in Computer Science 532
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Software Development Environments and CASE Technology
Meta-Level Control for Deductive Database Systems
Graph-Theoretic Concepts in Computer Science
Algebraic Methods II: Theory, Tools and Applications
Concurrency: Theory, Language, and Architecture
Computer-Aided Cooperative Product Development
Functional Programming Languages and Computer Architecture
Programming Language Implementation and Logic Programming
Graph Grammars and Their Application to Computer Science
474 Computer Science Logic Lecture Notes in Computer Science 533
475 Recent Trends in Data Type Specification Lecture Notes in Computer Science 534
476 Software Engineering Education Lecture Notes in Computer Science 536
477 Lecture Notes in Computer Science 538
478 Lecture Notes in Computer Science 539
479 Artificial Neural Networks Lecture Notes in Computer Science 540
480 Lecture Notes in Computer Science 545
481 Lecture Notes in Computer Science 548
482 Automata, Languages and Programming Lecture Notes in Computer Science 510
483 Information Processing in Medical Imaging Lecture Notes in Computer Science 511
484 Lecture Notes in Computer Science 512
485 Algorithms and Data Structures Lecture Notes in Computer Science 519
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
490 Advances in Cryptology — EUROCRYPT ’91 Lecture Notes in Computer Science 547
491 ESEC '91 Lecture Notes in Computer Science 550
492 Lecture Notes in Computer Science 551
493 Lecture Notes in Computer Science 552
494 Lecture Notes in Computer Science 553
495 Lecture Notes in Computer Science 554
A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
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
496 Lecture Notes in Computer Science 555
497 ISA'91 Algorithms Lecture Notes in Computer Science 557
498 Lecture Notes in Computer Science 520
499 Lecture Notes in Computer Science 556
500 Lecture Notes in Computer Science 558
501 Lecture Notes in Computer Science 559
502 Lecture Notes in Computer Science 560
503 Lecture Notes in Computer Science 562
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
511 Lecture Notes in Computer Science 564
512 Lecture Notes in Computer Science 570
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
516 Lecture Notes in Computer Science 571
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
Mathematical Foundations of Computer Science 1991
Conclog: A Methodological Approach to Concurrent Logic Programming
Specification and Compositional Verification of Real-Time Systems
Fundamental Algorithms for Permutation Groups
Foundations of Software Technology and Theoretical Computer Science
Algebraic Specification Techniques in Object Oriented Programming Environments
The Use of Projective Geometry in Computer Graphics
Graph-Theoretic Concepts in Computer Science
Formal Techniques in Real-Time and Fault-Tolerant Systems
519 STACS 92 Lecture Notes in Computer Science 577
520 Lecture Notes in Computer Science 578
521 Computer Aided Verification Lecture Notes in Computer Science 575
522 Distributed Algorithms Lecture Notes in Computer Science 579
523 Lecture Notes in Computer Science 580
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
528 Lecture Notes in Computer Science 574
529 Computer Algebra and Parallelism Lecture Notes in Computer Science 584
530 Lecture Notes in Computer Science 585
531 Parallel Execution of Parlog Lecture Notes in Computer Science 586532 Computer Vision — ECCV'92 Lecture Notes in Computer Science 588
533 Lecture Notes in Computer Science 589
534 Parallel Computation Lecture Notes in Computer Science 591
535 Lecture Notes in Computer Science 593
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
540 Lecture Notes in Computer Science 598
541 Real-Time: Theory in Practice Lecture Notes in Computer Science 600
542 Constructivity in Computer Science Lecture Notes in Computer Science 613
543 Lecture Notes in Computer Science 614
Public-Key Cryptography: State of the Art and Future Directions
Advances in Database Technology — EDBT '92
Reasearch Directions in High-Level Parallel Programming Languages
Computer Aided Systems Theory — EUROCAST '91
Languages and Compilers for Parallel Computing
Advanced Information Systems Engineering
Mathematical Foundations of Programming Semantics
Network and Operating System Support for Digital Audio and Video
544 Lecture Notes in Computer Science 615
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
548 Lecture Notes in Computer Science 595
549 Lecture Notes in Computer Science 605
550 Advances in Petri Nets 1992 Lecture Notes in Computer Science 609
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
555 Lecture Notes in Computer Science 651
556 Algebraic and Logic Programming Lecture Notes in Computer Science 632
557 Lecture Notes in Computer Science 631
558 Memory Management Lecture Notes in Computer Science 637559 Relational Matching Lecture Notes in Computer Science 628
560 Lecture Notes in Computer Science 629
561 CONCUR '92 Lecture Notes in Computer Science 630
562 Lecture Notes in Computer Science 625
563 Computer Science Logic Lecture Notes in Computer Science 626
564 Compiler Construction Lecture Notes in Computer Science 641
565 Lecture Notes in Computer Science 643
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
569 Automata, Languages and Programming Lecture Notes in Computer Science 623
ECOOP ’92 European Conference on Object-Oriented Programming
The Nested Universal Relation Database Model
PARLE '92 Parallel Architectures and Languages Europe
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Programming Language Implementation and Logic Programming
Mathematical Foundations of Computer Science 1992
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
571 Lecture Notes in Computer Science 639
572 Software Engineering Education Lecture Notes in Computer Science 640
573 Combinatorial Pattern Matching Lecture Notes in Computer Science 644
574 Lecture Notes in Computer Science 652
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
578 Lecture Notes in Computer Science 627
579 Lecture Notes in Computer Science 653
580 Recent Trends in Data Type Specification Lecture Notes in Computer Science 655
581 Distributed Algorithms Lecture Notes in Computer Science 725
582 Lecture Notes in Computer Science 729
583 Conditional Term Rewriting Systems Lecture Notes in Computer Science 656
584 Lecture Notes in Computer Science 657
585 Advances in Cryptology — EUROCRYPT’ 92 Lecture Notes in Computer Science 658
586 Nonmonotonic and Inductive Logic Lecture Notes in Computer Science 659
587 Extensions of Logic Programming Lecture Notes in Computer Science 660
588 Lecture Notes in Computer Science 661
589 Filtering, Segmentation and Depth Lecture Notes in Computer Science 662
590 Computer Aided Verification Lecture Notes in Computer Science 663
591 Typed Lambda Calculi and Applications Lecture Notes in Computer Science 664
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Foundations of Software Technology and Theoretical Computer Science
Lexical Semantics and Knowledge Representation
Future Tendencies in Computer Science, Control and Applied Mathematics
Performance Evaluation of Computer and Communication Systems
Graph-Theoretic Concepts in Computer Science
Machine Learning: From Theory to Applications
592 STACS 93 Lecture Notes in Computer Science 665
593 Semantics: Foundations and Applications Lecture Notes in Computer Science 666
594 Machine Learning: ECML-93 Lecture Notes in Computer Science 667
595 Lecture Notes in Computer Science 668
596 Mathematics of Program Construction Lecture Notes in Computer Science 669
597 Lecture Notes in Computer Science 670
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
600 Lecture Notes in Computer Science 673
601 Advances in Petri Nets 1993 Lecture Notes in Computer Science 674602 Live Data Structures in Logic Programs Lecture Notes in Computer Science 675
603 Lecture Notes in Computer Science 676
604 Word Equations and Related Topics Lecture Notes in Computer Science 677
605 Lecture Notes in Computer Science 678
606 Lecture Notes in Computer Science 679
607 Lecture Notes in Computer Science 680
608 The Logic of Information Structures Lecture Notes in Computer Science 681
609 Lecture Notes in Computer Science 682
610 Lecture Notes in Computer Science 683
611 Combinatorial Pattern Matching Lecture Notes in Computer Science 684
612 Lecture Notes in Computer Science 685
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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
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
Advanced Information Systems Engineering
615 Ada - Europe '93 Lecture Notes in Computer Science 688
616 Methodologies for Intelligent Systems Lecture Notes in Computer Science 689
617 Application and Theory of Petri Nets 1993 Lecture Notes in Computer Science 691
618 Advances in Spatial Databases Lecture Notes in Computer Science 692
619 Lecture Notes in Computer Science 693
620 Lecture Notes in Computer Science 694
621 Fuzzy Logic in Artificial Intelligence Lecture Notes in Computer Science 695
622 Advances in Databases Lecture Notes in Computer Science 696
623 Computer Aided Verification Lecture Notes in Computer Science 697
624 Lecture Notes in Computer Science 698
625 Lecture Notes in Computer Science 699
626 Automata, Languages and Programming Lecture Notes in Computer Science 700
627 Lecture Notes in Computer Science 701
628 Computer Science Logic Lecture Notes in Computer Science 702
629 Lecture Notes in Computer Science 703
630 The Design of an Extendible Graph Editor Lecture Notes in Computer Science 704
631 Lecture Notes in Computer Science 705
632 Lecture Notes in Computer Science 706
633 Lecture Notes in Computer Science 707
634 Lecture Notes in Computer Science 708
635 Algorithms and Data Structures Lecture Notes in Computer Science 709
636 Fundamentals of Computation Theory Lecture Notes in Computer Science 710
Functional Programming, Concurrency, Simulation and Automated Reasoning
PARLE '93 Parallel Architectures and Languages Europe
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
637 Lecture Notes in Computer Science 711
638 Lecture Notes in Computer Science 712
639 Computational Logic and Proof Theory Lecture Notes in Computer Science 713
640 Lecture Notes in Computer Science 714
641 CONCUR'93 Lecture Notes in Computer Science 715
642 Lecture Notes in Computer Science 716
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
647 Lecture Notes in Computer Science 721
648 Lecture Notes in Computer Science 722
649 Lecture Notes in Computer Science 723
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
654 Lecture Notes in Computer Science 730
655 Lecture Notes in Computer Science 731
656 Parallel Computer Architectures Lecture Notes in Computer Science 732
657 Human Computer Interaction Lecture Notes in Computer Science 733
658 Parallel Computation Lecture Notes in Computer Science 734
659 Lecture Notes in Computer Science 735
Mathematical Foundations of Computer Science 1993
Network and Operating System Support for Digital Audio and Video
Progamming Language Implementation and Logic Programming
Spatial Information Theory A Theoretical Basis for GIS
Design and Implementation of Symbolic Computation Systems
Design and Implementation of Symbolic Computation Systems
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
661 Lecture Notes in Computer Science 737
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
665 Lecture Notes in Computer Science 741
666 Lecture Notes in Computer Science 742
667 Algorithmic Learning Theory Lecture Notes in Computer Science 743
668 Algorithmic Learning Theory Lecture Notes in Computer Science 744
669 Intelligent Perceptual Systems Lecture Notes in Computer Science 745
670 Artificial Perception and Music Recognition Lecture Notes in Computer Science 746
671 Lecture Notes in Computer Science 747
672 Lecture Notes in Computer Science 748
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
676 Lecture Notes in Computer Science 752
677 Human-Computer Interaction Lecture Notes in Computer Science 753
678 Lecture Notes in Computer Science 754
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
681 Lecture Notes in Computer Science 757
682 Lecture Notes in Computer Science 758
683 Advanced Database Systems Lecture Notes in Computer Science 759
684 Deductive and Object-Oriented Databases Lecture Notes in Computer Science 760
685 Lecture Notes in Computer Science 761
686 Algorithms and Computation Lecture Notes in Computer Science 762
687 Types for Proofs and Programs Lecture Notes in Computer Science 806
688 Lecture Notes in Computer Science 797
689 Automata, Languages and Programming Lecture Notes in Computer Science 820
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
693 Lecture Notes in Computer Science 858
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
697 Lecture Notes in Computer Science 811
698 Lecture Notes in Computer Science 763
699 Vivid Logic Lecture Notes in Computer Science 764
700 Advances in Cryptology — EUROCRYPT ’93 Lecture Notes in Computer Science 765
701 The Dynamics of Concepts Lecture Notes in Computer Science 766
702 An Extended Entity-Relationship Model Lecture Notes in Computer Science 767
703 Lecture Notes in Computer Science 768
704 The Newton-Cauchy Framework Lecture Notes in Computer Science 769705 Representing Plans Under Uncertainty Lecture Notes in Computer Science 770
Languages and Compilers for Parallel Computing
Towards Dynamic Randomized Algorithms in Computational Geometry
Foundations of Software Technology and Theoretical Computer Science
High-Performance Computing and Networking
Object-Oriented Methodologies and Systems
Advanced Information Systems Engineering
Computer Aided Systems Theory — EUROCAST '93
Languages and Compilers for Parallel Computing
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
709 Lecture Notes in Computer Science 774
710 STACS 94 Lecture Notes in Computer Science 775
711 Lecture Notes in Computer Science 776
712 Lecture Notes in Computer Science 777
713 Algorithms and Complexity Lecture Notes in Computer Science 778
714 Lecture Notes in Computer Science 779
715 Lecture Notes in Computer Science 780
716 Algebraic Coding Lecture Notes in Computer Science 781
717 Lecture Notes in Computer Science 782
718 Lecture Notes in Computer Science 783
719 Machine Learning: ECML-94 Lecture Notes in Computer Science 784
720 Recent Trends in Data Type Specification Lecture Notes in Computer Science 785
721 Lecture Notes in Computer Science 787
722 Lecture Notes in Computer Science 788
723 Theoretical Aspects of Computer Software Lecture Notes in Computer Science 789
724 Lecture Notes in Computer Science 790
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
728 Lecture Notes in Computer Science 794
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
Advances in Database Technology — EDBT '94
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
Graph-Theoretic Concepts in Computer Science
Computer Performance Evaluation Modelling Techniques and Tools
730 Lecture Notes in Computer Science 796
731 Extensions of Logic Programming Lecture Notes in Computer Science 798732 Multiagent Systems Lecture Notes in Computer Science 799
733 Lecture Notes in Computer Science 802
734 Lecture Notes in Computer Science 803
735 Lecture Notes in Computer Science 804
736 Lecture Notes in Computer Science 805
737 Combinatorial Pattern Matching Lecture Notes in Computer Science 807
738 Lecture Notes in Computer Science 808
739 Fast Software Encryption Lecture Notes in Computer Science 809
740 Lecture Notes in Computer Science 810
741 Lecture Notes in Computer Science 812
742 Logical Foundations of Computer Science Lecture Notes in Computer Science 813
743 Automated Deduction — CADE-12 Lecture Notes in Computer Science 814
744 Application and Theory of Petri Nets 1994 Lecture Notes in Computer Science 815
745 Lecture Notes in Computer Science 816
746 Lecture Notes in Computer Science 817
747 Computer Aided Verification Lecture Notes in Computer Science 818748 Object-Oriented Programming Lecture Notes in Computer Science 821
749 Lecture Notes in Computer Science 822
750 Entity-Relationship Approach — ER '93 Lecture Notes in Computer Science 823
751 Algorithm Theory — SWAT '94 Lecture Notes in Computer Science 824
752 Lecture Notes in Computer Science 825
High-Performance Computing and Networking
Mathematical Foundations of Programming Semantics
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
756 Lecture Notes in Computer Science 829
757 Artificial Social Systems Lecture Notes in Computer Science 830
758 Orders, Algorithms, and Applications Lecture Notes in Computer Science 831
759 Computer Science Logic Lecture Notes in Computer Science 832
760 Fuzzy Logic and Fuzzy Control Lecture Notes in Computer Science 833
761 Algorithms and Computation Lecture Notes in Computer Science 834
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
768 Lecture Notes in Computer Science 841
769 Treewidth Lecture Notes in Computer Science 842
770 Lecture Notes in Computer Science 843
771 Lecture Notes in Computer Science 844
772 Constraints in Computational Logics Lecture Notes in Computer Science 845
773 Lecture Notes in Computer Science 846
774 Fuzzy Logic in Artificial Intelligence Lecture Notes in Computer Science 847
775 Lecture Notes in Computer Science 848
776 Lecture Notes in Computer Science 849
Error Control, Cryptology, and Speech Compression
Mathematical Foundations of Computer Science 1994
Turing Machines with Sublogarithmic Space
Programming Language Implementation and Logic Programming
Network and Operating System Support for Digital Audio and Video
Numerical Integration on Advanced Computer Systems
Field-Programmable Logic Architectures, Synthesis and Applications
777 Algebraic and Logic Programming Lecture Notes in Computer Science 850
778 Lecture Notes in Computer Science 851
779 Dependable Computing — EDCC-1 Lecture Notes in Computer Science 852
780 Lecture Notes in Computer Science 853
781 Parallel Processing: CONPAR 94 — VAPP VI Lecture Notes in Computer Science 854
782 Database and Expert Systems Applications Lecture Notes in Computer Science 856
783 Lecture Notes in Computer Science 859
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
787 Lecture Notes in Computer Science 863
788 Static Analysis Lecture Notes in Computer Science 864789 Evolutionary Computing Lecture Notes in Computer Science 865
790 Lecture Notes in Computer Science 866
791 A Future for Knowledge Acquisition Lecture Notes in Computer Science 867
792 Lecture Notes in Computer Science 868
793 Methodologies for Intelligent Systems Lecture Notes in Computer Science 869
794 Lecture Notes in Computer Science 870
795 Database Issues for Data Visualization Lecture Notes in Computer Science 871
796 Algorithmic Learning Theory Lecture Notes in Computer Science 872
797 Lecture Notes in Computer Science 873
798 Lecture Notes in Computer Science 874
799 Computer Security — ESORICS 94 Lecture Notes in Computer Science 875
Towards a Pan-European Telecommunication Service Infrastructure — IS&N '94
Parallel Computer Routing and Communication
Higher Order Logic Theorem Proving and Its Applications
Formal Techniques in Real-Time and Fault-Tolerant Systems
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
800 Human-Computer Interaction Lecture Notes in Computer Science 876
801 Algorithmic Number Theory Lecture Notes in Computer Science 877
802 Lecture Notes in Computer Science 878
803 Parallel Scientific Computing Lecture Notes in Computer Science 879
804 Lecture Notes in Computer Science 880
805 Lecture Notes in Computer Science 881
806 Multimedia Transport and Teleservices Lecture Notes in Computer Science 882
807 Lecture Notes in Computer Science 883
808 IGIS '94: Geographic Information Systems Lecture Notes in Computer Science 884
809 Lecture Notes in Computer Science 885
810 Lecture Notes in Computer Science 886
811 Ada in Europe Lecture Notes in Computer Science 887
812 Lecture Notes in Computer Science 888
813 Lecture Notes in Computer Science 915
814 Lecture Notes in Computer Science 1014
815 Lecture Notes in Computer Science 889
816 Intelligent Agents Lecture Notes in Computer Science 890
817 Formal Development of Reactive Systems Lecture Notes in Computer Science 891
818 Lecture Notes in Computer Science 892
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
Languages and Compilers for Parallel Computing
820 Graph Drawing Lecture Notes in Computer Science 894
821 Software Engineering Education Lecture Notes in Computer Science 895
822 Lecture Notes in Computer Science 896
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
826 STACS 95 Lecture Notes in Computer Science 900
827 Theorem Provers in Circuit Design Lecture Notes in Computer Science 901
828 Typed Lambda Calculi and Applications Lecture Notes in Computer Science 902
829 Lecture Notes in Computer Science 903
830 Computational Learning Theory Lecture Notes in Computer Science 904
831 Lecture Notes in Computer Science 905
832 Recent Trends in Data Type Specification Lecture Notes in Computer Science 906
833 Lecture Notes in Computer Science 907
834 Extensions of the UNITY Methodology Lecture Notes in Computer Science 908
835 Term Rewriting Lecture Notes in Computer Science 909
836 Lecture Notes in Computer Science 910
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
840 Rewriting Techniques and Applications Lecture Notes in Computer Science 914
841 Digital Libraries Current Issues Lecture Notes in Computer Science 916
842 Advances in Cryptology — ASIACRYPT'94 Lecture Notes in Computer Science 917
843 Lecture Notes in Computer Science 918
844 Lecture Notes in Computer Science 919
845 Lecture Notes in Computer Science 920
Software Engineering and Human-Computer Interaction
Graph-Theoretic Concepts in Computer Science
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
High-Performance Computing and Networking
Integer Programming and Combinatorial Optimization
846 Advances in Cryptology — EUROCRYPT ’95 Lecture Notes in Computer Science 921
847 Lecture Notes in Computer Science 922
848 Constraint Processing Lecture Notes in Computer Science 923
849 Lecture Notes in Computer Science 924
850 Advanced Functional Programming Lecture Notes in Computer Science 925851 Objective Software Quality Lecture Notes in Computer Science 926
852 Lecture Notes in Computer Science 927
853 Lecture Notes in Computer Science 928
854 Advances in Artificial Life Lecture Notes in Computer Science 929
855 Lecture Notes in Computer Science 930
856 Artificial Neural Networks Lecture Notes in Computer Science 931
857 Lecture Notes in Computer Science 932
858 Computer Science Logic Lecture Notes in Computer Science 933
859 Artificial Intelligence in Medicine Lecture Notes in Computer Science 934
860 Application and Theory of Petri Nets 1995 Lecture Notes in Computer Science 935
861 Lecture Notes in Computer Science 936
862 Combinatorial Pattern Matching Lecture Notes in Computer Science 937
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
866 Lecture Notes in Computer Science 941
867 Exploitation of Fine-Grain Parallelism Lecture Notes in Computer Science 942
868 Metaclasses and Their Application Lecture Notes in Computer Science 943
869 Automata, Languages and Programming Lecture Notes in Computer Science 944
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
Advanced Information Systems Engineering
Algebraic Methodology and Software Technology
Tractable Reasoning in Artificial Intelligence
870 Lecture Notes in Computer Science 945
871 Lecture Notes in Computer Science 946
872 Mathematics of Program Construction Lecture Notes in Computer Science 947
873 Lecture Notes in Computer Science 948
874 Lecture Notes in Computer Science 949
875 Advances in Cryptology — EUROCRYPT'94 Lecture Notes in Computer Science 950
876 Advances in Spatial Databases Lecture Notes in Computer Science 951
877 Lecture Notes in Computer Science 952
878 Category Theory and Computer Science Lecture Notes in Computer Science 953
879 Lecture Notes in Computer Science 954
880 Algorithms and Data Structures Lecture Notes in Computer Science 955
881 Progress in Evolutionary Computation Lecture Notes in Computer Science 956
882 From Reaction to Cognition Lecture Notes in Computer Science 957
883 Lecture Notes in Computer Science 958
884 Computing and Combinatorics Lecture Notes in Computer Science 959885 Logic and Computational Complexity Lecture Notes in Computer Science 960
886 Lecture Notes in Computer Science 961
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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
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
892 Lecture Notes in Computer Science 967
893 Conditional and Typed Rewriting Systems Lecture Notes in Computer Science 968
894 Lecture Notes in Computer Science 969
895 Computer Analysis of Images and Patterns Lecture Notes in Computer Science 970
896 Lecture Notes in Computer Science 971
897 Distributed Algorithms Lecture Notes in Computer Science 972
898 Lecture Notes in Computer Science 973
899 Image Analysis and Processing Lecture Notes in Computer Science 974
900 Field-Programmable Logic and Applications Lecture Notes in Computer Science 975
901 Lecture Notes in Computer Science 976
902 Lecture Notes in Computer Science 977
903 Database and Expert Systems Applications Lecture Notes in Computer Science 978
904 Algorithms — ESA '95 Lecture Notes in Computer Science 979
905 Lecture Notes in Computer Science 980
906 KI-95: Advances in Artificial Intelligence Lecture Notes in Computer Science 981
907 Lecture Notes in Computer Science 982
908 Static Analysis Lecture Notes in Computer Science 983
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
912 Lecture Notes in Computer Science 987
913 Lecture Notes in Computer Science 988
914 Software Engineering — ESEC '95 Lecture Notes in Computer Science 989
ZUM '95: The Z Formal Specification Notation
Mathematical Foundations of Computer Science 1995
Higher Order Logic Theorem Proving and Its Applications
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
920 Lecture Notes in Computer Science 995
921 Types for Proofs and Programs Lecture Notes in Computer Science 996
922 Algorithmic Learning Theory Lecture Notes in Computer Science 997
923 Lecture Notes in Computer Science 998
924 Hybrid Systems II Lecture Notes in Computer Science 999
925 Computer Science Today Lecture Notes in Computer Science 1000
926 Lecture Notes in Computer Science 1001
927 Lecture Notes in Computer Science 1002
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
931 Lecture Notes in Computer Science 1006
932 Lecture Notes in Computer Science 1007
933 Fast Software Encryption Lecture Notes in Computer Science 1008
934 Lecture Notes in Computer Science 1009
935 Lecture Notes in Computer Science 1010
936 Lecture Notes in Computer Science 1011
937 Lecture Notes in Computer Science 1012
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
938 Deductive and Object-Oriented Databases Lecture Notes in Computer Science 1013
939 Human-Computer Interaction Lecture Notes in Computer Science 1015
940 Active Visual Inference of Surface Shape Lecture Notes in Computer Science 1016
941 Lecture Notes in Computer Science 1017
942 Lecture Notes in Computer Science 1018
943 Lecture Notes in Computer Science 1019
944 Progress in Case-Based Reasoning Lecture Notes in Computer Science 1020
945 Lecture Notes in Computer Science 1021
946 Lecture Notes in Computer Science 1022
947 Algorithms, Concurrency and Knowledge Lecture Notes in Computer Science 1023
948 Lecture Notes in Computer Science 1024
949 Cryptography and Coding Lecture Notes in Computer Science 1025
950 Lecture Notes in Computer Science 1026
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
954 Lecture Notes in Computer Science 1030
955 Ada in Europe Lecture Notes in Computer Science 1031
956 Lecture Notes in Computer Science 1032
957 Lecture Notes in Computer Science 1144
958 Lecture Notes in Computer Science 1033
959 Constraint Databases and Application Lecture Notes in Computer Science 1034
Graph-Theoretic Concepts in Computer Science
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
Foundations of Software Technology and Theoretical Computer Science
Computer Aided Systems Theory — EUROCAST '95
Partial-Order Methods for the Verification of Concurrent Systems
Object Representation in Computer Vision II
Languages and Compilers for Parallel Computing
960 Recent Developments in Computer Vision Lecture Notes in Computer Science 1035
961 Lecture Notes in Computer Science 1036
962 Lecture Notes in Computer Science 1037
963 Agents Breaking Away Lecture Notes in Computer Science 1038
964 Fast Software Encryption Lecture Notes in Computer Science 1039
965 Lecture Notes in Computer Science 1040
966 Lecture Notes in Computer Science 1041
967 Lecture Notes in Computer Science 1042
968 Logics for Concurrency Lecture Notes in Computer Science 1043
969 Lecture Notes in Computer Science 1044
970 Lecture Notes in Computer Science 1045
971 STACS 96 Lecture Notes in Computer Science 1046
972 Time Structures Lecture Notes in Computer Science 1047
973 Lecture Notes in Computer Science 1048
974 Lecture Notes in Computer Science 1049
975 Extensions of Logic Programming Lecture Notes in Computer Science 1050
976 Lecture Notes in Computer Science 1051
977 Lecture Notes in Computer Science 1052
978 Term Indexing Lecture Notes in Computer Science 1053
979 Lecture Notes in Computer Science 1054
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
980 Lecture Notes in Computer Science 1055
981 Lecture Notes in Computer Science 1056
982 Lecture Notes in Computer Science 1057
983 Lecture Notes in Computer Science 1058
984 Lecture Notes in Computer Science 1059
985 Compiler Construction Lecture Notes in Computer Science 1060
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
992 Lecture Notes in Computer Science 1067
993 Parallel Symbolic Languages and Systems Lecture Notes in Computer Science 1068
994 Lecture Notes in Computer Science 1069
995 Advances in Cryptology — EUROCRYPT ’96 Lecture Notes in Computer Science 1070
996 Lecture Notes in Computer Science 1071
997 Lecture Notes in Computer Science 1072
998 Lecture Notes in Computer Science 1073
Tools and Algorithms for the Construction and Analysis of Systems
Communication and Cooperation in Agent Systems
Advances in Database Technology — EDBT '96
Programming Languages and Systems — ESOP '96
Trees in Algebra and Programming — CAAP '96
High-Performance Computing and Networking
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
999 Lecture Notes in Computer Science 1074
1000 Combinatorial Pattern Matching Lecture Notes in Computer Science 1075
1001 Advances in Knowledge Acquisition Lecture Notes in Computer Science 1076
1002 Lecture Notes in Computer Science 1077
1003 Studies of Software Design Lecture Notes in Computer Science 1078
1004 Foundations of Intelligent Systems Lecture Notes in Computer Science 1079
1005 Lecture Notes in Computer Science 1080
1006 Advances in Artifical Intelligence Lecture Notes in Computer Science 1081
1007 Lecture Notes in Computer Science 1082
1008 Lecture Notes in Computer Science 1083
1009 Lecture Notes in Computer Science 1084
1010 Practical Reasoning Lecture Notes in Computer Science 1085
1011 Intelligent Tutoring Systems Lecture Notes in Computer Science 1086
1012 Lecture Notes in Computer Science 1087
1013 Lecture Notes in Computer Science 1088
1014 Bounded Incremental Computation Lecture Notes in Computer Science 10891015 Computing and Combinatorics Lecture Notes in Computer Science 1090
1016 Application and Theory of Petri Nets 1996 Lecture Notes in Computer Science 1091
1017 Computer Science Logic Lecture Notes in Computer Science 1092
1018 Reasoning with Uncertainty in Robotics Lecture Notes in Computer Science 1093
1019 Advances in Databases Lecture Notes in Computer Science 1094
1020 Lecture Notes in Computer Science 1095
1021 Lecture Notes in Computer Science 1096
Higher-Order Algebra, Logic, and Term Rewriting
Multimedia, Hypermedia, and Virtual Reality Models, Systems, and Applications
Advanced Information Systems Engineering
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
1022 Lecture Notes in Computer Science 1096
1023 Algorithm Theory — SWAT'96 Lecture Notes in Computer Science 1097
1024 Lecture Notes in Computer Science 1098
1025 Automata, Languages and Programming Lecture Notes in Computer Science 1099
1026 Digital Signature Schemes Lecture Notes in Computer Science 1100
1027 Lecture Notes in Computer Science 1101
1028 Computer Aided Verification Lecture Notes in Computer Science 1102
1029 Rewriting Techniques and Applications Lecture Notes in Computer Science 1103
1030 Automated Deduction — Cade-13 Lecture Notes in Computer Science 1104
1031 Lecture Notes in Computer Science 1105
1032 Over-Constrained Systems Lecture Notes in Computer Science 1106
1033 Lecture Notes in Computer Science 1107
1034 Lecture Notes in Computer Science 1108
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
1039 Lecture Notes in Computer Science 1113
1040 PRICAI'96: Topics in Artificial Intelligence Lecture Notes in Computer Science 1114
1041 Lecture Notes in Computer Science 1115
1042 Lecture Notes in Computer Science 1116
1043 Lecture Notes in Computer Science 1117
1044 Lecture Notes in Computer Science 1118
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
Mathematical Foundations of Computer Science 1996
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
1047 Lecture Notes in Computer Science 1121
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
1053 Parallel Computation Lecture Notes in Computer Science 1127
1054 Lecture Notes in Computer Science 1128
1055 Advanced Functional Programming Lecture Notes in Computer Science 1129
1056 Recent Trends in Data Type Specification Lecture Notes in Computer Science 1130
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
1060 Database and Expert Systems Applications Lecture Notes in Computer Science 1134
1061 Lecture Notes in Computer Science 1135
1062 Algorithms — ESA '96 Lecture Notes in Computer Science 1136
1063 KI-96: Advances in Artificial Intelligence Lecture Notes in Computer Science 1137
1064 Lecture Notes in Computer Science 1138
1065 Algebraic and Logic Programming Lecture Notes in Computer Science 1139
1066 Lecture Notes in Computer Science 1140
Advances in Structural and Syntactical Pattern Recognition
Design and Implementation of Symbolic Computation Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
Artificial Intelligence and Symbolic Mathematical Computation
Programming Languages: Implementations, Logics, and Programs
1067 Lecture Notes in Computer Science 1141
1068 Lecture Notes in Computer Science 1142
1069 Evolutionary Computing Lecture Notes in Computer Science 1143
1070 Static Analysis Lecture Notes in Computer Science 1145
1071 Computer Security — ESORICS 96 Lecture Notes in Computer Science 1146
1072 Lecture Notes in Computer Science 1147
1073 Lecture Notes in Computer Science 1148
1074 Software Process Technology Lecture Notes in Computer Science 1149
1075 Dependable Computing — EDCC-2 Lecture Notes in Computer Science 1150
1076 Distributed Algorithms Lecture Notes in Computer Science 1151
1077 Lecture Notes in Computer Science 1152
1078 Lecture Notes in Computer Science 1153
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
1083 Types for Proofs and Programs Lecture Notes in Computer Science 1158
1084 Advances in Artificial Intelligence Lecture Notes in Computer Science 1159
1085 Algorithmic Learning Theory Lecture Notes in Computer Science 1160
1086 Lecture Notes in Computer Science 1161
1087 Lecture Notes in Computer Science 1162
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
1095 Lecture Notes in Computer Science 1170
1096 Lecture Notes in Computer Science 1171
1097 Information Security and Privacy Lecture Notes in Computer Science 1172
1098 Lecture Notes in Computer Science 1173
1099 Information Hiding Lecture Notes in Computer Science 1174
1100 Lecture Notes in Computer Science 1175
1101 Discrete Geometry for Computer Imagery Lecture Notes in Computer Science 1176
1102 The Design of Intelligent Agents Lecture Notes in Computer Science 1177
1103 Algorithms and Computation Lecture Notes in Computer Science 1178
1104 Lecture Notes in Computer Science 1179
1105 Lecture Notes in Computer Science 1180
1106 Perspectives of System Informatics Lecture Notes in Computer Science 1181
1107 Lecture Notes in Computer Science 1182
1108 Database Issues for Data Visualization Lecture Notes in Computer Science 1183
1109 Lecture Notes in Computer Science 1184
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
Foundations of Software Technology and Theoretical Computer Science
Optimization of SQL Queries for Parallel Machines
Applied Parallel Computing Industrial Computation and Optimization
1110 Lecture Notes in Computer Science 1185
1111 Database Theory — ICDT '97 Lecture Notes in Computer Science 11861112 Nonmonotonic Logics Lecture Notes in Computer Science 1187
1113 Lecture Notes in Computer Science 1188
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/BFb0029350
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
http://dx.doi.org/10.1007/BFb0015170
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
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/BFb0023017
http://dx.doi.org/10.1007/BFb0023017
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/BFb0021159
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/BFb0029515
http://dx.doi.org/10.1007/BFb0029515
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/BFb0025364
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/BFb0021415
http://dx.doi.org/10.1007/BFb0016936
http://dx.doi.org/10.1007/3-540-08442-8http://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
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/BFb0031367
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/BFb0022491
http://dx.doi.org/10.1007/BFb0040157
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-10233-7http://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
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/BFb0017288
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
http://dx.doi.org/10.1007/3-540-10704-5http://dx.doi.org/10.1007/3-540-10286-8
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
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/BFb0105105
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/BFb0035014
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
http://dx.doi.org/10.1007/BFb0022481
http://dx.doi.org/10.1007/BFb0025769
S. B. Yao, S. B. Navathe, J. L. Weldon, T. L. Kunii http://dx.doi.org/10.1007/3-540-11214-6
http://dx.doi.org/10.1007/3-540-11215-4http://dx.doi.org/10.1007/3-540-11490-4
R. L. Constable, S. D. Johnson, C. D. Eichenlaub 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
http://dx.doi.org/10.1007/BFb0000048
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/BFb0014927
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/BFb0036892
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/BFb0051556
http://dx.doi.org/10.1007/3-540-12689-9http://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/BFb0014770
http://dx.doi.org/10.1007/BFb0023974http://dx.doi.org/10.1007/BFb0032823
http://dx.doi.org/10.1007/3-540-13358-5
http://dx.doi.org/10.1007/BFb0048933
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/BFb0030285
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-15204-0http://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
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-15641-0http://dx.doi.org/10.1007/3-540-15648-8
http://dx.doi.org/10.1007/BFb0015725
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-15983-5http://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/BFb0023988
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
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/BFb0022687
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/BFb0022678
http://dx.doi.org/10.1007/BFb0021681
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
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
http://dx.doi.org/10.1007/BFb0016202
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
http://dx.doi.org/10.1007/BFb0020719
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
http://dx.doi.org/10.1007/BFb0026949
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
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
http://dx.doi.org/10.1007/BFb0055115
Alan Burns, Andrew M. Lister, Andrew J. Wellings http://dx.doi.org/10.1007/3-540-18008-7
http://dx.doi.org/10.1007/BFb0000035
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
http://dx.doi.org/10.1007/BFb0016343
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
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
http://dx.doi.org/10.1007/BFb0022092
Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld
http://dx.doi.org/10.1007/3-540-18771-5
http://dx.doi.org/10.1007/3-540-48184-2http://dx.doi.org/10.1007/BFb0035825
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/BFb0012819
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
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/BFb0040274
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/BFb0020836
http://dx.doi.org/10.1007/BFb0039640
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
http://dx.doi.org/10.1007/3-540-19242-5http://dx.doi.org/10.1007/3-540-19368-5http://dx.doi.org/10.1007/3-540-50011-1
Pierre Deransart, Martin Jourdan, Bernard Lorho http://dx.doi.org/10.1007/BFb0030509
http://dx.doi.org/10.1007/BFb0043582http://dx.doi.org/10.1007/3-540-50403-6
http://dx.doi.org/10.1007/BFb0046097
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/BFb0026091
http://dx.doi.org/10.1007/BFb0039172
http://dx.doi.org/10.1007/BFb0019789
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-19487-8http://dx.doi.org/10.1007/BFb0040367
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/BFb0034284
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/BFb0028968
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
http://dx.doi.org/10.1007/3-540-50871-6http://dx.doi.org/10.1007/3-540-50939-9http://dx.doi.org/10.1007/3-540-50940-2
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
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/BFb0017563
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/BFb0040661
http://dx.doi.org/10.1007/3-540-51305-1http://dx.doi.org/10.1007/BFb0042344
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/BFb0018340
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
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
http://dx.doi.org/10.1007/BFb0035746
http://dx.doi.org/10.1007/BFb0013106
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
http://dx.doi.org/10.1007/BFb0017213
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
http://dx.doi.org/10.1007/BFb0015922
http://dx.doi.org/10.1007/BFb0015032
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
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
http://dx.doi.org/10.1007/3-540-52494-0http://dx.doi.org/10.1007/BFb0014843
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
http://dx.doi.org/10.1007/BFb0040434http://dx.doi.org/10.1007/3-540-52497-5
J. W. Bakker, W. -P. Roever, G. Rozenberg http://dx.doi.org/10.1007/3-540-52559-9
http://dx.doi.org/10.1007/3-540-52590-4http://dx.doi.org/10.1007/3-540-52592-0
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/BFb0039045
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/BFb0029591
http://dx.doi.org/10.1007/BFb0030344
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
http://dx.doi.org/10.1007/BFb0024148
M. Main, A. Melton, M. Mislove, D. Schmidt http://dx.doi.org/10.1007/BFb0040251
http://dx.doi.org/10.1007/BFb0032016
http://dx.doi.org/10.1007/BFb0020908
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
http://dx.doi.org/10.1007/3-540-53397-4http://dx.doi.org/10.1007/3-540-53065-7
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
http://dx.doi.org/10.1007/BFb0019984
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/BFb0019954
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/BFb0042320
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/BFb0018485
http://dx.doi.org/10.1007/3-540-54103-9
Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
http://dx.doi.org/10.1007/BFb0018512
http://dx.doi.org/10.1007/BFb0019352http://dx.doi.org/10.1007/3-540-54132-2
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
Shojiro Sakata 1991 Springer
A. Endres, H. Weber 1991 Springer
Helmut Schmidt 1991 Springer
Grzegorz Rozenberg 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-54099-7http://dx.doi.org/10.1007/BFb0032916
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
http://dx.doi.org/10.1007/BFb0013452
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
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
http://dx.doi.org/10.1007/BFb0024280
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/BFb0035870
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
http://dx.doi.org/10.1007/BFb0057011
Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro http://dx.doi.org/10.1007/BFb0028243
http://dx.doi.org/10.1007/BFb0019965http://dx.doi.org/10.1007/3-540-54458-5
Alfred J. Menezes, Scott A. Vanstone http://dx.doi.org/10.1007/3-540-38424-3
http://dx.doi.org/10.1007/BFb0018265
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/BFb0019994
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/BFb0038178
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/BFb0024513
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/BFb0013516
http://dx.doi.org/10.1007/3-540-55092-5
http://dx.doi.org/10.1007/3-540-55124-7http://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
http://dx.doi.org/10.1007/BFb0022706http://dx.doi.org/10.1007/3-540-55426-2
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/BFb0035121
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
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
Grzegorz Rozenberg 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/BFb0053026
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
http://dx.doi.org/10.1007/BFb0017495http://dx.doi.org/10.1007/3-540-56282-6
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
http://dx.doi.org/10.1007/BFb0013814
Maurice Bruynooghe, Martin Wirsing http://dx.doi.org/10.1007/3-540-55844-6
http://dx.doi.org/10.1007/BFb0017181http://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/BFb0084777
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/BFb0023753
http://dx.doi.org/10.1007/3-540-55984-1
http://dx.doi.org/10.1007/BFb0013875
http://dx.doi.org/10.1007/3-540-56039-4http://dx.doi.org/10.1007/3-540-56188-9
Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater
http://dx.doi.org/10.1007/BFb0013888
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/BFb0037093
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
J. W. Bakker, W. -P. Roever, G. Rozenberg 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
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
http://dx.doi.org/10.1007/BFb0018988
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
http://dx.doi.org/10.1007/3-540-56689-9http://dx.doi.org/10.1007/3-540-56694-5
http://dx.doi.org/10.1007/BFb0017553
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
http://dx.doi.org/10.1007/BFb0021709
Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber
http://dx.doi.org/10.1007/BFb0029791
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/BFb0013776
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
http://dx.doi.org/10.1007/BFb0021884
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
http://dx.doi.org/10.1007/BFb0029813
http://dx.doi.org/10.1007/BFb0019371
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
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
http://dx.doi.org/10.1007/BFb0013162
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-57273-2http://dx.doi.org/10.1007/3-540-57287-2http://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
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
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
http://dx.doi.org/10.1007/BFb0019384
Michael Clarke, Rudolf Kruse, Serafín Moral http://dx.doi.org/10.1007/BFb0028174
http://dx.doi.org/10.1007/BFb0018643
http://dx.doi.org/10.1007/BFb0019396
http://dx.doi.org/10.1007/BFb0017602http://dx.doi.org/10.1007/3-540-57418-2
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
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/BFb0014012
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/BFb0027534
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-57671-1http://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
http://dx.doi.org/10.1007/3-540-57739-4http://dx.doi.org/10.1007/3-540-48329-2
http://dx.doi.org/10.1007/BFb0020017
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/BFb0017469
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
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
http://dx.doi.org/10.1007/BFb0020340
http://dx.doi.org/10.1007/3-540-58025-5http://dx.doi.org/10.1007/BFb0030531
Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
http://dx.doi.org/10.1007/3-540-58027-1
J. W. Bakker, W. -P. Roever, G. Rozenberg http://dx.doi.org/10.1007/3-540-58043-3
http://dx.doi.org/10.1007/BFb0020328
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-58179-0http://dx.doi.org/10.1007/BFb0052172
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
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
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
Jean-Pierre Jouannaud 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
http://dx.doi.org/10.1007/BFb0030541
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/BFb0014992
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
http://dx.doi.org/10.1007/3-540-48658-5http://dx.doi.org/10.1007/3-540-48661-5
Igor Prívara, Branislav Rovan, Peter Ruzička http://dx.doi.org/10.1007/3-540-58338-6
http://dx.doi.org/10.1007/BFb0045375
http://dx.doi.org/10.1007/3-540-58355-6
Manuel Hermenegildo, Jaan Penjam http://dx.doi.org/10.1007/3-540-58402-1
http://dx.doi.org/10.1007/BFb0016839
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
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
http://dx.doi.org/10.1007/3-540-58485-4http://dx.doi.org/10.1007/3-540-58483-8
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/BFb0017590
http://dx.doi.org/10.1007/BFb0021138
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
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/BFb0030129
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/BFb0025866
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/BFb0035799
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/BFb0026561
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-59286-5http://dx.doi.org/10.1007/3-540-59205-9
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
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/BFb0031909
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
http://dx.doi.org/10.1007/3-540-59451-5http://dx.doi.org/10.1007/3-540-59449-3
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
http://dx.doi.org/10.1007/BFb0022242
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-60045-0http://dx.doi.org/10.1007/BFb0000536
http://dx.doi.org/10.1007/3-540-60058-2
http://dx.doi.org/10.1007/BFb0017665
http://dx.doi.org/10.1007/BFb0027185
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
http://dx.doi.org/10.1007/BFb0053418
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/BFb0030813http://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-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
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/BFb0024302
http://dx.doi.org/10.1007/BFb0049099
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-60365-4http://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
http://dx.doi.org/10.1007/3-540-60437-5http://dx.doi.org/10.1007/3-540-60469-3
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/BFb0015232
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/BFb0015452
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
1995 Springer
1995 Springer
Roberto Cipolla 1995 Springer
Manfred Nagl 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/BFb0020515
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/BFb0015477
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/BFb0014187
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/BFb0031841
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
http://dx.doi.org/10.1007/BFb0022212
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/BFb0027114
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/BFb0015518
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
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
http://dx.doi.org/10.1007/BFb0030514
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
http://dx.doi.org/10.1007/BFb0024597
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
http://dx.doi.org/10.1007/BFb0013474
http://dx.doi.org/10.1007/BFb0028290http://dx.doi.org/10.1007/3-540-61332-3
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
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
http://dx.doi.org/10.1007/BFb0053051
Friedhelm Meyer, Burkhard Monien http://dx.doi.org/10.1007/3-540-61440-0
http://dx.doi.org/10.1007/BFb0024619
http://dx.doi.org/10.1007/BFb0014301
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
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
Bengt Jonsson, Joachim Parrow 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
http://dx.doi.org/10.1007/BFb0105392
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/BFb0046929
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
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/BFb0032768
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
http://dx.doi.org/10.1007/BFb0033338
http://dx.doi.org/10.1007/BFb0014474
http://dx.doi.org/10.1007/BFb0017725
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
http://dx.doi.org/10.1007/BFb0031733
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/BFb0019909
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/BFb0022283
1996 Springer
1996 Springer
1996 Springer
1996 Springer
Ian Sommerville 1996 SpringerIan Smith, Boi Faltings 1996 Springer
1996 Springer
Manfred Nagl 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/BFb0035684
http://dx.doi.org/10.1007/BFb0021059
http://dx.doi.org/10.1007/BFb0023281
http://dx.doi.org/10.1007/BFb0015091
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
http://dx.doi.org/10.1007/BFb0017806
Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi, Satoru Miyano, Subhash Suri
http://dx.doi.org/10.1007/BFb0009475
http://dx.doi.org/10.1007/BFb0027773
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
http://dx.doi.org/10.1007/BFb0020710
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
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-62222-5http://dx.doi.org/10.1007/BFb0021104
http://dx.doi.org/10.1007/3-540-62474-0
http://dx.doi.org/10.1007/3-540-62494-5