Computer Science Books

(1)

Sno

Title

Series

Volume

1 5th Conference on Optimization

Techniques Part II Lecture Notes in Computer Science 4

2

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

Lecture Notes in Computer Science 2 3 5th Conference on Optimization

Techniques Part I Lecture Notes in Computer Science 3

4 Computing Methods in Applied Sciences

and Engineering Part 2 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 Simple Program Schemes and Formal

Languages Lecture Notes in Computer Science 20

10 Simple Program Schemes and Formal

11 Compiler Construction Lecture Notes in Computer Science 21

12 Programming Symposium Lecture Notes in Computer Science 19 13 Computing Methods in Applied Sciences

and Engineering Part 1 Lecture Notes in Computer Science 10 14 International Symposium on Theoretical

Programming Lecture Notes in Computer Science 5

15 Matrix Eigensystem Routines — EISPACK

Guide Lecture Notes in Computer Science 6

17 Rechnerstrukturen und

Betriebsprogrammierung Lecture Notes in Computer Science 13 18 Automata, Languages and Programming Lecture Notes in Computer Science 14

(2)

19 Formal Aspects of Cognitive Processes Lecture Notes in Computer Science 22 20 Programming Methodology Lecture Notes in Computer Science 23

21 Parallel Processing Lecture Notes in Computer Science 24

22 Theory of Program Structures: Schemes,

Semantics, Verification Lecture Notes in Computer Science 36 23 Theory of Program Structures: Schemes,

Semantics, Verification Lecture Notes in Computer Science 36 24 Category Theory Applied to Computation

and Control Lecture Notes in Computer Science 25

25 Mathematical Foundations of Computer

Science Lecture Notes in Computer Science 28

26

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

Lecture Notes in Computer Science 32

27

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

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 Optimization Techniques IFIP Technical

Conference Novosibirsk, July 1–7, 1974 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 Optimization Techniques Modeling and

Optimization in the Service of Man Part 1 Lecture Notes in Computer Science 40 36 Optimization Techniques Modeling and

Optimization in the Service of Man Part 2 Lecture Notes in Computer Science 41 37 Complementary Definitions of

(3)

38 An Optimized Translation Process and Its

Application to ALGOL 68 Lecture Notes in Computer Science 38

39 ECI Conference 1976 Lecture Notes in Computer Science 44

Science 1976 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 Methods of Algorithmic Language

Implementation Lecture Notes in Computer Science 47

Guide Extension Lecture Notes in Computer Science 51

46 Automata, Languages and Programming Lecture Notes in Computer Science 52 47 Mathematical Foundations of Computer

48 Design and Implementation of

Programming Languages Lecture Notes in Computer Science 54 49 Mes premières constructions de

programmes Lecture Notes in Computer Science 55

50 Fundamentals of Computation Theory Lecture Notes in Computer Science 56 51 Portability of Numerical Software Lecture Notes in Computer Science 57 52 Computing in systems described by

equations Lecture Notes in Computer Science 58

53 A Concurrent Pascal Compiler for

Minicomputers 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 Natural Language Communication with

Computers Lecture Notes in Computer Science 63

58

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

(4)

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 70 63 Symbolic and Algebraic Computation Lecture Notes in Computer Science 72 64 Graph-Grammars and Their Application to

Computer Science and Biology Lecture Notes in Computer Science 73

65 Edinburgh LCF Lecture Notes in Computer Science 78

67 Mathematical Studies of Information

Processing Lecture Notes in Computer Science 75

68 Codes for Boundary-Value Problems in

Ordinary Differential Equations Lecture Notes in Computer Science 76 69 Architecture of Distributed Computer

Systems Lecture Notes in Computer Science 77

70 Reliability Evaluation of Some

Fault-Tolerant Computer Architectures Lecture Notes in Computer Science 97 71 A Relational Theory of Computing Lecture Notes in Computer Science 82

72 Algebraic semantics Lecture Notes in Computer Science 99

73 Abstract Software Specifications Lecture Notes in Computer Science 86 74

Language Design and Programming

Methodology Proceedings of a Symposium Held in Sydney, Australia, 10–11

September, 1979

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 5th Conference on Automated Deduction

Les Arcs, France, July 8–11, 1980 Lecture Notes in Computer Science 87 79 Mathematical Foundations of Computer

80 Computer Aided Design Modelling, Systems

Engineering, CAD-Systems Lecture Notes in Computer Science 89 81 Using Sophisticated Models in Resolution

Theorem Proving Lecture Notes in Computer Science 90

82 Grammar and L forms: An introduction Lecture Notes in Computer Science 91 83 A Calculus of Communicating Systems Lecture Notes in Computer Science 92 84 Context-free grammars: Covers, normal

(5)

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

86 Coroutines Lecture Notes in Computer Science 95

87

Computer Programs for Spelling Correction: An Experiment in Program Design

88 Digital Image Processing Systems Lecture Notes in Computer Science 109 89 Graphtheoretic Concepts in Computer

90 Theoretical Computer Science Lecture Notes in Computer Science 104 91 The Concurrency Control Problem for

Database Systems Lecture Notes in Computer Science 116

92 Distributed Systems — Architecture and

93 Formalization of Programming Concepts Lecture Notes in Computer Science 107 94 The Adaptation of Virtual Man-Computer

Interfaces to User Requirements in Dialogs Lecture Notes in Computer Science 110 95 Graph Theory and Algorithms Lecture Notes in Computer Science 108 96 Boolean Calculus of Differences Lecture Notes in Computer Science 101 97 Directions in Human Factors for Interactive

98 Y12M Lecture Notes in Computer Science 121

99 Compiler Specification and Verification Lecture Notes in Computer Science 124

100 Logic of Programs Lecture Notes in Computer Science 125

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

103 The Programming Language Ada Reference

Manual 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

(6)

106 Conpar 81 Lecture Notes in Computer Science 111

107 CAAP '81 Lecture Notes in Computer Science 112

108 Stochastic Automata: Stability,

Nondeterminism, and Prediction Lecture Notes in Computer Science 113

109 CLU Reference Manual Lecture Notes in Computer Science 114

110 Automatic Differentiation: Techniques and

Applications Lecture Notes in Computer Science 120

111 Algorithms in Modern Mathematics and

Computer Science 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 Verifying Concurrent Processes Using

Temporal Logic Lecture Notes in Computer Science 129

118 Axiomatising the Logic of Computer

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 133 122 Program Specification Lecture Notes in Computer Science 134 123 An Introduction to the PL/CV2

Programming Logic Lecture Notes in Computer Science 135

124 Group-Theoretic Algorithms and Graph

Isomorphism 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

(7)

129 Problems and Methodologies in

Mathematical Software Production 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 Research and Development in Information

Retrieval Lecture Notes in Computer Science 146

138 RIMS Symposia on Software Science and

Engineering 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 Graph-Grammars and Their Application to

144 Automata, Languages and Programming Lecture Notes in Computer Science 154

145

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

146 Specification and Design of Software

147 Foundations of Computation Theory Lecture Notes in Computer Science 158 148 Large Sparse Numerical Optimization Lecture Notes in Computer Science 165 149 International Symposium on Programming Lecture Notes in Computer Science 167 150 Methods and Tools for Computer

Integrated Manufacturing Lecture Notes in Computer Science 168 151 Feedback Shift Registers Lecture Notes in Computer Science 169

(8)

152 EUROSAM 84 Lecture Notes in Computer Science 174 153 P-Functions and Boolean Matrix

Factorization Lecture Notes in Computer Science 175

154 Programming Languages and Their

Definition Lecture Notes in Computer Science 177

155 Readings on Cognitive Ergonomics — Mind

and Computers Lecture Notes in Computer Science 178

156 How to Multiply Matrices Faster Lecture Notes in Computer Science 179 157 Foundations of Software Technology and

Theoretical Computer Science 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 Logic and Machines: Decision Problems and

Complexity 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 Mathematical Foundations of Computer

164 Ada Software Tools Interfaces Lecture Notes in Computer Science 180 165 The Munich Project CIP Lecture Notes in Computer Science 183 166 Mathematical Foundations of Software

Development Lecture Notes in Computer Science 185

167 Advances in Petri Nets 1984 Lecture Notes in Computer Science 188

168 Paragon Lecture Notes in Computer Science 189

169 Distributed Systems Lecture Notes in Computer Science 190

170 A Survey of Verification Techniques for

Parallel Programs Lecture Notes in Computer Science 191

171 Automata on Infinite Words Lecture Notes in Computer Science 192 172 Logics of Programs Lecture Notes in Computer Science 193 173 Automata, Languages and Programming Lecture Notes in Computer Science 194 174 A Hierarchical Associative Processing

System Lecture Notes in Computer Science 195

(9)

176 Seminar on Concurrency Lecture Notes in Computer Science 197 177 PORTAL Language Description Lecture Notes in Computer Science 198 178 Fundamentals of Computation Theory Lecture Notes in Computer Science 199 179 Trace Theory and VLSJ Design Lecture Notes in Computer Science 200 180 Functional Programming Languages and

Computer Architecture 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 203

183 EUROCAL '85 Lecture Notes in Computer Science 204

184 Foundations of Software Technology and

Theoretical Computer Science Lecture Notes in Computer Science 206

186 Local Area Networks: An Advanced Course Lecture Notes in Computer Science 184 187 Formal Methods and Software

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 194 Programs as Data Objects Lecture Notes in Computer Science 217 195 Mathematical Methods of Specification

and Synthesis of Software Systems '85 Lecture Notes in Computer Science 215 196 Logic Programming '85 Lecture Notes in Computer Science 221 197 Algebraic Algorithms and Error-Correcting

Codes Lecture Notes in Computer Science 229

199 Accurate Scientific Computations Lecture Notes in Computer Science 235 200 TEX for Scientific Documentation Lecture Notes in Computer Science 236 201 Applied Algebra, Algorithmics and

Error-Correcting Codes Lecture Notes in Computer Science 228

202 8th International Conference on

(10)

203 NEWCAT: Parsing Natural Language Using

Left-Associative Grammar 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 Category Theory and Computer

208 Mathematical Foundations of Programming

Semantics Lecture Notes in Computer Science 239

Theoretical Computer Science Lecture Notes in Computer Science 241 210

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

211 ICDT '86 Lecture Notes in Computer Science 243

212 Interval Mathematics 1985 Lecture Notes in Computer Science 212

214 Advances in Cryptology Lecture Notes in Computer Science 209

216 Advances in Cryptology — CRYPTO ’85

Proceedings Lecture Notes in Computer Science 218

217 Advances in Cryptology — EUROCRYPT’ 85 Lecture Notes in Computer Science 219 218 RIMS Symposia on Software Science and

Engineering II 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 Third International Conference on Logic

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 Lectures on the Complexity of Bilinear

(11)

226 Graph-Theoretic Concepts in Computer

228 Networking in Open Systems Lecture Notes in Computer Science 248

229 TAPSOFT '87 Lecture Notes in Computer Science 249

231 Unobstructed Shortest Paths in Polyhedral

Environments Lecture Notes in Computer Science 251

232 ANNA A Language for Annotating Ada

Programs 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 Database Machine Performance: Modeling

Methodologies and Evaluation Strategies Lecture Notes in Computer Science 257 238 PARLE Parallel Architectures and Languages

Europe Lecture Notes in Computer Science 258

239 Parallel Algorithms and Architectures Lecture Notes in Computer Science 269 240 A Connotational Theory of Program

Structure Lecture Notes in Computer Science 273

241 Functional Programming Languages and

Computer Architecture Lecture Notes in Computer Science 274 242 System Development and Ada Lecture Notes in Computer Science 275 243 ECOOP’ 87 European Conference on

Object-Oriented Programming Lecture Notes in Computer Science 276 244 Mathematical Models for the Semantics of

Parallelism Lecture Notes in Computer Science 280

245 Visualization in Programming Lecture Notes in Computer Science 282

(12)

247 Fundamentals of Computation Theory Lecture Notes in Computer Science 278

248 Co-oP Lecture Notes in Computer Science 290

249 Mathematical Models for the Semantics of

Parallelism Lecture Notes in Computer Science 280

250 Uncertainty in Knowledge-Based Systems Lecture Notes in Computer Science 286 251 Translating Relational Queries into Iterative

Programs Lecture Notes in Computer Science 261

252 A Review of Ada Tasking Lecture Notes in Computer Science 262 253 Constrained Global Optimization:

Algorithms and Applications 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 VDM '87 VDM — A Formal Method at

Work Lecture Notes in Computer Science 252

258 WOPPLOT 86 Parallel Processing: Logic,

Organization, and Technology Lecture Notes in Computer Science 253 259 Petri Nets: Central Models and Their

Properties Lecture Notes in Computer Science 254

260 Petri Nets: Central Models and Their

Properties Lecture Notes in Computer Science 254

261 Advances in Cryptology — CRYPTO’ 86 Lecture Notes in Computer Science 263 262 Logic Programming '86 Lecture Notes in Computer Science 264 263 Analogical and Inductive Inference Lecture Notes in Computer Science 265 264 Advances in Petri Nets 1987 Lecture Notes in Computer Science 266 265 Automata, Languages and Programming Lecture Notes in Computer Science 267 266 Trends, Techniques, and Problems in

Theoretical Computer Science Lecture Notes in Computer Science 281 267 Foundations of Software Technology and

268 MetaSoft Primer Lecture Notes in Computer Science 288

269 ESEC '87 Lecture Notes in Computer Science 289

270 Graph-Grammars and Their Application to

(13)

272 STACS 88 Lecture Notes in Computer Science 294 273 Parallel Computing in Science and

Engineering Lecture Notes in Computer Science 295

274 Experiences with Distributed Systems Lecture Notes in Computer Science 309 275 9th International Conference on

Automated Deduction Lecture Notes in Computer Science 310 276 Pattern Recognition Lecture Notes in Computer Science 301 277 Attribute Grammar Inversion and

Source-to-source Translation Lecture Notes in Computer Science 302

278 Advances in Database Technology—EDBT

'88 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

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

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 Formal Techniques in Real-Time and

Fault-Tolerant Systems Lecture Notes in Computer Science 331

289 Computational Geometry and its

290 Advances in Object-Oriented Database

Theoretical Computer Science 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 Compositionality, Concurrency and Partial

Correctness 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 Foundations of Logic and Functional

(14)

299 Coding Theory and Applications Lecture Notes in Computer Science 311 300 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 327

303 CONCURRENCY 88 Lecture Notes in Computer Science 335

304 Efficient Structures for Geometric Data

Management 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

Language Semantics Lecture Notes in Computer Science 298

309 Applicable Algebra, Error-Correcting Codes,

Combinatorics and Computer Algebra Lecture Notes in Computer Science 307 310 Distributed Algorithms Lecture Notes in Computer Science 312 311 Uncertainty and Intelligent Systems Lecture Notes in Computer Science 313 312 Graph-Theoretic Concepts in Computer

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 318

317 VLSI Algorithms and Architectures Lecture Notes in Computer Science 319 318 ECOOP ’88 European Conference on

Object-Oriented Programming Lecture Notes in Computer Science 322 319 Statistical and Scientific Database

320 Software Reliability Modelling and

Identification Lecture Notes in Computer Science 341

322 Parcella '88 Lecture Notes in Computer Science 342

324 Applied Algebra, Algebraic Algorithms and

Error-Correcting Codes Lecture Notes in Computer Science 356 325 Computer Assisted Learning Lecture Notes in Computer Science 360

(15)

326 Nested Relations and Complex Objects in

Databases Lecture Notes in Computer Science 361

327 Synthesizing Synchronous Systems by Static

Scheduling in Space-Time Lecture Notes in Computer Science 362 328 Global Optimization Lecture Notes in Computer Science 350

331

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

Concurrency

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

335 PARLE '89 Parallel Architectures and

Languages Europe Lecture Notes in Computer Science 365

337 Foundations of Data Organization and

Algorithms 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 Modified Branching Programs and Their

Computational Power Lecture Notes in Computer Science 370 341 Compiler Compilers and High Speed

Compilation 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 375 345 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

(16)

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 Concepts, Design, and Performance

Analysis of a Parallel Prolog Machine Lecture Notes in Computer Science 404 361 Automata, Languages and Programming Lecture Notes in Computer Science 372 362 Formal Properties of Finite Automata and

363 Categorical Methods in Computer Science

With Aspects from Topology Lecture Notes in Computer Science 393 364 Finite Reresentations of CCS and TCSP

Programs by Automata and Petri Nets 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 Knowledge Representation and

Organization in Machine Learning Lecture Notes in Computer Science 347 368 Programming Languages Implementation

and Logic Programming Lecture Notes in Computer Science 348 369 Applied Algebra, Algebraic Algorithms and

Error-Correcting Codes Lecture Notes in Computer Science 357 370 High Performance Transaction Systems Lecture Notes in Computer Science 359 371 Electronic Dictionaries and Automata in

Computational Linguistics Lecture Notes in Computer Science 377

372 Eurocal '87 Lecture Notes in Computer Science 378

374 Fundamentals of Computation Theory Lecture Notes in Computer Science 380 375 Machines, Languages, and Complexity Lecture Notes in Computer Science 381

(17)

376 Algebraic Methods: Theory, Tools and

377 Recent Issues in Pattern Analysis and

Recognition Lecture Notes in Computer Science 399

378 Automatic Verification Methods for Finite

State Systems Lecture Notes in Computer Science 407

379 Hardware Specification, Verification and

Synthesis: Mathematical Aspects Lecture Notes in Computer Science 408 380 Design and Implementation of Large Spatial

Databases Lecture Notes in Computer Science 409

381 Computer Aided Systems Theory —

EUROCAST '89 Lecture Notes in Computer Science 410

383 COLOG-88 Lecture Notes in Computer Science 417

384 Statistical and Scientific Database

386 Group Theoretical Methods in Image

Processing Lecture Notes in Computer Science 413

387 LOGLAN '88 — Report on the Programming

Language Lecture Notes in Computer Science 414

389 Advances in Database Technology — EDBT

390 Advances in Petri Nets 1989 Lecture Notes in Computer Science 424 391 Computer Vision — ECCV 90 Lecture Notes in Computer Science 427 392 VDM '90 VDM and Z — Formal Methods in

Software Development Lecture Notes in Computer Science 428 393 Design and Implementation of Symbolic

Computation Systems Lecture Notes in Computer Science 429 394 Software Engineering Education Lecture Notes in Computer Science 423 395 SIL—a Simulation Language Lecture Notes in Computer Science 426 396 Stepwise Refinement of Distributed

Systems Models, Formalisms, Correctness Lecture Notes in Computer Science 430

399 Progress in Distributed Operating Systems

(18)

400 Advanced Information Systems Engineering Lecture Notes in Computer Science 436 401 Advances in Cryptology — CRYPTO’ 89

Proceedings Lecture Notes in Computer Science 435

402 Computer Assisted Learning Lecture Notes in Computer Science 438

404 CONCUR '90 Theories of Concurrency:

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

406 Algorithms Lecture Notes in Computer Science 450

408 Advances in Cryptology — AUSCRYPT '90 Lecture Notes in Computer Science 453 409 Combinatorics on Traces Lecture Notes in Computer Science 454 410

A Collection of Test Problems for Constrained Global Optimization Algorithms

411 Programming Language Implementation

and Logic Programming Lecture Notes in Computer Science 456 412 Parallel Lisp: Languages and Systems Lecture Notes in Computer Science 441 413 Mathematical Foundations of Programming

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 Aspects and Prospects of Theoretical

419 Database Systems of the 90s Lecture Notes in Computer Science 466 420 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 Semantics of Systems of Concurrent

(19)

424 Efficient Query Processing in Geographic

Information Systems Lecture Notes in Computer Science 471 425 Advances in Computing and Information —

ICCI '90 Lecture Notes in Computer Science 468

426 Software Engineering Environments Lecture Notes in Computer Science 467 427 Visualization in Human-Computer

Interaction Lecture Notes in Computer Science 439

428 A Formal Model of Visualization in

Computer Graphics Systems Lecture Notes in Computer Science 421 429 Fault-Tolerant Distributed Computing Lecture Notes in Computer Science 448 430 Natural Language and Logic Lecture Notes in Computer Science 459 431 A Systematic Catalogue of Reusable

Abstract Data Types Lecture Notes in Computer Science 460 432 Algebraic and Logic Programming Lecture Notes in Computer Science 463

Theoretical Computer Science Lecture Notes in Computer Science 472 435 Advances in Cryptology — EUROCRYPT ’90 Lecture Notes in Computer Science 473 436 Information Systems and Artificial

Intelligence: Integration Aspects Lecture Notes in Computer Science 474 437 Compiler Compilers Lecture Notes in Computer Science 477

442 Parallel Problem Solving from Nature Lecture Notes in Computer Science 496 443 Advances in Computing and Information —

ICCI '91 Lecture Notes in Computer Science 497

444 Advanced Information Systems Engineering Lecture Notes in Computer Science 498 445 Ada: The Choice for '92 Lecture Notes in Computer Science 499 446 On the Computational Geometry of Pocket

Machining Lecture Notes in Computer Science 500

447 Algebraic system specification and

development Lecture Notes in Computer Science 501

(20)

449 Parallel Database Systems Lecture Notes in Computer Science 503 450 Next Generation Information System

Technology Lecture Notes in Computer Science 504

Error-Correcting Codes Lecture Notes in Computer Science 508 454 Software Development Environments and

CASE Technology Lecture Notes in Computer Science 509

455 Meta-Level Control for Deductive Database

456 Advances in Petri Nets 1990 Lecture Notes in Computer Science 483 457 Graph-Theoretic Concepts in Computer

458 Distributed Algorithms Lecture Notes in Computer Science 486 459 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 Algebraic Methods II: Theory, Tools and

463 Concurrency: Theory, Language, and

Architecture Lecture Notes in Computer Science 491

464 Computer-Aided Cooperative Product

465 Uncertainty in Knowledge Bases Lecture Notes in Computer Science 521 466 Functional Programming Languages and

Computer Architecture 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 Programming Language Implementation

and Logic Programming Lecture Notes in Computer Science 528

(21)

472 Computer-Aided Verification Lecture Notes in Computer Science 531 473 Graph Grammars and Their Application to

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

A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems

Error-Correcting Codes Lecture Notes in Computer Science 539 479 Artificial Neural Networks Lecture Notes in Computer Science 540 480 Attribute Grammars, Applications and

481 Symbolic and Quantitative Approaches to

Uncertainty 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 ECOOP'91 European Conference on

Object-Oriented Programming 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 524 487 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

492 VDM'91 Formal Software Development

Methods Lecture Notes in Computer Science 551

493 VDM '91 Formal Software Development

494 Computational Geometry-Methods,

(22)

495 The Problem of Incomplete Information in

Relational Databases Lecture Notes in Computer Science 554 496 New Results and New Trends in Computer

497 ISA'91 Algorithms Lecture Notes in Computer Science 557

499 Conclog: A Methodological Approach to

Concurrent Logic Programming Lecture Notes in Computer Science 556 500 Specification and Compositional

Verification of Real-Time Systems Lecture Notes in Computer Science 558 501 Fundamental Algorithms for Permutation

Groups Lecture Notes in Computer Science 559

Theoretical Computer Science Lecture Notes in Computer Science 560 503

Algebraic Specification Techniques in Object Oriented Programming Environments

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 The Use of Projective Geometry in

Computer Graphics Lecture Notes in Computer Science 564

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 Formal Techniques in Real-Time and

Fault-Tolerant Systems Lecture Notes in Computer Science 571

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

(23)

519 STACS 92 Lecture Notes in Computer Science 577 520 Public-Key Cryptography: State of the Art

and Future Directions 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 Advances in Database Technology — EDBT

526 LATIN '92 Lecture Notes in Computer Science 583

527 Algebraic Coding Lecture Notes in Computer Science 573

528 Reasearch Directions in High-Level Parallel

Programming Languages Lecture Notes in Computer Science 574 529 Computer Algebra and Parallelism Lecture Notes in Computer Science 584 530 Computer Aided Systems Theory —

531 Parallel Execution of Parlog Lecture Notes in Computer Science 586 532 Computer Vision — ECCV'92 Lecture Notes in Computer Science 588 533 Languages and Compilers for Parallel

Computing Lecture Notes in Computer Science 589

534 Parallel Computation Lecture Notes in Computer Science 591 535 Advanced Information Systems Engineering 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

541 Real-Time: Theory in Practice Lecture Notes in Computer Science 600 542 Constructivity in Computer Science Lecture Notes in Computer Science 613 543 Network and Operating System Support for

Digital Audio and Video Lecture Notes in Computer Science 614 544 ECOOP ’92 European Conference on

(24)

545 Theory of Computing and Systems Lecture Notes in Computer Science 601 546 Computer Assisted Learning Lecture Notes in Computer Science 602 547 Ada: Moving Towards 2000 Lecture Notes in Computer Science 603 548 The Nested Universal Relation Database

Model Lecture Notes in Computer Science 595

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 635 553 Meta-Programming in Logic Lecture Notes in Computer Science 649 554 Algorithms and Computation Lecture Notes in Computer Science 650

555 Specifying Message Passing and

Time-Critical Systems with Temporal Logic Lecture Notes in Computer Science 651 556 Algebraic and Logic Programming Lecture Notes in Computer Science 632 557 Programming Language Implementation

558 Memory Management Lecture Notes in Computer Science 637

559 Relational Matching Lecture Notes in Computer Science 628 560 Mathematical Foundations of Computer

561 CONCUR '92 Lecture Notes in Computer Science 630

562 Modular Construction and Partial Order

Semantics of Petri Nets 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 Hyperedge Replacement: Grammars and

566 Database Theory — ICDT '92 Lecture Notes in Computer Science 646 567 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 570 Entity-Relationship Approach — ER '92 Lecture Notes in Computer Science 645 571 Theories and Methods of Spatio-Temporal

(25)

572 Software Engineering Education Lecture Notes in Computer Science 640 573 Combinatorial Pattern Matching Lecture Notes in Computer Science 644 574 Foundations of Software Technology and

Theoretical Computer Science 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 Lexical Semantics and Knowledge

Representation Lecture Notes in Computer Science 627

579 Future Tendencies in Computer Science,

Control and Applied Mathematics 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 Performance Evaluation of Computer and

Communication Systems Lecture Notes in Computer Science 729 583 Conditional Term Rewriting Systems Lecture Notes in Computer Science 656 584 Graph-Theoretic Concepts in Computer

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 Machine Learning: From Theory to

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

593 Semantics: Foundations and Applications Lecture Notes in Computer Science 666 594 Machine Learning: ECML-93 Lecture Notes in Computer Science 667 595 TAPSOFT'93: Theory and Practice of

(26)

596 Mathematics of Program Construction Lecture Notes in Computer Science 669 597 FME '93: Industrial-Strength Formal

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 Applied Algebra, Algebraic Algorithms and

Error-Correcting Codes Lecture Notes in Computer Science 673 601 Advances in Petri Nets 1993 Lecture Notes in Computer Science 674 602 Live Data Structures in Logic Programs Lecture Notes in Computer Science 675 603 Recognizing Planar Objects Using Invariant

Image Features Lecture Notes in Computer Science 676

604 Word Equations and Related Topics Lecture Notes in Computer Science 677 605 Parallel Architectures and Their Efficient

Use Lecture Notes in Computer Science 678

606 Resolution Methods for the Decision

Problem Lecture Notes in Computer Science 679

607 Program Development by Specification and

Transformation Lecture Notes in Computer Science 680

608 The Logic of Information Structures Lecture Notes in Computer Science 681 609 IPMU '92—Advanced Methods in Artificial

Intelligence Lecture Notes in Computer Science 682

610 Correct Hardware Design and Verification

611 Combinatorial Pattern Matching Lecture Notes in Computer Science 684 612 Advanced Information Systems Engineering 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

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 Functional Programming, Concurrency,

(27)

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 Logic Programming and Automated

Reasoning Lecture Notes in Computer Science 698

625 Conceptual Graphs for Knowledge

Representation Lecture Notes in Computer Science 699

626 Automata, Languages and Programming Lecture Notes in Computer Science 700 627 LOGIDATA+: Deductive Databases with

Complex Objects Lecture Notes in Computer Science 701

628 Computer Science Logic Lecture Notes in Computer Science 702 629 Ray Shooting, Depth Orders and Hidden

Surface Removal Lecture Notes in Computer Science 703

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

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

632 Experimental Software Engineering Issues:

Critical Assessment and Future Directions Lecture Notes in Computer Science 706 633 ECOOP’ 93 — Object-Oriented

634 Geometric Reasoning for Perception and

Action 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 637 Mathematical Foundations of Computer

638 Network and Operating System Support for

Digital Audio and Video Lecture Notes in Computer Science 712 639 Computational Logic and Proof Theory Lecture Notes in Computer Science 713 640 Progamming Language Implementation

(28)

642 Spatial Information Theory A Theoretical

Basis for GIS 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 Design and Implementation of Symbolic

Computation Systems Lecture Notes in Computer Science 721 648 Design and Implementation of Symbolic

Computation Systems Lecture Notes in Computer Science 722 649 Knowledge Acquisition for

Knowledge-Based Systems Lecture Notes in Computer Science 723

650 Static Analysis Lecture Notes in Computer Science 724

651 Algorithms—ESA '93 Lecture Notes in Computer Science 726 652 Progress in Artificial Intelligence Lecture Notes in Computer Science 727 653 Advances in Artificial Intelligence Lecture Notes in Computer Science 728 654 Foundations of Data Organization and

Algorithms Lecture Notes in Computer Science 730

655

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

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 Formal Methods in Programming and Their

660 Hybrid Systems Lecture Notes in Computer Science 736

661 Artificial Intelligence and Symbolic

Mathematical Computing 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 Computer Security and Industrial

(29)

666 Object Technologies for Advanced

Software 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 Symbolic and Quantitative Approaches to

Reasoning and Uncertainty Lecture Notes in Computer Science 747 672 Parallel Symbolic Computing: Languages,

Systems, and Applications 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 750 675 Spatio-Temporal Image Processing Lecture Notes in Computer Science 751 676 Information and Knowledge Management

Expanding the Definition of “Database” Lecture Notes in Computer Science 752 677 Human-Computer Interaction Lecture Notes in Computer Science 753 678 Conceptual Structures: Theory and

679 Formal Program Development Lecture Notes in Computer Science 755 680 Design of Hashing Algorithms Lecture Notes in Computer Science 756 681 Languages and Compilers for Parallel

682 Towards Dynamic Randomized Algorithms

in Computational Geometry 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 Foundations of Software Technology and

Theoretical Computer Science Lecture Notes in Computer Science 761 686 Algorithms and Computation Lecture Notes in Computer Science 762

(30)

687 Types for Proofs and Programs Lecture Notes in Computer Science 806 688 High-Performance Computing and

Networking 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 819 691 Computer Vision — ECCV '94 Lecture Notes in Computer Science 800 692 Computer Vision — ECCV '94 Lecture Notes in Computer Science 801 693 Object-Oriented Methodologies and

694 Algorithms — ESA '94 Lecture Notes in Computer Science 855 695 Distributed Algorithms Lecture Notes in Computer Science 857 696 Compiler Construction Lecture Notes in Computer Science 786 697 Advanced Information Systems Engineering Lecture Notes in Computer Science 811 698 Computer Aided Systems Theory —

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 Languages and Compilers for Parallel

704 The Newton-Cauchy Framework Lecture Notes in Computer Science 769 705 Representing Plans Under Uncertainty Lecture Notes in Computer Science 770 706 Visualization of Scientific Parallel Programs Lecture Notes in Computer Science 771 707 Software Process Technology Lecture Notes in Computer Science 772 708 Advances in Cryptology — CRYPTO’ 93 Lecture Notes in Computer Science 773 709 Hardware and Software Architectures for

Fault Tolerance Lecture Notes in Computer Science 774

711 Graph Transformations in Computer

712 Management and Processing of Complex

Data Structures Lecture Notes in Computer Science 777

713 Algorithms and Complexity Lecture Notes in Computer Science 778 714 Advances in Database Technology — EDBT

(31)

715 Higher Order Logic Theorem Proving and

Its Applications Lecture Notes in Computer Science 780

716 Algebraic Coding Lecture Notes in Computer Science 781

717 Programming Languages and System

Architectures Lecture Notes in Computer Science 782

718 Mobile Communications Advanced Systems

and Components 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 Trees in Algebra and Programming —

CAAP'94 Lecture Notes in Computer Science 787

722 Programming Languages and Systems —

ESOP '94 Lecture Notes in Computer Science 788

723 Theoretical Aspects of Computer Software Lecture Notes in Computer Science 789 724 Graph-Theoretic Concepts in Computer

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 Computer Performance Evaluation

Modelling Techniques and Tools Lecture Notes in Computer Science 794 729 FM8501: A Verified Microprocessor Lecture Notes in Computer Science 795 730 High-Performance Computing and

731 Extensions of Logic Programming Lecture Notes in Computer Science 798 732 Multiagent Systems Lecture Notes in Computer Science 799 733 Mathematical Foundations of Programming

734 A Decade of Concurrency Reflections and

Perspectives Lecture Notes in Computer Science 803

735 Qualitative Representation of Spatial

Knowledge Lecture Notes in Computer Science 804

736 Parallel and Distributed Computing Theory

and Practice Lecture Notes in Computer Science 805

737 Combinatorial Pattern Matching Lecture Notes in Computer Science 807 738 Knowledge Representation and Reasoning

(32)

739 Fast Software Encryption Lecture Notes in Computer Science 809 740 Foundations of Knowledge Representation

and Reasoning Lecture Notes in Computer Science 810

741 Results and Trends in Theoretical

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 Higher-Order Algebra, Logic, and Term

Rewriting Lecture Notes in Computer Science 816

746 PARLE'94 Parallel Architectures and

747 Computer Aided Verification Lecture Notes in Computer Science 818 748 Object-Oriented Programming Lecture Notes in Computer Science 821 749 Logic Programming and Automated

750 Entity-Relationship Approach — ER '93 Lecture Notes in Computer Science 823 751 Algorithm Theory — SWAT '94 Lecture Notes in Computer Science 824 752 Applications of Invariance in Computer

Vision Lecture Notes in Computer Science 825

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 Error Control, Cryptology, and Speech

Compression 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

(33)

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 839 767 The Traveling Salesman Lecture Notes in Computer Science 840 768 Mathematical Foundations of Computer

769 Treewidth Lecture Notes in Computer Science 842

770 Turing Machines with Sublogarithmic Space Lecture Notes in Computer Science 843 771 Programming Language Implementation

and Logic Programming Lecture Notes in Computer Science 844 772 Constraints in Computational Logics Lecture Notes in Computer Science 845 773 Network and Operating System Support for

Digital Audio and Video Lecture Notes in Computer Science 846 774 Fuzzy Logic in Artificial Intelligence Lecture Notes in Computer Science 847 775 Numerical Integration on Advanced

Computer Systems Lecture Notes in Computer Science 848

776 Field-Programmable Logic Architectures,

Synthesis and Applications Lecture Notes in Computer Science 849 777 Algebraic and Logic Programming Lecture Notes in Computer Science 850 778

Towards a Pan-European

Telecommunication Service Infrastructure — IS&N '94

Lecture Notes in Computer Science 851 779 Dependable Computing — EDCC-1 Lecture Notes in Computer Science 852 780 Parallel Computer Routing and

Communication 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 Higher Order Logic Theorem Proving and

Its Applications 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 Formal Techniques in Real-Time and

(34)

788 Static Analysis Lecture Notes in Computer Science 864 789 Evolutionary Computing Lecture Notes in Computer Science 865 790 Parallel Problem Solving from Nature —

PPSN III Lecture Notes in Computer Science 866

791 A Future for Knowledge Acquisition Lecture Notes in Computer Science 867 792 Multimedia: Advanced Teleservices and

High-Speed Communication Architectures Lecture Notes in Computer Science 868 793 Methodologies for Intelligent Systems Lecture Notes in Computer Science 869 794 Distributed Programming Paradigms with

Cryptography Applications 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 FME '94: Industrial Benefit of Formal

798 Principles and Practice of Constraint

799 Computer Security — ESORICS 94 Lecture Notes in Computer Science 875 800 Human-Computer Interaction Lecture Notes in Computer Science 876 801 Algorithmic Number Theory Lecture Notes in Computer Science 877 802 Parallel, Distributed and Multiagent

Production Systems Lecture Notes in Computer Science 878

803 Parallel Scientific Computing Lecture Notes in Computer Science 879 804 Foundation of Software Technology and

Theoretical Computer Science Lecture Notes in Computer Science 880 805 Entity-Relationship Approach — ER '94

Business Modelling and Re-Engineering Lecture Notes in Computer Science 881 806 Multimedia Transport and Teleservices Lecture Notes in Computer Science 882 807

Logic Program Synthesis and

Transformation — Meta-Programming in Logic

808 IGIS '94: Geographic Information Systems Lecture Notes in Computer Science 884 809 Closed Object Boundaries from Scattered

Points Lecture Notes in Computer Science 885

810 Planning and Learning by Analogical

(35)

811 Ada in Europe Lecture Notes in Computer Science 887 812 Analysis of Dynamical and Cognitive

813 TAPSOFT '95: Theory and Practice of

Software Development Lecture Notes in Computer Science 915 814 Spatial Representation and Motion

Planning Lecture Notes in Computer Science 1014

815 Towards a CSCW Framework for Scientific

Cooperation in Europe 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 Languages and Compilers for Parallel

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

820 Graph Drawing Lecture Notes in Computer Science 894

821 Software Engineering Education Lecture Notes in Computer Science 895 822 Software Engineering and

Human-Computer Interaction 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

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 Graph-Theoretic Concepts in Computer

830 Computational Learning Theory Lecture Notes in Computer Science 904 831 Computer Vision, Virtual Reality and

Robotics in Medicine Lecture Notes in Computer Science 905 832 Recent Trends in Data Type Specification Lecture Notes in Computer Science 906 833 Theory and Practice of Parallel

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

(36)

836 Constraint Programming: Basics and Trends 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 912 839 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 Theorem Proving with Analytic Tableaux

and Related Methods Lecture Notes in Computer Science 918 844 High-Performance Computing and

845 Integer Programming and Combinatorial

Optimization Lecture Notes in Computer Science 920

846 Advances in Cryptology — EUROCRYPT ’95 Lecture Notes in Computer Science 921 847 Efficient Graph Rewriting and Its

848 Constraint Processing Lecture Notes in Computer Science 923 849 Object-Based Models and Languages for

Concurrent Systems Lecture Notes in Computer Science 924

850 Advanced Functional Programming Lecture Notes in Computer Science 925 851 Objective Software Quality Lecture Notes in Computer Science 926 852 Non-Monotonic Extensions of Logic

853 Logic Programming and Nonmonotonic

854 Advances in Artificial Life Lecture Notes in Computer Science 929 855 From Natural to Artificial Neural

Computation Lecture Notes in Computer Science 930

856 Artificial Neural Networks Lecture Notes in Computer Science 931 857 Advanced Information Systems Engineering 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