Computer Science Books

Lecture Notes in Compute Sno 1 2 3 4

Title 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

Series

Volume

Lecture Notes in Computer Science

4

Lecture Notes in Computer Science

2

Lecture Notes in Computer Science

3

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

Lecture Notes in Computer Science

20

Lecture Notes in Computer Science

20

11 Compiler Construction

Lecture Notes in Computer Science

21

12 Programming Symposium Computing Methods in Applied Sciences 13 and Engineering Part 1 International Symposium on Theoretical 14 Programming

Lecture Notes in Computer Science

19

Lecture Notes in Computer Science

10

Lecture Notes in Computer Science

5

Simple Program Schemes and Formal Languages Simple Program Schemes and Formal 10 Languages 9

15

Matrix Eigensystem Routines — EISPACK Guide

Lecture Notes in Computer Science

6

16

Matrix Eigensystem Routines — EISPACK Guide

Lecture Notes in Computer Science

6

17

Rechnerstrukturen und Betriebsprogrammierung

Lecture Notes in Computer Science

13

Lecture Notes in Computer Science

14

18 Automata, Languages and Programming

19 Formal Aspects of Cognitive Processes

Lecture Notes in Computer Science

22

20 Programming Methodology 21 Parallel Processing Theory of Program Structures: Schemes, 22 Semantics, Verification Theory of Program Structures: Schemes, 23 Semantics, Verification Category Theory Applied to Computation 24 and Control Mathematical Foundations of Computer 25 Science

Lecture Notes in Computer Science Lecture Notes in Computer Science

23 24

Lecture Notes in Computer Science

36

Lecture Notes in Computer Science

36

Lecture Notes in Computer Science

25

Lecture Notes in Computer Science

28

Lecture Notes in Computer Science

32

Lecture Notes in Computer Science

33

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

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 Programming Language Semantics

Lecture Notes in Computer Science

42

Mathematical Foundations of Computer 26 Science 1975 4th Symposium, Mariánské Lázn, September 15, 1975 Automata Theory and Formal Languages 27 2nd GI Conference Kaiserslautern, May 20–23, 1975 28 Interval Mathematics

32

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

38

An Optimized Translation Process and Its Application to ALGOL 68

Lecture Notes in Computer Science

38

39 ECI Conference 1976 Mathematical Foundations of Computer 40 Science 1976

Lecture Notes in Computer Science

44

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

45

Matrix Eigensystem Routines — EISPACK Guide Extension

Lecture Notes in Computer Science

51

46 Automata, Languages and Programming

Lecture Notes in Computer Science

52

Lecture Notes in Computer Science

53

Lecture Notes in Computer Science

54

Lecture Notes in Computer Science

55

Lecture Notes in Computer Science Lecture Notes in Computer Science

56 57

Lecture Notes in Computer Science

58

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

Lecture Notes in Computer Science

63

Lecture Notes in Computer Science

64

Lecture Notes in Computer Science

66

47 48 49 50 51 52 53

Mathematical Foundations of Computer Science 1977 Design and Implementation of Programming Languages Mes premières constructions de programmes Fundamentals of Computation Theory Portability of Numerical Software Computing in systems described by equations A Concurrent Pascal Compiler for Minicomputers

Natural Language Communication with Computers Mathematical Foundations of Computer 57 Science 1978 TEMPO: A Unified Treatment of Binding 58 Time and Parameter Passing Concepts in Programming Languages 56

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 63 Symbolic and Algebraic Computation

Lecture Notes in Computer Science Lecture Notes in Computer Science

70 72

Lecture Notes in Computer Science

73

Lecture Notes in Computer Science

78

Lecture Notes in Computer Science

74

Lecture Notes in Computer Science

75

Lecture Notes in Computer Science

76

Lecture Notes in Computer Science

77

Lecture Notes in Computer Science

97

Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science

82 99 86

Lecture Notes in Computer Science

79

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

Lecture Notes in Computer Science

87

Lecture Notes in Computer Science

88

Lecture Notes in Computer Science

89

Lecture Notes in Computer Science

90

Lecture Notes in Computer Science Lecture Notes in Computer Science

91 92

Lecture Notes in Computer Science

93

64

Graph-Grammars and Their Application to Computer Science and Biology

65 Edinburgh LCF 66 67 68 69 70 71 72 73 74 75

78 79 80 81 82 83 84

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 FaultTolerant Computer Architectures A Relational Theory of Computing Algebraic semantics Abstract Software Specifications Language Design and Programming Methodology Proceedings of a Symposium Held in Sydney, Australia, 10–11 September, 1979 Pictorial Information Systems

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 Using Sophisticated Models in Resolution Theorem Proving Grammar and L forms: An introduction A Calculus of Communicating Systems Context-free grammars: Covers, normal forms, and parsing

85 Semantics-Directed Compiler Generation

Lecture Notes in Computer Science

94

86 Coroutines

Lecture Notes in Computer Science

95

Computer Programs for Spelling 87 Correction: An Experiment in Program Design

Lecture Notes in Computer Science

96

Lecture Notes in Computer Science

109

Lecture Notes in Computer Science

100

Lecture Notes in Computer Science

104

Lecture Notes in Computer Science

116

Distributed Systems — Architecture and Implementation

Lecture Notes in Computer Science

105

93 Formalization of Programming Concepts

Lecture Notes in Computer Science

107

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

110

88 Digital Image Processing Systems Graphtheoretic Concepts in Computer 89 Science 90 Theoretical Computer Science The Concurrency Control Problem for 91 Database Systems 92

94

95 Graph Theory and Algorithms Lecture Notes in Computer Science 96 Boolean Calculus of Differences Lecture Notes in Computer Science Directions in Human Factors for Interactive 97 Lecture Notes in Computer Science Systems

108 101

98 Y12M

Lecture Notes in Computer Science

121

99 Compiler Specification and Verification

Lecture Notes in Computer Science

124

100 Logic of Programs Mathematical Foundations of Computer 101 Science 1981

Lecture Notes in Computer Science

125

Lecture Notes in Computer Science

118

102 On the Integration of Algebraic Functions

Lecture Notes in Computer Science

102

The Programming Language Ada Reference Lecture Notes in Computer Science Manual

106

103

103

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

Lecture Notes in Computer Science

113

Lecture Notes in Computer Science

114

108

Stochastic Automata: Stability, Nondeterminism, and Prediction

109 CLU Reference Manual

Automatic Differentiation: Techniques and Lecture Notes in Computer Science Applications Algorithms in Modern Mathematics and 111 Lecture Notes in Computer Science Computer Science 110

120 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

Lecture Notes in Computer Science

129

Lecture Notes in Computer Science

130

Lecture Notes in Computer Science

131

120 Data Base Design Techniques I:

Lecture Notes in Computer Science

132

121 Data Base Design Techniques II: 122 Program Specification An Introduction to the PL/CV2 123 Programming Logic Group-Theoretic Algorithms and Graph 124 Isomorphism

Lecture Notes in Computer Science Lecture Notes in Computer Science

133 134

Lecture Notes in Computer Science

135

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

Verifying Concurrent Processes Using Temporal Logic Axiomatising the Logic of Computer 118 Programming 119 Logics of Programs 117

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 Research and Development in Information 137 Lecture Notes in Computer Science Retrieval

162

138

RIMS Symposia on Software Science and Engineering

146

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

Lecture Notes in Computer Science

153

Lecture Notes in Computer Science

154

The Programming Language Ada Reference 145 Manual American National Standards Lecture Notes in Computer Science Institute, Inc. ANSI/MIL-STD-1815A-1983

155

143

Graph-Grammars and Their Application to Computer Science

144 Automata, Languages and Programming

Specification and Design of Software Systems 147 Foundations of Computation Theory 148 Large Sparse Numerical Optimization 146

Lecture Notes in Computer Science

152

Lecture Notes in Computer Science Lecture Notes in Computer Science

158 165

149 International Symposium on Programming Lecture Notes in Computer Science

167

Methods and Tools for Computer Integrated Manufacturing 151 Feedback Shift Registers 150

Lecture Notes in Computer Science

168

Lecture Notes in Computer Science

169

152 EUROSAM 84 P-Functions and Boolean Matrix 153 Factorization Programming Languages and Their 154 Definition 155

Lecture Notes in Computer Science

174

Lecture Notes in Computer Science

175

Lecture Notes in Computer Science

177

Readings on Cognitive Ergonomics — Mind Lecture Notes in Computer Science and Computers

178

156 How to Multiply Matrices Faster Foundations of Software Technology and 157 Theoretical Computer Science

Lecture Notes in Computer Science

179

Lecture Notes in Computer Science

181

158 Logics of Programs

Lecture Notes in Computer Science

164

159 STACS 84 Lecture Notes in Computer Science Logic and Machines: Decision Problems and 160 Lecture Notes in Computer Science Complexity

166

161 Automata, Languages and Programming

Lecture Notes in Computer Science

172

162 Semantics of Data Types

Lecture Notes in Computer Science

173

Lecture Notes in Computer Science

176

Lecture Notes in Computer Science

180

Lecture Notes in Computer Science

183

Lecture Notes in Computer Science

185

167 Advances in Petri Nets 1984 168 Paragon

Lecture Notes in Computer Science Lecture Notes in Computer Science

188 189

169 Distributed Systems

Lecture Notes in Computer Science

190

Lecture Notes in Computer Science

191

Lecture Notes in Computer Science Lecture Notes in Computer Science

192 193

Lecture Notes in Computer Science

194

Lecture Notes in Computer Science

195

Lecture Notes in Computer Science

196

Mathematical Foundations of Computer Science 1984 164 Ada Software Tools Interfaces 163

165 The Munich Project CIP 166

Mathematical Foundations of Software Development

A Survey of Verification Techniques for Parallel Programs 171 Automata on Infinite Words 172 Logics of Programs 170

173 Automata, Languages and Programming 174

A Hierarchical Associative Processing System

175 Advances in Cryptology

171

176 Seminar on Concurrency

Lecture Notes in Computer Science

197

177 PORTAL Language Description 178 Fundamentals of Computation Theory 179 Trace Theory and VLSJ Design Functional Programming Languages and 180 Computer Architecture

Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science

198 199 200

Lecture Notes in Computer Science

201

181 Rewriting Techniques and Applications

Lecture Notes in Computer Science

202

182 EUROCAL '85 183 EUROCAL '85 Foundations of Software Technology and 184 Theoretical Computer Science 185 STACS 85

Lecture Notes in Computer Science Lecture Notes in Computer Science

203 204

Lecture Notes in Computer Science

206

Lecture Notes in Computer Science

182

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

184

Formal Methods and Software Development

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

194 Programs as Data Objects

Lecture Notes in Computer Science

217

Lecture Notes in Computer Science

215

196 Logic Programming '85 Algebraic Algorithms and Error-Correcting 197 Codes Mathematical Foundations of Computer 198 Science 1986

Lecture Notes in Computer Science

221

Lecture Notes in Computer Science

229

Lecture Notes in Computer Science

233

199 Accurate Scientific Computations

Lecture Notes in Computer Science

235

200 TEX for Scientific Documentation Applied Algebra, Algorithmics and Error201 Correcting Codes 8th International Conference on 202 Automated Deduction

Lecture Notes in Computer Science

236

Lecture Notes in Computer Science

228

Lecture Notes in Computer Science

230

187

195

Mathematical Methods of Specification and Synthesis of Software Systems '85

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

Lecture Notes in Computer Science

240

207

Category Theory and Computer Programming

Mathematical Foundations of Programming Lecture Notes in Computer Science Semantics Foundations of Software Technology and 209 Lecture Notes in Computer Science Theoretical Computer Science Combinators and Functional Programming Languages Thirteenth Spring School of the 210 Lecture Notes in Computer Science LITP Val d'Ajol, France, May 6–10, 1985 Proceedings 208

239 241

242

211 ICDT '86

Lecture Notes in Computer Science

243

212 Interval Mathematics 1985 213 CAAP '86

Lecture Notes in Computer Science Lecture Notes in Computer Science

212 214

214 Advances in Cryptology

Lecture Notes in Computer Science

209

215 STACS 86 Advances in Cryptology — CRYPTO ’85 216 Proceedings

Lecture Notes in Computer Science

210

Lecture Notes in Computer Science

218

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

219

RIMS Symposia on Software Science and Engineering II 219 Advances in Petri Nets 1985 218

Lecture Notes in Computer Science

220

Lecture Notes in Computer Science

222

Lecture Notes in Computer Science

224

Third International Conference on Logic Programming

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

Lectures on the Complexity of Bilinear Problems

Lecture Notes in Computer Science

245

220 Current Trends in Concurrency 221

225

226

Graph-Theoretic Concepts in Computer Science

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

Unobstructed Shortest Paths in Polyhedral Lecture Notes in Computer Science Environments

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 Lecture Notes in Computer Science Methodologies and Evaluation Strategies

257

238

PARLE Parallel Architectures and Languages Lecture Notes in Computer Science Europe

258

239 Parallel Algorithms and Architectures

Lecture Notes in Computer Science

269

Lecture Notes in Computer Science

273

Lecture Notes in Computer Science

274

Lecture Notes in Computer Science

275

243

ECOOP’ 87 European Conference on ObjectLecture Notes in Computer Science Oriented Programming

276

244

Mathematical Models for the Semantics of Lecture Notes in Computer Science Parallelism

280

A Connotational Theory of Program Structure Functional Programming Languages and 241 Computer Architecture 240

242 System Development and Ada

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 Mathematical Models for the Semantics of 249 Lecture Notes in Computer Science Parallelism

290

250 Uncertainty in Knowledge-Based Systems

Lecture Notes in Computer Science

286

Translating Relational Queries into Iterative Lecture Notes in Computer Science Programs

261

251

252 A Review of Ada Tasking

280

Lecture Notes in Computer Science

262

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

Lecture Notes in Computer Science

252

Lecture Notes in Computer Science

253

Lecture Notes in Computer Science

254

Lecture Notes in Computer Science

254

Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science

263 264 265 266

Lecture Notes in Computer Science

267

Lecture Notes in Computer Science

281

Lecture Notes in Computer Science

287

Lecture Notes in Computer Science

288

Lecture Notes in Computer Science

289

Lecture Notes in Computer Science

291

Lecture Notes in Computer Science

293

253

257 258 259 260 261 262 263 264

Constrained Global Optimization: Algorithms and Applications

VDM '87 VDM — A Formal Method at Work WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology Petri Nets: Central Models and Their Properties Petri Nets: Central Models and Their Properties Advances in Cryptology — CRYPTO’ 86 Logic Programming '86 Analogical and Inductive Inference Advances in Petri Nets 1987

265 Automata, Languages and Programming Trends, Techniques, and Problems in Theoretical Computer Science Foundations of Software Technology and 267 Theoretical Computer Science 268 MetaSoft Primer 266

269 ESEC '87 270

Graph-Grammars and Their Application to Computer Science

271 Advances in Cryptology — CRYPTO ’87

272 STACS 88

Lecture Notes in Computer Science

294

Lecture Notes in Computer Science

295

274 Experiences with Distributed Systems Lecture Notes in Computer Science 9th International Conference on 275 Lecture Notes in Computer Science Automated Deduction 276 Pattern Recognition Lecture Notes in Computer Science Attribute Grammar Inversion and Source-to277 Lecture Notes in Computer Science source Translation Advances in Database Technology—EDBT 278 Lecture Notes in Computer Science '88

309

279 Advances in Cryptology — EUROCRYPT’ 87 Lecture Notes in Computer Science

304

280 MFDBS 87

Lecture Notes in Computer Science

305

281 ESOP '88 Mathematical Foundations of Computer 282 Science 1988

Lecture Notes in Computer Science

300

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

285 CSL '87

Lecture Notes in Computer Science

329

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

330

287 Modern Cryptology Formal Techniques in Real-Time and Fault288 Tolerant Systems Computational Geometry and its 289 Applications Advances in Object-Oriented Database 290 Systems Foundations of Software Technology and 291 Theoretical Computer Science

Lecture Notes in Computer Science

325

Lecture Notes in Computer Science

331

Lecture Notes in Computer Science

333

Lecture Notes in Computer Science

334

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 Compositionality, Concurrency and Partial 294 Correctness

Lecture Notes in Computer Science

340

Lecture Notes in Computer Science

321

295 Error Detection and Recovery in Robotics

Lecture Notes in Computer Science

336

296 Trends in Computer Algebra Foundations of Logic and Functional 297 Programming 298 Conditional Term Rewriting Systems

Lecture Notes in Computer Science

296

Lecture Notes in Computer Science

306

Lecture Notes in Computer Science

308

273

Parallel Computing in Science and Engineering

310 301 302 303

299 Coding Theory and Applications 300 Natural Language at the Computer

Lecture Notes in Computer Science Lecture Notes in Computer Science

311 320

301 Attribute Grammars

Lecture Notes in Computer Science

323

302 Software Engineering Education 303 CONCURRENCY 88 Efficient Structures for Geometric Data 304 Management

Lecture Notes in Computer Science Lecture Notes in Computer Science

327 335

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

Mathematical Foundations of Programming Lecture Notes in Computer Science Language Semantics 308 CAAP '88 Lecture Notes in Computer Science 307

309

Applicable Algebra, Error-Correcting Codes, Lecture Notes in Computer Science Combinatorics and Computer Algebra

298 299 307

310 Distributed Algorithms

Lecture Notes in Computer Science

312

311 Uncertainty and Intelligent Systems

Lecture Notes in Computer Science

313

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 317 VLSI Algorithms and Architectures Lecture Notes in Computer Science ECOOP ’88 European Conference on Object318 Lecture Notes in Computer Science Oriented Programming Statistical and Scientific Database 319 Lecture Notes in Computer Science Management Software Reliability Modelling and 320 Lecture Notes in Computer Science Identification Graph-Theoretic Concepts in Computer 321 Lecture Notes in Computer Science Science

318 319

322 Parcella '88

Lecture Notes in Computer Science

342

323 STACS 89

Lecture Notes in Computer Science

349

Applied Algebra, Algebraic Algorithms and Lecture Notes in Computer Science Error-Correcting Codes

356

312

324

Graph-Theoretic Concepts in Computer Science

325 Computer Assisted Learning

Lecture Notes in Computer Science

322 339 341 344

360

326

Nested Relations and Complex Objects in Databases Synthesizing Synchronous Systems by Static Scheduling in Space-Time Global Optimization TAPSOFT '89 TAPSOFT '89 Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Lecture Notes in Computer Science

361

Lecture Notes in Computer Science

362

Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science

350 351 352

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

Lecture Notes in Computer Science

365

Lecture Notes in Computer Science

366

Lecture Notes in Computer Science

367

Lecture Notes in Computer Science

358

Lecture Notes in Computer Science

368

Lecture Notes in Computer Science

370

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 345 Software Engineering Education

Lecture Notes in Computer Science Lecture Notes in Computer Science

375 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

327 328 329 330 331

PARLE '89 Parallel Architectures and Languages Europe PARLE '89 Parallel Architectures and 336 Languages Europe Foundations of Data Organization and 337 Algorithms 338 Symbolic and Algebraic Computation 335

339 Database Machines Modified Branching Programs and Their Computational Power Compiler Compilers and High Speed 341 Compilation 340

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 Concepts, Design, and Performance 360 Analysis of a Parallel Prolog Machine

Lecture Notes in Computer Science

403

Lecture Notes in Computer Science

404

361 Automata, Languages and Programming

Lecture Notes in Computer Science

372

Lecture Notes in Computer Science

386

Lecture Notes in Computer Science

393

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

Formal Properties of Finite Automata and Applications Categorical Methods in Computer Science 363 With Aspects from Topology Finite Reresentations of CCS and TCSP 364 Programs by Automata and Petri Nets 362

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 Lecture Notes in Computer Science Error-Correcting Codes

357

370 High Performance Transaction Systems

Lecture Notes in Computer Science

359

Lecture Notes in Computer Science

377

Lecture Notes in Computer Science

378

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

Electronic Dictionaries and Automata in Computational Linguistics 372 Eurocal '87 Mathematical Foundations of Computer 373 Science 1989 371

376

Algebraic Methods: Theory, Tools and Applications

Lecture Notes in Computer Science

394

377

Recent Issues in Pattern Analysis and Recognition

Lecture Notes in Computer Science

399

Lecture Notes in Computer Science

407

Lecture Notes in Computer Science

408

Design and Implementation of Large Spatial Lecture Notes in Computer Science Databases

409

Automatic Verification Methods for Finite State Systems Hardware Specification, Verification and 379 Synthesis: Mathematical Aspects 378

380 381 382 383 384 385 386 387

Computer Aided Systems Theory — EUROCAST '89 Foundations of Software Technology and Theoretical Computer Science COLOG-88 Statistical and Scientific Database Management Graph-Theoretic Concepts in Computer Science Group Theoretical Methods in Image Processing

Lecture Notes in Computer Science

410

Lecture Notes in Computer Science

405

Lecture Notes in Computer Science

417

Lecture Notes in Computer Science

420

Lecture Notes in Computer Science

411

Lecture Notes in Computer Science

413

LOGLAN '88 — Report on the Programming Lecture Notes in Computer Science Language

414

388 STACS 90 389

Lecture Notes in Computer Science

415

Advances in Database Technology — EDBT Lecture Notes in Computer Science '90

416

390 Advances in Petri Nets 1989 391 Computer Vision — ECCV 90 VDM '90 VDM and Z — Formal Methods in 392 Software Development Design and Implementation of Symbolic 393 Computation Systems 394 Software Engineering Education 395 SIL—a Simulation Language 396

Lecture Notes in Computer Science Lecture Notes in Computer Science

424 427

Lecture Notes in Computer Science

428

Lecture Notes in Computer Science

429

Lecture Notes in Computer Science Lecture Notes in Computer Science

423 426

Lecture Notes in Computer Science

430

Lecture Notes in Computer Science Lecture Notes in Computer Science

431 432

Progress in Distributed Operating Systems Lecture Notes in Computer Science and Distributed Systems Management

433

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness

397 CAAP '90 398 ESOP '90 399

400 Advanced Information Systems Engineering Lecture Notes in Computer Science 401

Advances in Cryptology — CRYPTO’ 89 Proceedings

436

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

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

Mathematical Foundations of Computer Science 1990

Lecture Notes in Computer Science

452

408 Advances in Cryptology — AUSCRYPT '90

Lecture Notes in Computer Science

453

409 Combinatorics on Traces A Collection of Test Problems for 410 Constrained Global Optimization Algorithms

Lecture Notes in Computer Science

454

Lecture Notes in Computer Science

455

Lecture Notes in Computer Science

456

Lecture Notes in Computer Science

441

Mathematical Foundations of Programming Lecture Notes in Computer Science Semantics

442

404

407

411

CONCUR '90 Theories of Concurrency: Unification and Extension

Programming Language Implementation and Logic Programming

412 Parallel Lisp: Languages and Systems 413

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

Lecture Notes in Computer Science

464

Lecture Notes in Computer Science Lecture Notes in Computer Science

466 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

Aspects and Prospects of Theoretical Computer Science 419 Database Systems of the 90s 420 CONPAR 90 — VAPP IV 418

423

Semantics of Systems of Concurrent Processes

Lecture Notes in Computer Science

469

424

Efficient Query Processing in Geographic Information Systems Advances in Computing and Information — ICCI '90 Software Engineering Environments Visualization in Human-Computer Interaction A Formal Model of Visualization in Computer Graphics Systems

Lecture Notes in Computer Science

471

Lecture Notes in Computer Science

468

Lecture Notes in Computer Science

467

Lecture Notes in Computer Science

439

Lecture Notes in Computer Science

421

429 Fault-Tolerant Distributed Computing

Lecture Notes in Computer Science

448

430 Natural Language and Logic A Systematic Catalogue of Reusable 431 Abstract Data Types

Lecture Notes in Computer Science

459

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

Lecture Notes in Computer Science

472

435 Advances in Cryptology — EUROCRYPT ’90 Lecture Notes in Computer Science

473

425 426 427 428

434

Foundations of Software Technology and Theoretical Computer Science

Information Systems and Artificial Intelligence: Integration Aspects 437 Compiler Compilers 436

Lecture Notes in Computer Science

474

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

Advances in Computing and Information — Lecture Notes in Computer Science ICCI '91

497

444 Advanced Information Systems Engineering Lecture Notes in Computer Science

498

445 Ada: The Choice for '92 Lecture Notes in Computer Science On the Computational Geometry of Pocket 446 Lecture Notes in Computer Science Machining

499

443

447

Algebraic system specification and development

448 Baltic Computer Science

500

Lecture Notes in Computer Science

501

Lecture Notes in Computer Science

502

449 Parallel Database Systems Next Generation Information System 450 Technology PARLE '91 Parallel Architectures and 451 Languages Europe PARLE '91 Parallel Architectures and 452 Languages Europe 453 454

Lecture Notes in Computer Science

503

Lecture Notes in Computer Science

504

Lecture Notes in Computer Science

505

Lecture Notes in Computer Science

506

Applied Algebra, Algebraic Algorithms and Lecture Notes in Computer Science Error-Correcting Codes

508

Software Development Environments and CASE Technology Meta-Level Control for Deductive Database Systems Advances in Petri Nets 1990 Graph-Theoretic Concepts in Computer Science Distributed Algorithms Distributed Memory Computing

Lecture Notes in Computer Science

509

Lecture Notes in Computer Science

479

Lecture Notes in Computer Science

483

Lecture Notes in Computer Science

484

Lecture Notes in Computer Science Lecture Notes in Computer Science

486 487

Lecture Notes in Computer Science

488

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

489

455 456 457 458 459

460 Rewriting Techniques and Applications

Algebraic Methods II: Theory, Tools and Applications Concurrency: Theory, Language, and 463 Architecture Computer-Aided Cooperative Product 464 Development 462

Lecture Notes in Computer Science

490

Lecture Notes in Computer Science

491

Lecture Notes in Computer Science

492

Lecture Notes in Computer Science

521

Lecture Notes in Computer Science

523

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

Lecture Notes in Computer Science

528

Lecture Notes in Computer Science

530

465 Uncertainty in Knowledge Bases 466

Functional Programming Languages and Computer Architecture

467 Advances in Spatial Databases

470

Programming Language Implementation and Logic Programming

471 Category Theory and Computer Science

472 Computer-Aided Verification

Lecture Notes in Computer Science

531

Lecture Notes in Computer Science

532

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 A Unified Approach to Interior Point 477 Algorithms for Linear Complementarity Problems

Lecture Notes in Computer Science

536

Lecture Notes in Computer Science

538

Applied Algebra, Algebraic Algorithms and Lecture Notes in Computer Science Error-Correcting Codes

539

473

478

Graph Grammars and Their Application to Computer Science

479 Artificial Neural Networks Attribute Grammars, Applications and 480 Systems Symbolic and Quantitative Approaches to 481 Uncertainty

Lecture Notes in Computer Science

540

Lecture Notes in Computer Science

545

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

ECOOP'91 European Conference on ObjectLecture Notes in Computer Science Oriented Programming

512

484

485 Algorithms and Data Structures

Lecture Notes in Computer Science

519

486 Advances in Petri Nets 1991 487 Fundamentals of Computation Theory

Lecture Notes in Computer Science Lecture Notes in Computer Science

524 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

Lecture Notes in Computer Science

551

Lecture Notes in Computer Science

552

Lecture Notes in Computer Science

553

VDM'91 Formal Software Development Methods VDM '91 Formal Software Development 493 Methods Computational Geometry-Methods, 494 Algorithms and Applications 492

495

The Problem of Incomplete Information in Relational Databases New Results and New Trends in Computer Science ISA'91 Algorithms 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

Lecture Notes in Computer Science

554

Lecture Notes in Computer Science

555

Lecture Notes in Computer Science

557

Lecture Notes in Computer Science

520

Lecture Notes in Computer Science

556

Lecture Notes in Computer Science

558

Lecture Notes in Computer Science

559

Lecture Notes in Computer Science

560

Lecture Notes in Computer Science

562

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

Lecture Notes in Computer Science

564

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

496 497 498 499 500 501 502 503

504 The Stability Theory of Stream Ciphers

The Use of Projective Geometry in Computer Graphics Graph-Theoretic Concepts in Computer 512 Science 511

Formal Techniques in Real-Time and FaultLecture Notes in Computer Science Tolerant Systems 517 Word Equations and Related Topics Lecture Notes in Computer Science 518 Advances in Cryptology — CRYPTO ’91 Lecture Notes in Computer Science 516

571 572 576

519 STACS 92

Lecture Notes in Computer Science

577

Lecture Notes in Computer Science

578

Lecture Notes in Computer Science

575

Lecture Notes in Computer Science

579

Lecture Notes in Computer Science

580

Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science

581 582 583

Lecture Notes in Computer Science

573

Lecture Notes in Computer Science

574

Lecture Notes in Computer Science

584

Lecture Notes in Computer Science

585

Lecture Notes in Computer Science Lecture Notes in Computer Science

586 588

Lecture Notes in Computer Science

589

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

Mathematical Foundations of Programming Lecture Notes in Computer Science Semantics

598

Public-Key Cryptography: State of the Art and Future Directions 521 Computer Aided Verification 520

522 Distributed Algorithms Advances in Database Technology — EDBT '92 524 CAAP '92 525 ESOP '92 526 LATIN '92 523

527 Algebraic Coding 528 529 530 531 532 533

Reasearch Directions in High-Level Parallel Programming Languages Computer Algebra and Parallelism Computer Aided Systems Theory — EUROCAST '91 Parallel Execution of Parlog Computer Vision — ECCV'92 Languages and Compilers for Parallel Computing

534 Parallel Computation

540

541 Real-Time: Theory in Practice

Lecture Notes in Computer Science

600

542 Constructivity in Computer Science

Lecture Notes in Computer Science

613

Network and Operating System Support for Lecture Notes in Computer Science Digital Audio and Video ECOOP ’92 European Conference on Object544 Lecture Notes in Computer Science Oriented Programming 543

614 615

545 Theory of Computing and Systems 546 Computer Assisted Learning 547 Ada: Moving Towards 2000 The Nested Universal Relation Database 548 Model PARLE '92 Parallel Architectures and 549 Languages Europe 550 Advances in Petri Nets 1992

Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science

601 602 603

Lecture Notes in Computer Science

595

Lecture Notes in Computer Science

605

Lecture Notes in Computer Science

609

551 Parallel Processing: CONPAR 92—VAPP V

Lecture Notes in Computer Science

634

552 Software Process Technology 553 Meta-Programming in Logic

Lecture Notes in Computer Science Lecture Notes in Computer Science

635 649

554 Algorithms and Computation

Lecture Notes in Computer Science

650

Lecture Notes in Computer Science

651

Lecture Notes in Computer Science

632

Lecture Notes in Computer Science

631

558 Memory Management 559 Relational Matching Mathematical Foundations of Computer 560 Science 1992 561 CONCUR '92 Modular Construction and Partial Order 562 Semantics of Petri Nets

Lecture Notes in Computer Science Lecture Notes in Computer Science

637 628

Lecture Notes in Computer Science

629

Lecture Notes in Computer Science

630

Lecture Notes in Computer Science

625

563 Computer Science Logic

Lecture Notes in Computer Science

626

564 Compiler Construction Hyperedge Replacement: Grammars and 565 Languages 566 Database Theory — ICDT '92 567 Distributed Algorithms

Lecture Notes in Computer Science

641

Lecture Notes in Computer Science

643

Lecture Notes in Computer Science Lecture Notes in Computer Science

646 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

Theories and Methods of Spatio-Temporal Lecture Notes in Computer Science Reasoning in Geographic Space

639

Specifying Message Passing and TimeCritical Systems with Temporal Logic 556 Algebraic and Logic Programming 555

557

571

Programming Language Implementation and Logic Programming

572 Software Engineering Education

Lecture Notes in Computer Science

640

573 Combinatorial Pattern Matching

Lecture Notes in Computer Science

644

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 Lexical Semantics and Knowledge 578 Representation

Lecture Notes in Computer Science

618

Lecture Notes in Computer Science

627

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 Performance Evaluation of Computer and 582 Communication Systems

Lecture Notes in Computer Science

725

Lecture Notes in Computer Science

729

583 Conditional Term Rewriting Systems

Lecture Notes in Computer Science

656

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

Machine Learning: From Theory to Applications

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

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 TAPSOFT'93: Theory and Practice of 595 Software Development

Lecture Notes in Computer Science

667

Lecture Notes in Computer Science

668

574

579

584

588

Foundations of Software Technology and Theoretical Computer Science

Graph-Theoretic Concepts in Computer Science

596 Mathematics of Program Construction

Lecture Notes in Computer Science

669

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

Applied Algebra, Algebraic Algorithms and Lecture Notes in Computer Science Error-Correcting Codes

673

597

600

FME '93: Industrial-Strength Formal Methods

601 Advances in Petri Nets 1993 Lecture Notes in Computer Science 602 Live Data Structures in Logic Programs Lecture Notes in Computer Science Recognizing Planar Objects Using Invariant 603 Lecture Notes in Computer Science Image Features

674 675

604 Word Equations and Related Topics

Lecture Notes in Computer Science

677

Lecture Notes in Computer Science

678

Lecture Notes in Computer Science

679

Lecture Notes in Computer Science

680

Lecture Notes in Computer Science

681

609

IPMU '92—Advanced Methods in Artificial Lecture Notes in Computer Science Intelligence

682

610

Correct Hardware Design and Verification Methods

Lecture Notes in Computer Science

683

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

Lecture Notes in Computer Science

693

Parallel Architectures and Their Efficient Use Resolution Methods for the Decision 606 Problem Program Development by Specification and 607 Transformation 608 The Logic of Information Structures 605

611 Combinatorial Pattern Matching

619

Functional Programming, Concurrency, Simulation and Automated Reasoning

676

620

PARLE '93 Parallel Architectures and Languages Europe

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 Logic Programming and Automated 624 Reasoning Conceptual Graphs for Knowledge 625 Representation

Lecture Notes in Computer Science

697

Lecture Notes in Computer Science

698

Lecture Notes in Computer Science

699

626 Automata, Languages and Programming

Lecture Notes in Computer Science

700

Lecture Notes in Computer Science

701

Lecture Notes in Computer Science

702

Lecture Notes in Computer Science

703

630 The Design of an Extendible Graph Editor

Lecture Notes in Computer Science

704

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

Lecture Notes in Computer Science

705

Experimental Software Engineering Issues: Lecture Notes in Computer Science Critical Assessment and Future Directions

706

627

LOGIDATA+: Deductive Databases with Complex Objects

628 Computer Science Logic 629

632

Ray Shooting, Depth Orders and Hidden Surface Removal

ECOOP’ 93 — Object-Oriented Programming Geometric Reasoning for Perception and 634 Action 633

Lecture Notes in Computer Science

707

Lecture Notes in Computer Science

708

Lecture Notes in Computer Science

709

636 Fundamentals of Computation Theory Lecture Notes in Computer Science Mathematical Foundations of Computer 637 Lecture Notes in Computer Science Science 1993 Network and Operating System Support for 638 Lecture Notes in Computer Science Digital Audio and Video

710

639 Computational Logic and Proof Theory

Lecture Notes in Computer Science

713

Lecture Notes in Computer Science

714

Lecture Notes in Computer Science

715

635 Algorithms and Data Structures

640

Progamming Language Implementation and Logic Programming

641 CONCUR'93

711 712

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

Design and Implementation of Symbolic Computation Systems Design and Implementation of Symbolic 648 Computation Systems 647

Lecture Notes in Computer Science

721

Lecture Notes in Computer Science

722

Lecture Notes in Computer Science

723

650 Static Analysis

Lecture Notes in Computer Science

724

651 Algorithms—ESA '93 652 Progress in Artificial Intelligence 653 Advances in Artificial Intelligence Foundations of Data Organization and 654 Algorithms DCE — The OSF Distributed Computing 655 Environment Client/Server Model and Beyond

Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science

726 727 728

Lecture Notes in Computer Science

730

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 Formal Methods in Programming and Their 659 Lecture Notes in Computer Science Applications

734

660 Hybrid Systems

Lecture Notes in Computer Science

736

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 Computer Security and Industrial 665 Cryptography

Lecture Notes in Computer Science

740

Lecture Notes in Computer Science

741

649

661

Knowledge Acquisition for KnowledgeBased Systems

Artificial Intelligence and Symbolic Mathematical Computing

735

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 675 Spatio-Temporal Image Processing

Lecture Notes in Computer Science Lecture Notes in Computer Science

750 751

Lecture Notes in Computer Science

752

Lecture Notes in Computer Science

753

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

676

Information and Knowledge Management Expanding the Definition of “Database”

677 Human-Computer Interaction 678

Conceptual Structures: Theory and Implementation

681

Languages and Compilers for Parallel Computing

Lecture Notes in Computer Science

757

682

Towards Dynamic Randomized Algorithms Lecture Notes in Computer Science in Computational Geometry

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

686 Algorithms and Computation

Lecture Notes in Computer Science

761

Lecture Notes in Computer Science

762

687 Types for Proofs and Programs

Lecture Notes in Computer Science

806

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 691 Computer Vision — ECCV '94 692 Computer Vision — ECCV '94 Object-Oriented Methodologies and 693 Systems 694 Algorithms — ESA '94 695 Distributed Algorithms 696 Compiler Construction

Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science

819 800 801

Lecture Notes in Computer Science

858

Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science

855 857 786

697 Advanced Information Systems Engineering Lecture Notes in Computer Science

811

688

Computer Aided Systems Theory — EUROCAST '93 699 Vivid Logic 698

Lecture Notes in Computer Science

763

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

Lecture Notes in Computer Science

768

Lecture Notes in Computer Science Lecture Notes in Computer Science

769 770

706 Visualization of Scientific Parallel Programs Lecture Notes in Computer Science

771

707 Software Process Technology 708 Advances in Cryptology — CRYPTO’ 93 Hardware and Software Architectures for 709 Fault Tolerance

Lecture Notes in Computer Science Lecture Notes in Computer Science

772 773

Lecture Notes in Computer Science

774

710 STACS 94

Lecture Notes in Computer Science

775

Lecture Notes in Computer Science

776

Lecture Notes in Computer Science

777

Lecture Notes in Computer Science

778

Advances in Database Technology — EDBT Lecture Notes in Computer Science '94

779

703

Languages and Compilers for Parallel Computing

704 The Newton-Cauchy Framework 705 Representing Plans Under Uncertainty

Graph Transformations in Computer Science Management and Processing of Complex 712 Data Structures 711

713 Algorithms and Complexity 714

715

Higher Order Logic Theorem Proving and Its Applications

716 Algebraic Coding

Lecture Notes in Computer Science

780

Lecture Notes in Computer Science

781

Programming Languages and System Lecture Notes in Computer Science Architectures Mobile Communications Advanced Systems 718 Lecture Notes in Computer Science and Components 717

782 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

Lecture Notes in Computer Science

787

Lecture Notes in Computer Science

788

723 Theoretical Aspects of Computer Software Lecture Notes in Computer Science

789

Trees in Algebra and Programming — CAAP'94 Programming Languages and Systems — 722 ESOP '94 721

Graph-Theoretic Concepts in Computer Science

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

Lecture Notes in Computer Science

794

Lecture Notes in Computer Science

795

Lecture Notes in Computer Science

796

Lecture Notes in Computer Science Lecture Notes in Computer Science

798 799

Mathematical Foundations of Programming Lecture Notes in Computer Science Semantics

802

724

728 729 730 731 732 733

Computer Performance Evaluation Modelling Techniques and Tools FM8501: A Verified Microprocessor High-Performance Computing and Networking Extensions of Logic Programming Multiagent Systems

A Decade of Concurrency Reflections and Lecture Notes in Computer Science Perspectives Qualitative Representation of Spatial 735 Lecture Notes in Computer Science Knowledge Parallel and Distributed Computing Theory 736 Lecture Notes in Computer Science and Practice 734

737 Combinatorial Pattern Matching 738

803 804 805

Lecture Notes in Computer Science

807

Knowledge Representation and Reasoning Lecture Notes in Computer Science Under Uncertainty

808

739 Fast Software Encryption Lecture Notes in Computer Science Foundations of Knowledge Representation 740 Lecture Notes in Computer Science and Reasoning Results and Trends in Theoretical 741 Lecture Notes in Computer Science Computer Science

809

742 Logical Foundations of Computer Science

Lecture Notes in Computer Science

813

743 Automated Deduction — CADE-12

Lecture Notes in Computer Science

814

744 Application and Theory of Petri Nets 1994

Lecture Notes in Computer Science

815

810 812

745

Higher-Order Algebra, Logic, and Term Rewriting

Lecture Notes in Computer Science

816

746

PARLE'94 Parallel Architectures and Languages Europe

Lecture Notes in Computer Science

817

747 Computer Aided Verification 748 Object-Oriented Programming Logic Programming and Automated 749 Reasoning

Lecture Notes in Computer Science Lecture Notes in Computer Science

818 821

Lecture Notes in Computer Science

822

750 Entity-Relationship Approach — ER '93

Lecture Notes in Computer Science

823

751 Algorithm Theory — SWAT '94 Applications of Invariance in Computer 752 Vision 753 Directions in Databases

Lecture Notes in Computer Science

824

Lecture Notes in Computer Science

825

Lecture Notes in Computer Science

826

754 Temporal Logic

Lecture Notes in Computer Science

827

755 Isabelle Error Control, Cryptology, and Speech 756 Compression

Lecture Notes in Computer Science

828

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 767 The Traveling Salesman Mathematical Foundations of Computer 768 Science 1994 769 Treewidth

Lecture Notes in Computer Science Lecture Notes in Computer Science

839 840

Lecture Notes in Computer Science

841

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

Lecture Notes in Computer Science

845

Network and Operating System Support for Lecture Notes in Computer Science Digital Audio and Video

846

772 Constraints in Computational Logics 773

774 Fuzzy Logic in Artificial Intelligence Numerical Integration on Advanced 775 Computer Systems

Lecture Notes in Computer Science

847

Lecture Notes in Computer Science

848

Lecture Notes in Computer Science

849

777 Algebraic and Logic Programming

Lecture Notes in Computer Science

850

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

Lecture Notes in Computer Science

851

779 Dependable Computing — EDCC-1

Lecture Notes in Computer Science

852

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

776

780

783

Field-Programmable Logic Architectures, Synthesis and Applications

Parallel Computer Routing and Communication

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

Formal Techniques in Real-Time and FaultLecture Notes in Computer Science Tolerant Systems

863

787

788 Static Analysis 789 Evolutionary Computing Parallel Problem Solving from Nature — 790 PPSN III

Lecture Notes in Computer Science Lecture Notes in Computer Science

864 865

Lecture Notes in Computer Science

866

791 A Future for Knowledge Acquisition

Lecture Notes in Computer Science

867

Lecture Notes in Computer Science

868

Lecture Notes in Computer Science

869

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

Lecture Notes in Computer Science

873

Lecture Notes in Computer Science

874

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

Lecture Notes in Computer Science

878

Lecture Notes in Computer Science

879

792

Multimedia: Advanced Teleservices and High-Speed Communication Architectures

793 Methodologies for Intelligent Systems 794

Distributed Programming Paradigms with Cryptography Applications

FME '94: Industrial Benefit of Formal Methods Principles and Practice of Constraint 798 Programming 799 Computer Security — ESORICS 94 797

802

Parallel, Distributed and Multiagent Production Systems

803 Parallel Scientific Computing 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

Logic Program Synthesis and 807 Transformation — Meta-Programming in Logic

Lecture Notes in Computer Science

883

808 IGIS '94: Geographic Information Systems

Lecture Notes in Computer Science

884

Lecture Notes in Computer Science

885

Lecture Notes in Computer Science

886

Closed Object Boundaries from Scattered Points Planning and Learning by Analogical 810 Reasoning 809

811 Ada in Europe Analysis of Dynamical and Cognitive 812 Systems

Lecture Notes in Computer Science

887

Lecture Notes in Computer Science

888

Lecture Notes in Computer Science

915

Lecture Notes in Computer Science

1014

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

Languages and Compilers for Parallel Computing

Lecture Notes in Computer Science

892

819 Database Theory — ICDT '95

Lecture Notes in Computer Science

893

820 Graph Drawing

Lecture Notes in Computer Science

894

821 Software Engineering Education Software Engineering and Human822 Computer Interaction

Lecture Notes in Computer Science

895

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

Lecture Notes in Computer Science

903

Lecture Notes in Computer Science

904

Lecture Notes in Computer Science

905

Lecture Notes in Computer Science

906

Lecture Notes in Computer Science

907

Lecture Notes in Computer Science

908

Lecture Notes in Computer Science

909

813

TAPSOFT '95: Theory and Practice of Software Development

Spatial Representation and Motion Planning Towards a CSCW Framework for Scientific 815 Cooperation in Europe 814

818

Graph-Theoretic Concepts in Computer Science 830 Computational Learning Theory Computer Vision, Virtual Reality and 831 Robotics in Medicine 829

832 Recent Trends in Data Type Specification Theory and Practice of Parallel Programming 834 Extensions of the UNITY Methodology 833

835 Term Rewriting

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 839 Software Process Technology

Lecture Notes in Computer Science Lecture Notes in Computer Science

912 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

Lecture Notes in Computer Science

918

Lecture Notes in Computer Science

919

Lecture Notes in Computer Science

920

846 Advances in Cryptology — EUROCRYPT ’95 Lecture Notes in Computer Science

921

Theorem Proving with Analytic Tableaux and Related Methods High-Performance Computing and 844 Networking Integer Programming and Combinatorial 845 Optimization 843

847 848 849 850 851

Efficient Graph Rewriting and Its Implementation Constraint Processing Object-Based Models and Languages for Concurrent Systems Advanced Functional Programming Objective Software Quality

Lecture Notes in Computer Science

922

Lecture Notes in Computer Science

923

Lecture Notes in Computer Science

924

Lecture Notes in Computer Science Lecture Notes in Computer Science

925 926

852

Non-Monotonic Extensions of Logic Programming

Lecture Notes in Computer Science

927

853

Logic Programming and Nonmonotonic Reasoning

Lecture Notes in Computer Science

928

Lecture Notes in Computer Science

929

Lecture Notes in Computer Science

930

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

854 Advances in Artificial Life 855

From Natural to Artificial Neural Computation

856 Artificial Neural Networks

860 Application and Theory of Petri Nets 1995

Lecture Notes in Computer Science

935

Lecture Notes in Computer Science

936

Lecture Notes in Computer Science

937

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

938

864 Computer Aided Verification 865 Advances in Databases

Lecture Notes in Computer Science Lecture Notes in Computer Science

939 940

866 Tractable Reasoning in Artificial Intelligence 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

870

Advances in Intelligent Computing — IPMU Lecture Notes in Computer Science '94

945

871

Symbolic and Quantitative Approaches to Reasoning and Uncertainty

Lecture Notes in Computer Science

946

Lecture Notes in Computer Science

947

873

Applied Algebra, Algebraic Algorithms and Lecture Notes in Computer Science Error-Correcting Codes

948

874

Job Scheduling Strategies for Parallel Processing

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

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

Lecture Notes in Computer Science

952

878 Category Theory and Computer Science

Lecture Notes in Computer Science

953

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

Algebraic Methodology and Software Technology 862 Combinatorial Pattern Matching 861

872 Mathematics of Program Construction

879

Conceptual Structures: Applications, Implementation and Theory

882 From Reaction to Cognition

Lecture Notes in Computer Science

957

Lecture Notes in Computer Science

958

884 Computing and Combinatorics 885 Logic and Computational Complexity Algorithmic Learning for Knowledge-Based 886 Systems 887 CONCUR '95: Concurrency Theory 888 Advances in Cryptology — CRYPT0’ 95 889 Parallel Computing Technologies 890 Fundamentals of Computation Theory

Lecture Notes in Computer Science Lecture Notes in Computer Science

959 960

Lecture Notes in Computer Science

961

Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science

962 963 964 965

891 EURO-PAR '95 Parallel Processing

Lecture Notes in Computer Science

966

ZUM '95: The Z Formal Specification Notation

Lecture Notes in Computer Science

967

893 Conditional and Typed Rewriting Systems

Lecture Notes in Computer Science

968

Lecture Notes in Computer Science

969

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

970

883

892

894

896

Integrating Symbolic Mathematical Computation and Artificial Intelligence

Mathematical Foundations of Computer Science 1995

Higher Order Logic Theorem Proving and Its Applications

Lecture Notes in Computer Science

971

Lecture Notes in Computer Science

972

Lecture Notes in Computer Science

973

Lecture Notes in Computer Science

974

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

975

897 Distributed Algorithms 898

Information Management in Computer Integrated Manufacturing

899 Image Analysis and Processing

Principles and Practice of Constraint Lecture Notes in Computer Science Programming — CP '95 Quantitative Evaluation of Computing and 902 Lecture Notes in Computer Science Communication Systems 901

976 977

903 Database and Expert Systems Applications Lecture Notes in Computer Science

978

904 Algorithms — ESA '95 Parallel Algorithms for Irregularly 905 Structured Problems

Lecture Notes in Computer Science

979

Lecture Notes in Computer Science

980

906 KI-95: Advances in Artificial Intelligence

Lecture Notes in Computer Science

981

907

Programming Languages: Implementations, Lecture Notes in Computer Science Logics and Programs

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 911 Memory Management Correct Hardware Design and Verification 912 Methods Spatial Information Theory A Theoretical 913 Basis for GIS

Lecture Notes in Computer Science Lecture Notes in Computer Science

985 986

Lecture Notes in Computer Science

987

Lecture Notes in Computer Science

988

914 Software Engineering — ESEC '95

Lecture Notes in Computer Science

989

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 918 Evolutionary Computing

Lecture Notes in Computer Science Lecture Notes in Computer Science

992 993

919 Object Representation in Computer Vision Lecture Notes in Computer Science

994

920

The Complexity of Simple Computer Architectures

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

Lecture Notes in Computer Science

998

924 Hybrid Systems II

Lecture Notes in Computer Science

999

925 Computer Science Today Efficient Checking of Polynomials and 926 Proofs and the Hardness of Appoximation Problems Disconnected Operation in a Distributed 927 File System

Lecture Notes in Computer Science

1000

Lecture Notes in Computer Science

1001

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 Information Systems and Data 931 Management

Lecture Notes in Computer Science

1005

Lecture Notes in Computer Science

1006

923

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

Integrity Primitives for Secure Information Lecture Notes in Computer Science Systems 933 Fast Software Encryption Lecture Notes in Computer Science 932

934

KORSO: Methods, Languages, and Tools for Lecture Notes in Computer Science the Construction of Correct Software

Case-Based Reasoning Research and Development Advances in Fuzzy Logic, Neural Networks 936 and Genetic Algorithms SOFSEM '95: Theory and Practice of 937 Informatics 935

1007 1008 1009

Lecture Notes in Computer Science

1010

Lecture Notes in Computer Science

1011

Lecture Notes in Computer Science

1012

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

Lecture Notes in Computer Science

1017

Lecture Notes in Computer Science

1018

Lecture Notes in Computer Science

1019

944 Progress in Case-Based Reasoning OOER '95: Object-Oriented and Entity945 Relationship Modeling Funtional Programming Languages in 946 Education

Lecture Notes in Computer Science

1020

Lecture Notes in Computer Science

1021

Lecture Notes in Computer Science

1022

947 Algorithms, Concurrency and Knowledge

Lecture Notes in Computer Science

1023

Image Analysis Applications and Computer Lecture Notes in Computer Science Graphics

1024

Graph-Theoretic Concepts in Computer Science Network and Operating Systems Support 942 for Digital Audio and Video 941

943

948

Tools and Algorithms for the Construction and Analysis of Systems

949 Cryptography and Coding Foundations of Software Technology and 950 Theoretical Computer Science 951 Graph Drawing 952 Electronic Commerce 953 Cryptography: Policy and Algorithms

Lecture Notes in Computer Science

1025

Lecture Notes in Computer Science

1026

Lecture Notes in Computer Science Lecture Notes in Computer Science Lecture Notes in Computer Science

1027 1028 1029

Lecture Notes in Computer Science

1030

955 Ada in Europe Lecture Notes in Computer Science Partial-Order Methods for the Verification 956 Lecture Notes in Computer Science of Concurrent Systems

1031

954

Computer Aided Systems Theory — EUROCAST '95

1032

957

Object Representation in Computer Vision Lecture Notes in Computer Science II

1144

958

Languages and Compilers for Parallel Computing

Lecture Notes in Computer Science

1033

959 Constraint Databases and Application

Lecture Notes in Computer Science

1034

960 Recent Developments in Computer Vision

Lecture Notes in Computer Science

1035

961

Trends in Natural Language Generation An Lecture Notes in Computer Science Artificial Intelligence Perspective

1036

962

Intelligent Agents II Agent Theories, Architectures, and Languages

Lecture Notes in Computer Science

1037

963 Agents Breaking Away

Lecture Notes in Computer Science

1038

964 Fast Software Encryption Connectionist, Statistical and Symbolic 965 Approaches to Learning for Natural Language Processing Applied Parallel Computing Computations 966 in Physics, Chemistry and Engineering Science Adaption and Learning in Multi-Agent 967 Systems

Lecture Notes in Computer Science

1039

Lecture Notes in Computer Science

1040

Lecture Notes in Computer Science

1041

Lecture Notes in Computer Science

1042

968 Logics for Concurrency

Lecture Notes in Computer Science

1043

969

Broadband Communications Networks, Services, Applications, Future Directions

Lecture Notes in Computer Science

1044

970

Interactive Distributed Multimedia Systems Lecture Notes in Computer Science and Services

1045

971 STACS 96

Lecture Notes in Computer Science

1046

972 Time Structures Logic Program Synthesis and 973 Transformation Object Technologies for Advanced 974 Software

Lecture Notes in Computer Science

1047

Lecture Notes in Computer Science

1048

Lecture Notes in Computer Science

1049

975 Extensions of Logic Programming

Lecture Notes in Computer Science

1050

FME'96: Industrial Benefit and Advances in Lecture Notes in Computer Science Formal Methods

1051

976

977

Teleservices and Multimedia Communications

Lecture Notes in Computer Science

1052

Lecture Notes in Computer Science

1053

Lecture Notes in Computer Science

1054

Lecture Notes in Computer Science

1055

Lecture Notes in Computer Science

1056

Advances in Database Technology — EDBT Lecture Notes in Computer Science '96

1057

978 Term Indexing Solving Combinatorial Optimization 979 Problems in Parallel Tools and Algorithms for the Construction 980 and Analysis of Systems Communication and Cooperation in Agent 981 Systems 982

Programming Languages and Systems — Lecture Notes in Computer Science ESOP '96 Trees in Algebra and Programming — CAAP 984 Lecture Notes in Computer Science '96 985 Compiler Construction Lecture Notes in Computer Science 983

1058 1059 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

High-Performance Computing and Networking

Lecture Notes in Computer Science

1067

993 Parallel Symbolic Languages and Systems

Lecture Notes in Computer Science

1068

Lecture Notes in Computer Science

1069

995 Advances in Cryptology — EUROCRYPT ’96 Lecture Notes in Computer Science

1070

992

994

Distributed Software Agents and Applications

Theorem Proving with Analytic Tableaux and Related Methods Graphics Recognition Methods and 997 Applications 996

Lecture Notes in Computer Science

1071

Lecture Notes in Computer Science

1072

998

Graph Grammars and Their Application to Computer Science

Lecture Notes in Computer Science

1073

999

Higher-Order Algebra, Logic, and Term Rewriting

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

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 Advanced Information Systems Engineering Lecture Notes in Computer Science

1080

1006 Advances in Artifical Intelligence

Lecture Notes in Computer Science

1081

1002

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

1007

Digital Libraries Research and Technology Advances

Lecture Notes in Computer Science

1082

1008

Evaluating Natural Language Processing Systems

Lecture Notes in Computer Science

1083

1009

Integer Programming and Combinatorial Optimization

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

Lecture Notes in Computer Science

1087

Lecture Notes in Computer Science

1088

Lecture Notes in Computer Science Lecture Notes in Computer Science

1089 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

Lecture Notes in Computer Science

1095

Distributed Artificial Intelligence Architecture and Modelling Reliable Software Technologies — Ada1013 Europe '96 1014 Bounded Incremental Computation 1015 Computing and Combinatorics 1012

1020

Automated Deduction in Equational Logic and Cubic Curves

Workflow Management Systems for Process Organisations Workflow Management Systems for 1022 Process Organisations 1023 Algorithm Theory — SWAT'96 ECOOP ’96 — Object-Oriented 1024 Programming 1021

Lecture Notes in Computer Science

1096

Lecture Notes in Computer Science

1096

Lecture Notes in Computer Science

1097

Lecture Notes in Computer Science

1098

1025 Automata, Languages and Programming

Lecture Notes in Computer Science

1099

1026 Digital Signature Schemes Algebraic Methodology and Software 1027 Technology

Lecture Notes in Computer Science

1100

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 Computer Aided Systems Theory — CAST 1031 '94

Lecture Notes in Computer Science

1104

Lecture Notes in Computer Science

1105

1032 Over-Constrained Systems

Lecture Notes in Computer Science

1106

1033

Object-Based Parallel and Distributed Computation

Lecture Notes in Computer Science

1107

1034

Computer Aided Learning and Instruction in Lecture Notes in Computer Science Science and Engineering

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

Mathematical Foundations of Computer Science 1996

Lecture Notes in Computer Science

1113

1040 PRICAI'96: Topics in Artificial Intelligence

Lecture Notes in Computer Science

1114

Lecture Notes in Computer Science

1115

Lecture Notes in Computer Science

1116

Lecture Notes in Computer Science

1117

Lecture Notes in Computer Science

1118

1039

Conceptual Structures: Knowledge Representation as Interlingua Management of Telecommunication 1042 Systems and Services Parallel Algorithms for Irregularly 1043 Structured Problems Principles and Practice of Constraint 1044 Programming — CP96 1041

1045 CONCUR '96: Concurrency Theory

Lecture Notes in Computer Science

1119

1046 Combinatorics and Computer Science

Lecture Notes in Computer Science

1120

Lecture Notes in Computer Science

1121

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 Design and Implementation of Symbolic 1054 Computation Systems

Lecture Notes in Computer Science

1127

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

Advances in Structural and Syntactical Pattern Recognition 1048 Algorithmic Number Theory 1047

Formal Techniques in Real-Time and FaultLecture Notes in Computer Science Tolerant Systems 1062 Algorithms — ESA '96 Lecture Notes in Computer Science 1061

1135 1136

1063 KI-96: Advances in Artificial Intelligence

Lecture Notes in Computer Science

1137

Artificial Intelligence and Symbolic Mathematical Computation

Lecture Notes in Computer Science

1138

Lecture Notes in Computer Science

1139

1066

Programming Languages: Implementations, Lecture Notes in Computer Science Logics, and Programs

1140

1067

Parallel Problem Solving from Nature — PPSN IV

1141

1064

1065 Algebraic and Logic Programming

Lecture Notes in Computer Science

Field-Programmable Logic Smart 1068 Applications, New Paradigms and Compilers 1069 Evolutionary Computing

Lecture Notes in Computer Science

1142

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

Grammatical Interference: Learning Syntax Lecture Notes in Computer Science from Sentences Applied Computational Geometry Towards 1073 Lecture Notes in Computer Science Geometric Engineering 1074 Software Process Technology Lecture Notes in Computer Science 1072

1147 1148 1149

1075 Dependable Computing — EDCC-2

Lecture Notes in Computer Science

1150

1076 Distributed Algorithms

Lecture Notes in Computer Science

1151

Lecture Notes in Computer Science

1152

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

Fuzzy Logic, Neural Networks, and Evolutionary Computation Practice and Theory of Automated 1078 Timetabling 1077

1086

Trends in Distributed Systems CORBA and Beyond

Lecture Notes in Computer Science

1161

1087

Job Scheduling Strategies for Parallel Processing

Lecture Notes in Computer Science

1162

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 1093 Advances in Case-Based Reasoning

Lecture Notes in Computer Science Lecture Notes in Computer Science

1167 1168

1094 Formal Systems Specification

Lecture Notes in Computer Science

1169

Building Tightly Integrated Software 1095 Development Environments: The IPSEN Lecture Notes in Computer Science Approach Automatic Ambiguity Resolution in Natural 1096 Lecture Notes in Computer Science Language Processing 1097 Information Security and Privacy

1170 1171

Lecture Notes in Computer Science

1172

Lecture Notes in Computer Science

1173

Lecture Notes in Computer Science

1174

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

Efficient Visual Recognition Using the Hausdorff Distance 1099 Information Hiding SOFSEM'96: Theory and Practice of 1100 Informatics 1098

1104

Concurrency and Parallelism, Programming, Networking, and Security

Lecture Notes in Computer Science

1179

1105

Foundations of Software Technology and Theoretical Computer Science

Lecture Notes in Computer Science

1180

Lecture Notes in Computer Science

1181

Lecture Notes in Computer Science

1182

Lecture Notes in Computer Science

1183

1106 Perspectives of System Informatics 1107

Optimization of SQL Queries for Parallel Machines

1108 Database Issues for Data Visualization 1109

Applied Parallel Computing Industrial Computation and Optimization

Lecture Notes in Computer Science

1184

1110

Multimedia Telecommunications and Applications

Lecture Notes in Computer Science

1185

Lecture Notes in Computer Science Lecture Notes in Computer Science

1186 1187

Lecture Notes in Computer Science

1188

Lecture Notes in Computer Science

1189

1111 Database Theory — ICDT '97 1112 Nonmonotonic Logics Fuzzy Logic in Artificial Intelligence Towards 1113 Intelligent Systems 1114 Security Protocols

es in Computer Science Author

Year

Publisher

R. Conti, A. Ruberti

1973

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

1973

Springer

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

R. Conti, A. Ruberti

1973

Springer

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

R. Glowinski, J. L. Lions

1974

Springer

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

J. Loeckx

1974

Springer

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

1974

Springer

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

1974

Springer

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

Kathleen Jensen, Niklaus Wirth

1974

Springer

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

Jost Engelfriet

1974

Springer

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

Jost Engelfriet

1974

Springer

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

1974

Springer

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

1974

Springer

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

1974

Springer

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

1974

Springer

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

1974

Springer

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

1974

Springer

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

Wolfgang Händler, Peter P. Spies

1974

Springer

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

Jacques Loeckx

1974

Springer

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

Grzegorz Rozenberg, Arto Salomaa E. Gelenbe, C. Kaiser

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 B. Robinet R. Glowinski, J. L. Lions Andrei Ershov, Valery A. Nepomniaschy Brian T. Smith, J. M. Boyle, B. S. Garbow, Y. Ikebe, V. C. Klema, C. B. Moler

URL

Thomas Storer, David Winter

1975

Springer

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

Clemens E. Hackl Tse-yun Feng

1975 1975

Springer Springer

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

Sheila A. Greibach

1975

Springer

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

Sheila A. Greibach

1975

Springer

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

Ernest Gene Manes

1975

Springer

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

A. Blikle

1975

Springer

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

Jíří Bečvář

1975

Springer

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

H. Brakhage

1975

Springer

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

Karl Nickel

1975

Springer

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

Samuel H. Fuller

1975

Springer

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

W. Everling

1975

Springer

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

1975

Springer

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

G. I. Marchuk

1975

Springer

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

C. Böhm

1976

Springer

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

C. Böhm

1976

Springer

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

Jean Cea

1976

Springer

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

Jean Cea

1976

Springer

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

James E. Donahue

1976

Springer

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

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

1976

Springer

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

K. Samelson

1976

Springer

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

Antoni Mazurkiewicz

1976

Springer

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

1976

Springer

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

1977

Springer

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

Albrecht Blaser, Clemens Hackl

1977

Springer

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

A. Ershov, C. H. A. Koster

1977

Springer

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

Burton S. Garbow, J. M. Boyle, J. J. Dongarra, C. B. Moler

1977

Springer

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

Arto Salomaa, Magnus Steinby

1977

Springer

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

Jozef Gruska

1977

Springer

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

John H. Williams, David A. Fisher

1977

Springer

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

A. Gerbier

1977

Springer

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

Marek Karpioski Wayne Cowell

1977 1977

Springer Springer

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

Michael J. O'Donnell

1977

Springer

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

Alfred C. Hartmann

1977

Springer

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

Giampio Bracchi, Peter Christian Lockemann

1978

Springer

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

Giorgio Ausiello, Corrado Böhm

1978

Springer

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

Leonard Bolc

1978

Springer

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

J. Winkowski

1978

Springer

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

Neil D. Jones, Steven S. Muchnick

1978

Springer

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

R. Bayer, R. M. Graham, G. Seegmüller David Harel Friedrich L. Bauer, Manfred Broy, E. W. Dijkstra Gilles Kahn Edward W. Ng

1978

Springer

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

1979

Springer

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

1979

Springer

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

1979 1979

Springer Springer

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

Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg

1979

Springer

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

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

1979

Springer

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

Jiří Bečvář

1979

Springer

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

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

1979

Springer

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

B. Childs, M. Scott, J. W. Daniel, E. Denman, P. Nelson

1979

Springer

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

Gregor Bochmann

1979

Springer

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

Shunji Osaki, Toshihiko Nishio

1980

Springer

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

John G. Sanderson Irène Guessarian Dines Bjøorner

1980 1980 1980

Springer Springer Springer

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

Jeffrey M. Tobias

1980

Springer

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

S. K. Chang, K. S. Fu

1980

Springer

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

Bernard Robinet

1980

Springer

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

Wilfried Brauer

1980

Springer

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

Wolfgang Bibel, Robert Kowalski

1980

Springer

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

P. Dembioski

1980

Springer

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

Jose Encarnacao

1980

Springer

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

David M. Sandford

1980

Springer

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

Derick Wood Robin Milner

1980 1980

Springer Springer

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

Anton Nijholt

1980

Springer

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

Neil D. Jones

1980

Springer

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

Christopher D. Marlin

1980

Springer

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

1980

Springer

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

Leonard Bloc, Zenon Kulpa

1981

Springer

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

Hartmut Noltemeier

1981

Springer

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

Peter Deussen

1981

Springer

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

Marco Antonio Casanova

1981

Springer

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

1981

Springer

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

J. Díaz, I. Ramos

1981

Springer

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

Waltraud Dehning, Heidrun Essig, Susanne Maass

1981

Springer

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

1981 1981

Springer Springer

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

1981

Springer

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

Zahari Zlatev, Jerzy Wasniewski, Kjeld Schaumburg

1981

Springer

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

Wolfgang Polak

1981

Springer

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

Erwin Engeler

1981

Springer

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

Jozef Gruska, Michal Chytil

1981

Springer

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

James Harold Davenport

1981

Springer

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

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

1981

Springer

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

Shimon Even, Oded Kariv

1981

Springer

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

Ferenc Gécseg

1981

Springer

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

N. Saito, T. Nishizeki André Thayse Henry Ledgard, Andrew Singer, John Whiteside

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

1981

Springer

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

Egidio Astesiano, Corrado Böhm

1981

Springer

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

Ernst-Erich Doberkat

1981

Springer

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

1981

Springer

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

Louis B. Rall

1981

Springer

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

1981

Springer

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

1981

Springer

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

1982

Springer

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

1982

Springer

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

1982

Springer

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

Y. Wallach

1982

Springer

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

Brent T. Hailpern

1982

Springer

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

Robert Goldblatt

1982

Springer

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

Dexter Kozen S. B. Yao, S. B. Navathe, J. L. Weldon, T. L. Kunii S. B. Yao, T. L. Kunii Jørgen Staunstrup R. L. Constable, S. D. Johnson, C. D. Eichenlaub

1982

Springer

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

1982

Springer

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

1982 1982

Springer Springer

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

1982

Springer

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

Christoph M. Hoffmann

1982

Springer

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

Mariangiola Dezani-Ciancaglini, Ugo Montanari

1982

Springer

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

D. W. Loveland

1982

Springer

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

1982

Springer

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

1982

Springer

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

Andrei P. Ershov, Donald E. Knuth Arie Duijvestijn, Peter Christian Lockemann Jacques Calmet Armin B. Cremers, Hans-Peter Kriegel Michael J. Flynn, Neville R. Harris, Daniel P. McCarthy

Mogens Nielsen, Erik Meineche Schmidt Uwe Kastens, Brigitte Hutt, Erich Zimmermann

Paul C. Messina, Almerico Murli

1982

Springer

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

1982

Springer

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

1983

Springer

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

Mark H. Overmars

1983

Springer

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

Giorgio Ausiello, Marco Protasi

1983

Springer

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

Reiji Nakajima, Taiichi Yuasa

1983

Springer

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

Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler

1983

Springer

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

J. A. Hulzen Gerard Salton, Hans-Jochen Schneider Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa

1983

Springer

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

1983

Springer

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

1983

Springer

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

A. Salwicki

1983

Springer

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

Thomas Beth Albrecht Blaser, Magdalena Zoeppritz Robert Piloty, Dominique Borrione, Mario R. Barbacci, D. L. Dietmeyer, Frederick J. Hill, Patrick Skelly Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg

1983

Springer

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

1983

Springer

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

1983

Springer

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

1983

Springer

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

Josep Diaz

1983

Springer

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

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

1983

Springer

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

Elöd Knuth, Erich J. Neuhold

1983

Springer

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

Marek Karpinski Thomas F. Coleman

1983 1984

Springer Springer

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

M. Paul, B. Robinet

1984

Springer

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

U. Rembold, R. Dillmann

1984

Springer

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

Christian Ronse

1984

Springer

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

Mamoru Maekawa, Laszio A. Belady Ole Østerby, Zahari Zlatev

John Fitch

1984

Springer

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

André Thayse

1984

Springer

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

C. B. Jones

1984

Springer

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

Gerrit C. Veer, Michael J. Tauber, Thomas R. G. Green, Peter Gorny

1984

Springer

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

Victor Pan Mathai Joseph, Rudrapatna Shyamasundar

1984

Springer

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

1984

Springer

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

Edmund Clarke, Dexter Kozen

1984

Springer

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

M. Fontet, K. Mehlhorn E. Börger, G. Hasenjaeger, D. Rödding

1984

Springer

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

1984

Springer

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

Jan Paredaens

1984

Springer

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

Gilles Kahn, David B. MacQueen, Gordon Plotkin

1984

Springer

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

M. P. Chytil, V. Koubek

1984

Springer

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

Peter J. L. Wallis F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz,

1984

Springer

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

1985

Springer

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

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

1985

Springer

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

G. Rozenberg Mark Steven Sherman

1985 1985

Springer Springer

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

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

1985

Springer

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

Howard Barringer

1985

Springer

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

M. Nivat, D. Perrin Rohit Parikh

1985 1985

Springer Springer

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

Wilfried Brauer

1985

Springer

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

Heinrich J. Stüttgen

1985

Springer

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

George Robert Blakley, David Chaum

1985

Springer

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

Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel

1985

Springer

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

Arnold Businger Lothar Budach Jan L. A. Snepscheut

1985 1985 1985

Springer Springer Springer

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

Jean-Pierre Jouannaud

1985

Springer

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

Jean-Pierre Jouannaud

1985

Springer

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

Bruno Buchberger Bob F. Caviness

1985 1985

Springer Springer

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

S. N. Maheshwari

1985

Springer

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

K. Mehlhorn D. Hutchison, J. A. Mariani, W. D. Shepherd

1985

Springer

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

1985

Springer

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

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

1985

Springer

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

François S. Chaghaghi

1985

Springer

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

Paul Klint

1985

Springer

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

1985

Springer

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

1985

Springer

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

1986

Springer

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

1986

Springer

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

Harald Ganzinger, Neil D. Jones

1986

Springer

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

Wolfgang Bibel, Klaus P. Jantke

1986

Springer

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

Eiiti Wada

1986

Springer

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

Jacques Calmet

1986

Springer

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

1986

Springer

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

1986

Springer

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

1986

Springer

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

Alain Poli

1986

Springer

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

Jörg H. Siekmann

1986

Springer

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

B. T. Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray Andrzej Skowron Bernard Robinet, Reinhard Wilhelm Christer Fernstrom, Ivan Kruzela, Bertil Svensson

Jozef Gruska, Branislav Rovan, Juraj Wiedermann Willard L. Miranker, Richard A. Toupin Jacques Désarménien

Roland Hausser

1986

Springer

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

Wolfgang Bibel, Philippe Jorrand

1986

Springer

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

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

1986

Springer

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

1986

Springer

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

David Pitt, Samson Abramsky, Axel Poigné, David Rydeheard

1986

Springer

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

Austin Melton

1986

Springer

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

Kesav V. Nori

1986

Springer

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

Guy Cousineau, Pierre-Louis Curien, Bernard Robinet

1986

Springer

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

Giorgio Ausiello, Paolo Atzeni

1986

Springer

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

Karl Nickel Paul Franchi-Zannettacci Thomas Beth, Norbert Cot, Ingemar Ingemarsson B. Monien, G. Vidal-Naquet

1986 1986

Springer Springer

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

1986

Springer

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

1986

Springer

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

Hugh C. Williams

1986

Springer

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

Franz Pichler

1986

Springer

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

1986

Springer

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

1986

Springer

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

1986

Springer

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

Ehud Shapiro

1986

Springer

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

Laurent Kott

1986

Springer

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

Filia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis

1986

Springer

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

Reidar Conradi, Tor M. Didriksen, Dag H. Wanvik

1987

Springer

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

Hans F. Groote

1987

Springer

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

Eichi Goto, Keijiro Araki, Taiichi Yuasa G. Rozenberg J. W. Bakker, W. -P. Roever, G. Rozenberg

Gottfried Tinhofer, Gunther Schmidt

1987

Springer

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

Franz J. Brandenburg, Guy VidalNaquet, Martin Wirsing

1987

Springer

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

Günter Müller, Robert P. Blanc

1987

Springer

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

Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

1987

Springer

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

Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

1987

Springer

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

Varol Akman

1987

Springer

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

1987

Springer

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

1987

Springer

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

Dominique Snyers, André Thayse

1987

Springer

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

P. Treleaven, M. Vanneschi

1987

Springer

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

Pierre Lescanne

1987

Springer

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

Francesca Cesarini, Silvio Salza

1987

Springer

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

1987

Springer

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

1987

Springer

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

James S. Royer

1987

Springer

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

Gilles Kahn

1987

Springer

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

A. Nico Habermann, Ugo Montanari

1987

Springer

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

Jean Bézivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman

1987

Springer

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

Marisa Venturini Zilli

1987

Springer

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

Peter Gorny, Michael J. Tauber

1987

Springer

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

Joseph H. Fasel, Robert M. Keller

1987

Springer

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

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

J. W. Bakker, A. J. Nijman, P. C. Treleaven Andreas Albrecht, Hermann Jung, Kurt Mehlhorn

Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov Tung X. Bui

1987

Springer

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

1987

Springer

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

Marisa Venturini Zilli

1987

Springer

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

B. Bouchon, R. R. Yager

1987

Springer

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

Johann Christoph Freytag

1987

Springer

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

Alan Burns, Andrew M. Lister, Andrew J. Wellings

1987

Springer

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

Panos M. Pardalos, J. Ben Rosen

1987

Springer

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

1987

Springer

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

1987

Springer

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

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

1987

Springer

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

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

1987

Springer

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

Jörg D. Becker, Ignaz Eisele

1987

Springer

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

1987

Springer

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

1987

Springer

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

1987 1987 1987 1987

Springer Springer Springer Springer

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

Thomas Ottmann

1987

Springer

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

Alica Kelemenová, Jozef Kelemen

1987

Springer

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

Kesav V. Nori

1987

Springer

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

Andrzej Blikle

1987

Springer

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

Howard Nichols, Dan Simpson

1987

Springer

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

1987

Springer

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

1988

Springer

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

Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter David H. Pitt, Axel Poigné, David E. Rydeheard

W. Brauer, W. Reisig, G. Rozenberg W. Brauer, W. Reisig, G. Rozenberg Andrew M. Odlyzko Eiiti Wada Klaus P. Jantke Grzegorz Rozenberg

Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld Carl Pomerance

Robert Cori, Martin Wirsing

1988

Springer

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

Rüdiger Dierstein, Dieter MüllerWichards, Hans-Martin Wacker

1988

Springer

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

J. Nehmer

1988

Springer

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

Ewing Lusk, Ross Overbeek

1988

Springer

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

J. Kittler

1988

Springer

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

Daniel M. Yellin

1988

Springer

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

J. W. Schmidt, S. Ceri, M. Missikoff

1988

Springer

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

David Chaum, Wyn L. Price

1988

Springer

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

1988

Springer

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

1988

Springer

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

1988

Springer

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

1988

Springer

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

1988

Springer

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

1988

Springer

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

1988

Springer

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

1988

Springer

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

M. Joseph

1988

Springer

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

Hartmut Noltemeier

1988

Springer

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

Klaus R. Dittrich

1988

Springer

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

Kesav V. Nori, Sanjeev Kumar

1988

Springer

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

D. Sannella, A. Tarlecki

1988

Springer

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

Grzegorz Rozenberg

1988

Springer

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

Job Zwiers

1988

Springer

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

Bruce R. Donald

1988

Springer

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

Rainer Janßen Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi S. Kaplan, J. -P. Jouannaud

1988

Springer

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

1988

Springer

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

1988

Springer

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

J. Biskup, J. Demetrovics, J. Paredaens, B. Thalheim H. Ganzinger Michal P. Chytil, Václav Koubek, Ladislav Janiga Marc Gyssens, Jan Paredaens, Dirk Gucht Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones Egon Börger, Hans Kleine Büning, Michael M. Richter D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries Gilles Brassard

G. Cohen, P. Godlewski Albrecht Blaser Pierre Deransart, Martin Jourdan, Bernard Lorho Gary A. Ford Frederich H. Vogt

1988 1988

Springer Springer

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

1988

Springer

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

1988 1988

Springer Springer

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

Oliver Günther

1988

Springer

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

1988

Springer

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

1988

Springer

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

1988

Springer

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

1988

Springer

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

Thomas Beth, Michael Clausen

1988

Springer

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

J. Leeuwen

1988

Springer

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

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

1988

Springer

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

1988

Springer

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

1988

Springer

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

1988

Springer

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

Timo Lepistö, Arto Salomaa

1988

Springer

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

Rolf Karlsson, Andrzej Lingas John H. Reif

1988 1988

Springer Springer

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

Stein Gjessing, Kristen Nygaard

1988

Springer

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

Maurizio Rafanelli, John C. Klensin, Per Svensson

1988

Springer

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

Sergio Bittanti

1989

Springer

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

J. Leeuwen

1989

Springer

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

1989

Springer

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

1989

Springer

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

Llorenç Huguet, Alain Poli

1989

Springer

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

Hermann Maurer

1989

Springer

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

F. L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper E. N. Houstis, T. S. Papatheodorou, C. D. Polychronopoulos M. Main, A. Melton, M. Mislove, D. Schmidt M. Dauchet, M. Nivat

Herbert Göttler, Hana-Jürgen Schneider Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki C. Choffrut

Gottfried Wolf, Tamáas Legendi, Udo Schendel B. Monien, R. Cori

S. Abiteboul, P. C. Fischer, H. -J. Schek

1989

Springer

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

Björn Lisper

1989

Springer

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

Aimo Törn, Antanas Žilinskas Josep Díaz, Fernando Orejas J. Díaz, F. Orejas

1989 1989 1989

Springer Springer Springer

http://dx.doi.org/10.1007/3-540-50871-6 http://dx.doi.org/10.1007/3-540-50939-9 http://dx.doi.org/10.1007/3-540-50940-2

J. W. Bakker, W. -P. Roever, G. Rozenberg

1989

Springer

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

Nachum Dershowitz

1989

Springer

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

1989

Springer

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

1989

Springer

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

1989

Springer

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

1989

Springer

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

Witold Litwin, Hans-Jörg Schek

1989

Springer

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

P. Gianni

1989

Springer

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

Haran Boral, Pascal Faudemay

1989

Springer

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

Christoph Meinel

1989

Springer

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

Dieter Hammer

1989

Springer

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

T. Theoharis

1989

Springer

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

Kay A. Robbins, Steven Robbins

1989

Springer

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

J. L. A. Snepscheut Norman E. Gibbs Gottfried Wolf, Tamáas Legendi, Udo Schendel J. Grabowski, P. Lescanne, W. Wechler

1989 1989

Springer Springer

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

1989

Springer

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

1989

Springer

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

F. Dehne, J. -R. Sack, N. Santoro

1989

Springer

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

G. A. Zee, J. G. G. Vorst Egon Börger, Hans Kleine Büning, Michael M. Richter C. Ghezzi, J. A. McDermid Gérard Cohen, Jacques Wolfmann

1989

Springer

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

1989

Springer

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

1989

Springer

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

1989

Springer

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

Albert R. Meyer, Michael A. Taitslin János Demetrovics, Bernhard Thalheim Eddy Odijk, Martin Rem, JeanClaude Syre Eddy Odijk, Martin Rem, JeanClaude Syre

David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné

1989

Springer

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

J. -D. Boissonnat, J. -P. Laumond

1989

Springer

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

Jean-Claude Bermond, Michel Raynal

1989

Springer

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

Rolf Klein

1989

Springer

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

Hristo Djidjev Tapan P. Bagchi, Vinay K. Chaudhri Shafi Goldwasser

1989

Springer

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

1989

Springer

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

1989

Springer

http://dx.doi.org/10.1007/0-387-34799-2

Joachim Beer

1989

Springer

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

Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca

1989

Springer

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

J. E. Pin

1989

Springer

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

H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß

1989

Springer

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

Dirk A. Taubner

1989

Springer

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

Rolf T. Nossum

1989

Springer

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

M. Reinfrank, J. Kleer, M. L. Ginsberg, E. Sandewall

1989

Springer

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

Katharina Morik

1989

Springer

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

P. Deransart, B. Lorho, J. Małuszyoski

1989

Springer

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

Teo Mora

1989

Springer

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

Dieter Gawlick, Mark Haynie, Andreas Reuter

1989

Springer

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

Maurice Gross, Dominique Perrin

1989

Springer

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

James H. Davenport Antoni Kreczmar, Grazyna Mirkowska J. Csirik, J. Demetrovics, F. Gécseg J. Dassow, J. Kelemen

1989

Springer

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

1989

Springer

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

1989

Springer

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

1989

Springer

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

Martin Wirsing, Jan A. Bergstra

1989

Springer

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

Virginio Cantoni, Reiner Creutzburg, Stefano Levialdi, G. Wolf

1989

Springer

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

Joseph Sifakis

1990

Springer

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

Miriam Leeser, Geoffrey Brown

1990

Springer

http://dx.doi.org/10.1007/0-387-97226-9

Alejandro P. Buchmann, Oliver Günther, Terence R. Smith, YuanFang Wang

1990

Springer

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

F. Pichler, R. Moreno-Diaz

1990

Springer

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

C. E. Veni Madhavan

1990

Springer

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

Per Martin-Löf, Grigori Mints

1990

Springer

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

Zbigniew Michalewicz

1990

Springer

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

Manfred Nagl

1990

Springer

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

Reiner Lenz

1990

Springer

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

Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski

1990

Springer

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

Christian Choffrut, Thomas Lengauer

1990

Springer

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

François Bancilhon, Constantino Thanos, Dennis Tsichritzis

1990

Springer

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

Grzegorz Rozenberg O. Faugeras D. Bjørner, C. A. R. Hoare, H. Langmaack

1990 1990

Springer Springer

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

1990

Springer

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

Alfonso Miola

1990

Springer

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

Lionel E. Deimel Niels Houbak

1990 1990

Springer Springer

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

J. W. Bakker, W. -P. Roever, G. Rozenberg

1990

Springer

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

A. Arnold Neil Jones

1990 1990

Springer Springer

http://dx.doi.org/10.1007/3-540-52590-4 http://dx.doi.org/10.1007/3-540-52592-0

Wolfgang Schröder-Preikschat, Wolfgang Zimmer

1990

Springer

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

Bo Steinholtz, Arne Sølvberg, Lars Bergman

1990

Springer

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

Gilles Brassard

1990

Springer

http://dx.doi.org/10.1007/0-387-34805-0

1990

Springer

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

1990

Springer

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

J. C. M. Baeten, J. W. Klop

1990

Springer

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

P. Deransart, M. Jourdan

1990

Springer

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

Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki

1990

Springer

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

Branislav Rovan

1990

Springer

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

Jennifer Seberry, Josef Pieprzyk

1990

Springer

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

Volker Diekert

1990

Springer

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

Christodoulos A. Floudas, Panos M. Pardalos

1990

Springer

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

Pierre Deransart, Jan Maluszyoski

1990

Springer

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

Takayasu Ito, Robert H. Halstead

1990

Springer

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

M. Main, A. Melton, M. Mislove, D. Schmidt

1990

Springer

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

Michael S. Paterson

1990

Springer

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

Antonetta J. M. Gasteren

1990

Springer

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

John R. Gilbert, Rolf Karlsson Luis B. Almeida, Christian J. Wellekens

1990

Springer

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

1990

Springer

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

Jürgen Dassow, Jozef Kelemen

1990

Springer

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

Albrecht Blaser Helmar Burkhart Jean-Jacques Quisquater, Joos Vandewalle Jean-Jacques Quisquater, Joos Vandewalle

1990 1990

Springer Springer

http://dx.doi.org/10.1007/3-540-53397-4 http://dx.doi.org/10.1007/3-540-53065-7

1990

Springer

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

1990

Springer

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

Irène Guessarian

1990

Springer

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

Douglas H. Norrie, Hans-Werner Six Egon Börger, Hans Kleine Büning, Michael M. Richter

Beng Chin Ooi

1990

Springer

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

1990

Springer

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

1990

Springer

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

Peter Gorny, Michael J. Tauber

1990

Springer

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

Tamiya Onodera, Satoru Kawai

1990

Springer

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

Barbara Simons, Alfred Spector

1990

Springer

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

Rudi Studer Jürgen Uhl, Hans Albrecht Schmid Hélène Kirchner, Wolfgang Wechler Serge Abiteboul, Paris C. Kanellakis Kesav V. Nori, C. E. Veni Madhavan

1990

Springer

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

1990

Springer

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

1990

Springer

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

1990

Springer

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

1991

Springer

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

Ivan Bjerre Damgård

1991

Springer

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

Dimitris Karagiannis

1991

Springer

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

Dieter Hammer Christian Choffrut, Matthias Jantzen

1991

Springer

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

1991

Springer

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

S. Abramsky, T. S. E. Maibaum

1991

Springer

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

S. Abramsky, T. S. E. Maibaum

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991

Springer

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

S. G. Akl, F. Fiala, W. W. Koczkodaj Fred Long

Bernhard Thalheim, János Demetrovics, H. -D. Gerhardt Hans-Paul Schwefel, Reinhard Männer Frank Dehne, Frantisek Fiala, Waldemar W. Koczkodaj Rudolf Andersen, Janis A. Bubenko, Arne Sølvberg Dimitris Christodoulakis Martin Held Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella Janis Bārzdinš, Dines Bjørner

Pierre America Joachim W. Schmidt, Anatoly A. Stogny Emile H. L. Aarts, Jan Leeuwen, Martin Rem Emile H. L. Aarts, Jan Leeuwen, Martin Rem

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991

Springer

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

Shojiro Sakata

1991

Springer

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

A. Endres, H. Weber

1991

Springer

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

Helmut Schmidt

1991

Springer

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

Grzegorz Rozenberg

1991

Springer

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

Rolf H. Möhring

1991

Springer

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

Jan Leeuwen, Nicola Santoro Arndt Bode

1991 1991

Springer Springer

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

Ronald V. Book

1991

Springer

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

J. W. Bakker, W. P. Roever, G. Rozenberg

1991

Springer

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

J. A. Bergstra, L. M. G. Feijs

1991

Springer

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

Akinori Yonezawa, Takayasu Ito

1991

Springer

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

Duvvuru Sriram, Robert Logcher, Shuichi Fukuda

1991

Springer

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

Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh

1991

Springer

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

John Hughes

1991

Springer

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

Oliver Günther, Hans-Jörg Schek

1991

Springer

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

Takayasu Ito, Albert R. Meyer

1991

Springer

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

Jos C. M. Baeten, Jan Frisco Groote

1991

Springer

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

Jan Maluszyoski, Martin Wirsing

1991

Springer

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

1991

Springer

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

Edmund M. Clarke, Robert P. Kurshan

1991

Springer

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

Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991

Springer

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

Harold F. Mattson, Teo Mora, T. R. N. Rao

1991

Springer

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

Alberto Prieto

1991

Springer

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

Henk Alblas, Bořivoj Melichar

1991

Springer

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

Rudolf Kruse, Pierre Siegel

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991

Springer

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

1991 1991

Springer Springer

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

1991

Springer

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

Manfred Broy, Martin Wirsing

1991

Springer

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

Donald W. Davies

1991

Springer

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

Axel Lamsweerde, Alfonso Fugetta

1991

Springer

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

S. Prehn, W. J. Toetenel

1991

Springer

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

Søren Prehn, Hans Toetenel

1991

Springer

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

H. Bieri, H. Noltemeier

1991

Springer

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

Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld H. Ehrig, K. P. Jantke, F. Orejas, H. Reichel James E. Tomayko Masakazu Kojima, Nimrod Megiddo, Toshihito Noma, Akiko Yoshise

Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo Alan C. F. Colchester, David J. Hawkes Pierre America Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro Grzegorz Rozenberg L. Budach Alfred J. Menezes, Scott A. Vanstone

Gösta Grahne

1991

Springer

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

Hermann Maurer

1991

Springer

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

Wen-Lian Hsu, R. C. T. Lee

1991

Springer

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

Andrzej Tarlecki

1991

Springer

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

Jean-Marie Jacquet

1991

Springer

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

Jozef Hooman

1991

Springer

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

G. Butler

1991

Springer

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

Somenath Biswas, Kesav V. Nori

1991

Springer

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

Ruth Breu

1991

Springer

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

Cunsheng Ding, Guozhen Xiao, Weijuan Shan

1991

Springer

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

C. Delobel, M. Kifer, Y. Masunaga

1991

Springer

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

A. Beaumont, G. Gupta Naveed A. Sherwani, Elise Doncker, John A. Kapenga

1991

Springer

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

1991

Springer

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

Gérard Cohen, Pascale Charpin

1991

Springer

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

S. Kaplan, M. Okada

1991

Springer

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

Arthur Karshmer, Jürgen Nehmer

1991

Springer

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

Ivan Herman

1991

Springer

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

1991

Springer

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

1991

Springer

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

Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello

1991

Springer

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

Harold Boley, Michael M. Richter

1991

Springer

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

Jan Vytopil

1992

Springer

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

K. U. Schulz Joan Feigenbaum

1992 1992

Springer Springer

http://dx.doi.org/10.1007/3-540-55124-7 http://dx.doi.org/10.1007/3-540-46766-1

Gunther Schmidt, Rudolf Berghammer Pedro Barahona, Luís Moniz Pereira, António Porto

Alain Finkel, Matthias Jantzen

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992 1992 1992

Springer Springer Springer

http://dx.doi.org/10.1007/3-540-55251-0 http://dx.doi.org/10.1007/3-540-55253-7 http://dx.doi.org/10.1007/BFb0023811

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992 1992

Springer Springer

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

Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua

1992

Springer

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

Hans P. Zima

1992

Springer

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

Pericles Loucopoulos

1992

Springer

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

B. Monien, Th. Ottmann

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992

Springer

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

R. G. Herrtwich

1992

Springer

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

Ole Lehrmann Madsen

1992

Springer

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

Thomas Beth, Markus Frisch, Gustavus J. Simmons Kim G. Larsen, Arne Skou Sam Toueg, Paul G. Spirakis, Lefteris Kirousis Alain Pirotte, Claude Delobel, Goerg Gottlob J. -C. Raoult Bernd Krieg-Brückner Imre Simon Gérard Cohen, Antoine Lobstein, Gilles Zémor, Simon Litsyn Jean Pierre Banâtre, Daniel Métayer Richard E. Zippel Franz Pichler, Roberto Moreno Díaz Andrew Cheese G. Sandini

Claude Frasson, Gilles Gauthier, Gordon I. McCalla M. Tokoro, O. Nierstrasz, P. Wegner Donald E. Knuth Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg J. Paul Myers, Michael J. O'Donnell

D. Dolev, Z. Galil, M. Rodeh Ivan Tomek J. Katwijk

1992 1992 1992

Springer Springer Springer

http://dx.doi.org/10.1007/BFb0035160 http://dx.doi.org/10.1007/3-540-55578-1 http://dx.doi.org/10.1007/3-540-55585-4

M. Levene

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992 1992

Springer Springer

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

Toshihide Ibaraki, Yasuyoshi Inagaki, Kazuo Iwama, Takao Nishizeki, Masafumi Yamashita

1992

Springer

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

Ron Koymans

1992

Springer

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

Hélène Kirchner, Giorgio Levi

1992

Springer

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

Maurice Bruynooghe, Martin Wirsing

1992

Springer

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

Yves Bekkers, Jacques Cohen G. Vosselman

1992 1992

Springer Springer

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

Ivan M. Havel, Václav Koubek

1992

Springer

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

W.R. Cleaveland

1992

Springer

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

W. Vogler

1992

Springer

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

1992

Springer

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

1992

Springer

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

Annegret Habel

1992

Springer

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

Joachim Biskup, Richard Hull Adrian Segall, Shmuel Zaks Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater

1992 1992

Springer Springer

http://dx.doi.org/10.1007/3-540-56039-4 http://dx.doi.org/10.1007/3-540-56188-9

1992

Springer

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

W. Kuich

1992

Springer

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

G. Pernul, AM. Tjoa

1992

Springer

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

A. U. Frank, I. Campari, U. Formentini

1992

Springer

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

Daniel Etiemble, Jean-Claude Syre Grzegorz Rozenberg Luc Bougé, Michel Cosnard, Yves Robert, Denis Trystram Jean-Claude Derniame A. Pettorossi

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter Uwe Kastens, Peter Pfahler

Carol Sledge Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber

1992

Springer

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

1992

Springer

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

Rudrapatna Shyamasundar

1992

Springer

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

K. Jensen

1992

Springer

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

1992

Springer

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

1992

Springer

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

1992

Springer

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

A. Bensoussan, J. -P. Verjus

1992

Springer

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

Michel Bidoit, Christine Choppy

1992

Springer

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

André Schiper Lorenzo Donatiello, Randolph Nelson Michaël Rusinowitch, Jean-Luc Rémy

1993

Springer

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

1993

Springer

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

1993

Springer

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

Ernst W. Mayr

1993

Springer

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

Rainer A. Rueppel

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick S. P. Wang, Katsushi Inoue Peter M. D. Gray, Rob J. Lucas James Pustejovsky, Sabine Bergler

Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt E. Lamma, P. Mello Stephen José Hanson, Werner Remmele, Ronald L. Rivest Mark Nitzberg, David Mumford, Takahiro Shiota Gregor Bochmann, David Karl Probst Marc Bezem, Jan Friso Groote P. Enjalbert, A. Finkel, K. W. Wagner J. W. Bakker, W. -P. Roever, G. Rozenberg Pavel B. Brazdil M. -C. Gaudel, J. -P. Jouannaud

R. S. Bird, C. C. Morgan, J. C. P. Woodcock James C. P. Woodcock, Peter G. Larsen

1993

Springer

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

1993

Springer

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

Hans Jürgen Ohlbach

1993

Springer

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

Amnon Barak, Shai Guday, Richard G. Wheeler

1993

Springer

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

Gérard Cohen, Teo Mora, Oscar Moreno

1993

Springer

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

Grzegorz Rozenberg Anne Mulkers

1993 1993

Springer Springer

http://dx.doi.org/10.1007/3-540-56689-9 http://dx.doi.org/10.1007/3-540-56694-5

Thomas H. Reiss

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

Harrison H. Barrett, A. F. Gmitro

1993

Springer

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

Michel Gauthier Jan Komorowski, Zbigniew W. Raś

1993

Springer

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

1993

Springer

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

Marco Ajmone Marsan

1993

Springer

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

David Abel, Beng Chin Ooi

1993

Springer

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

Peter E. Lauer

1993

Springer

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

Habib Abdulrab, Jean-Pierre Pécuchet F. Meyer, B. Monien, A. L. Rosenberg C. Fermüller, A. Leitsch, T. Tammet, N. Zamov Berthold Hoffmann, Bernd KriegBrückner Heinrich Wansing Bernadette Bouchon-Meunier, Llorenç Valverde, Ronald R. Yager George J. Milne, Laurence Pierre Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber Colette Rolland, François Bodart, Corine Cauvet José Mira, Joan Cabestany, Alberto Prieto

Arndt Bode, Mike Reeve, Gottfried Wolf

1993

Springer

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

Erich P. Klement, Wolfgang Slany

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

Paolo Atzeni

1993

Springer

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

E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter

1993

Springer

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

Mark Berg

1993

Springer

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

Frances Newbery Paulisch

1993

Springer

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

Herbert Grünbacher, Reiner W. Hartenstein

1993

Springer

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

H. Dieter Rombach, Victor R. Basili, Richard W. Selby

1993

Springer

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

Oscar M. Nierstrasz

1993

Springer

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

Christian Laugier

1993

Springer

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

Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro, Sue Whitesides

1993

Springer

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

Zoltán Ésik Andrzej M. Borzyszkowski, Stefan Sokołowski

1993

Springer

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

1993

Springer

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

P. Venkat Rangan

1993

Springer

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

Georg Gottlob, Alexander Leitsch, Daniele Mundici

1993

Springer

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

Maurice Bruynooghe, Jaan Penjam

1993

Springer

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

Eike Best

1993

Springer

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

Michael Frederick Worboys, Anna Frances Grundy Costas Courcoubetis Andrei Voronkov Guy W. Mineau, Bernard Moulin, John F. Sowa Andrzej Lingas, Rolf Karlsson, Svante Carlsson

Andrew U. Frank, Irene Campari

1993

Springer

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

Ian Sommerville, Manfred Paul

1993

Springer

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

Jennifer Seberry, Yuliang Zheng

1993

Springer

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

1993

Springer

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

1993

Springer

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

John Fitch

1993

Springer

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

Alfonso Miola

1993

Springer

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

N. Aussenac, G. Boy, B. Gaines, M. Linster, J. -G. Ganascia, Y. Kodratoff

1993

Springer

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

Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy

1993

Springer

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

Thomas Lengauer Miguel Filgueiras, Luís Damas Pietro Torasso

1993 1993 1993

Springer Springer Springer

http://dx.doi.org/10.1007/3-540-57273-2 http://dx.doi.org/10.1007/3-540-57287-2 http://dx.doi.org/10.1007/3-540-57292-9

David B. Lomet

1993

Springer

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

Alexander Schill

1993

Springer

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

Arndt Bode, Mario Cin

1993

Springer

http://dx.doi.org/10.1007/978-3-662-21577-7

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

Dmitry Chetverikov, Walter G. Kropatsch Vladimír Mařík, Jiří Lažanský, Roland R. Wagner

Thomas Grechenig, Manfred Tscheligi Jens Volkert Dines Bjørner, Manfred Broy, Igor V. Pottosin Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel Jacques Calmet, John A. Campbell Matthias Weber, Martin Simons, Christine Lafontaine Hideki Imai, Ronald L. Rivest, Tsutomu Matsumoto Ernest F. Brickell Bart Preneel, René Govaerts, Joos Vandewalle

Shojiro Nishio, Akinori Yonezawa

1993

Springer

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

Shuji Doshita, Koichi Furukawa, Klaus P. Jantke, Toyaki Nishida

1993

Springer

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

1993

Springer

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

1993

Springer

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

Andranick S. Tanguiane

1993

Springer

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

Michael Clarke, Rudolf Kruse, Serafín Moral

1993

Springer

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

Robert H. Halstead, Takayasu Ito

1993

Springer

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

Peter A. Fritzson

1993

Springer

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

Jorge L. Díaz-Herrera Bernd Jähne

1993 1993

Springer Springer

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

Timothy W. Finin, Charles K. Nicholas, Yelena Yesha

1993

Springer

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

1993

Springer

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

1993

Springer

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

1993

Springer

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

Josef Pieprzyk, Babak Sadeghiyan

1993

Springer

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

Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua

1993

Springer

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

Monique Teillaud

1993

Springer

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

1993

Springer

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

1993

Springer

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

Rudrapatna K. Shyamasundar

1993

Springer

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

K. W. Ng, P. Raghavan, N. V. Balasubramanian, F. Y. L. Chin

1993

Springer

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

Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori Vito Roberto

Leonard J. Bass, Juri Gornostaev, Claus Unger Heather D. Pfeiffer, Timothy E. Nagle Bernhard Möller, Helmut Partsch, Steve Schuman

Nabil R. Adam, Bharat K. Bhargava Stefano Ceri, Katsumi Tanaka, Shalom Tsur

Henk Barendregt, Tobias Nipkow

1994

Springer

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

Wolfgang Gentzsch, Uwe Harms

1994

Springer

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

Serge Abiteboul, Eli Shamir

1994

Springer

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

Witold Litwin, Tore Risch Jan-Olof Eklundh Jan-Olof Eklundh

1994 1994 1994

Springer Springer Springer

http://dx.doi.org/10.1007/3-540-58183-9 http://dx.doi.org/10.1007/3-540-57956-7 http://dx.doi.org/10.1007/BFb0028329

Elisa Bertino, Susan Urban

1994

Springer

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

Jan Leeuwen Gerard Tel, Paul Vitányi Peter A. Fritzson

1994 1994 1994

Springer Springer Springer

http://dx.doi.org/10.1007/BFb0049390 http://dx.doi.org/10.1007/BFb0020419 http://dx.doi.org/10.1007/3-540-57877-3

Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman

1994

Springer

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

1994

Springer

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

1994

Springer

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

Tor Helleseth

1994

Springer

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

Philip R. Loocke

1994

Springer

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

Martin Gogolla

1994

Springer

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

Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua

1994

Springer

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

J. L. Nazareth Peter Haddawy Gerald Tomas, Christoph W. Ueberhuber Brian C. Warboys Douglas R. Stinson

1994 1994

Springer Springer

http://dx.doi.org/10.1007/3-540-57671-1 http://dx.doi.org/10.1007/3-540-57697-5

1994

Springer

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

1994 1994

Springer Springer

http://dx.doi.org/10.1007/3-540-57739-4 http://dx.doi.org/10.1007/3-540-48329-2

Michel Banâtre, Peter A. Lee

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

Franz Pichler, Roberto Moreno Díaz Gerd Wagner

Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner Hans Jürgen Schneider, Hartmut Ehrig Kai Luck, Heinz Marburger M. Bonuccelli, P. Crescenzi, R. Petreschi Matthias Jarke, Janis Bubenko, Keith Jeffery

Jeffrey J. Joyce, Carl-Johan H. Seger G. Cohen, S. Litsyn, A. Lobstein, G. Zémor

1994

Springer

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

1994

Springer

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

Jürg Gutknecht

1994

Springer

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

Christoph G. Günther

1994

Springer

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

Francesco Bergadano, Luc Raedt

1994

Springer

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

Hartmut Ehrig, Fernando Orejas

1994

Springer

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

Sophie Tison

1994

Springer

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

Donald Sannella

1994

Springer

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

Masami Hagiya, John C. Mitchell

1994

Springer

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

Jan Leeuwen

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

Günter Haring, Gabriele Kotsis

1994

Springer

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

Warren A. Hunt

1994

Springer

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

Wolfgang Gentzsch, Uwe Harms

1994

Springer

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

Roy Dyckhoff Munindar P. Singh

1994 1994

Springer Springer

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

Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt

1994

Springer

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

J. W. Bakker, W. -P. Roever, G. Rozenberg

1994

Springer

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

Daniel Hernández

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill Neil D. Jones, Masami Hagiya, Masahiko Sato T. Aaron Gulliver, Norman P. Secord

Michel Cosnard, Afonso Ferreira, Joseph Peters Maxime Crochemore, Dan Gusfield Michael Masuch, László Pólos

Ross Anderson Gerhard Lakemeyer, Bernhard Nebel Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg

1994

Springer

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

1994

Springer

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

1994

Springer

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

Anil Nerode, Yu. V. Matiyasevich

1994

Springer

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

Alan Bundy

1994

Springer

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

Robert Valette

1994

Springer

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

Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow

1994

Springer

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

Costas Halatsis, Dimitrios Maritsas, George Philokyprou, Sergios Theodoridis

1994

Springer

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

David L. Dill Mario Tokoro, Remo Pareschi

1994 1994

Springer Springer

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

Frank Pfenning

1994

Springer

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

Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim

1994

Springer

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

Erik M. Schmidt, Sven Skyum Joseph L. Mundy, Andrew Zisserman, David Forsyth David S. Bowers Dov M. Gabbay, Hans Jürgen Ohlbach Lawrence C. Paulson Andrew Chmora, Stephen B. Wicker Cristiano Castelfranchi, Eric Werner Vincent Bouchitté, Michel Morvan Egon Börger, Yuri Gurevich, Karl Meinke Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

Ding-Zhu Du, Xiang-Sun Zhang

1994

Springer

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

Bengt Jonsson, Joachim Parrow

1994

Springer

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

Bengt Jonsson, Joachim Parrow

1994

Springer

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

Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter Craig MacNish, David Pearce, Luís Moniz Pereira Yvo G. Desmedt Gerhard Reinelt Igor Prívara, Branislav Rovan, Peter Ruzička Ton Kloks

1994

Springer

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

1994

Springer

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

1994 1994

Springer Springer

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

1994

Springer

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

1994

Springer

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

Andrzej Szepietowski

1994

Springer

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

Manuel Hermenegildo, Jaan Penjam

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

Reiner W. Hartenstein, Michal Z. Servít

1994

Springer

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

Giorgio Levi, Mario RodríguezArtalejo

1994

Springer

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

Hans-Jürgen Kugler, Al Mullery, Norbert Niebert

1994

Springer

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

Klaus Echtle, Dieter Hammer, David Powell

1994

Springer

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

Kevin Bolding, Lawrence Snyder

1994

Springer

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

Bruno Buchberger, Jens Volkert

1994

Springer

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

Dimitris Karagiannis

1994

Springer

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

1994

Springer

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

1994

Springer

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

1994

Springer

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

Rafael C. Carrasco, Jose Oncina

1994

Springer

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

Hans Langmaack, Willem-Paul Roever, Jan Vytopil

1994

Springer

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

Jean-Pierre Jouannaud Doug Shepherd, Gordon Blair, Geoff Coulson, Nigel Davies, Francisco Garcia Anca L. Ralescu Arnold R. Krommer, Christoph W. Ueberhuber

Thomas F. Melham, Juanito Camilleri Wolfgang L. Zagler, Geoffrey Busby, Roland R. Wagner Bernhard Nebel, Leonie Dreschler-Fischer

Baudouin Charlier Terence C. Fogarty Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer Luc Steels, Guus Schreiber, Walter Velde

1994 1994

Springer Springer

http://dx.doi.org/10.1007/3-540-58485-4 http://dx.doi.org/10.1007/3-540-58483-8

1994

Springer

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

1994

Springer

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

Ralf Steinmetz

1994

Springer

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

Zbigniew W. Raś, Maria Zemankova

1994

Springer

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

Jonathan S. Greenfield

1994

Springer

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

John P. Lee, Georges G. Grinstein

1994

Springer

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

Setsuo Arikawa, Klaus P. Jantke

1994

Springer

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

Maurice Naftalin, Tim Denvir, Miquel Bertran

1994

Springer

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

Alan Borning

1994

Springer

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

Dieter Gollmann Brad Blumenthal, Juri Gornostaev, Claus Unger Leonard M. Adleman, Ming-Deh Huang

1994

Springer

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

1994

Springer

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

1994

Springer

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

Toru Ishida

1994

Springer

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

Jack Dongarra, Jerzy Waśniewski

1994

Springer

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

P. S. Thiagarajan

1994

Springer

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

Pericles Loucopoulos

1994

Springer

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

D. Hutchison, A. Danthine, H. Leopold, G. Coulson

1994

Springer

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

Laurent Fribourg, Franco Turini

1994

Springer

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

Jürg Nievergelt, Thomas Roos, Hans-Jörg Schek, Peter Widmayer

1994

Springer

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

Remco C. Veltkamp

1994

Springer

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

Manuela M. Veloso

1994

Springer

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

Marcel Toussaint

1994

Springer

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

Stig I. Andersson

1994

Springer

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

Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach

1995

Springer

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

Angel Pasqual Pobil, Miguel Angel Serna

1995

Springer

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

Hannes P. Lubich

1995

Springer

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

Michael J. Wooldridge, Nicholas R. Jennings

1995

Springer

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

Claus Lewerentz, Thomas Lindner

1995

Springer

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

Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua

1995

Springer

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

Georg Gottlob, Moshe Y. Vardi

1995

Springer

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

1995

Springer

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

1995

Springer

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

Richard N. Taylor, Joëlle Coutaz

1995

Springer

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

Michael Fisher, Richard Owens

1995

Springer

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

Petra Steffens Wolfgang Banzhaf, Frank H. Eeckman Ernst W. Mayr, Claude Puech

1995

Springer

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

1995

Springer

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

1995

Springer

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

Ramayya Kumar, Thomas Kropf

1995

Springer

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

1995

Springer

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

1995

Springer

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

1995

Springer

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

Nicholas Ayache

1995

Springer

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

Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki

1995

Springer

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

Takayasu Ito, Akinori Yonezawa

1995

Springer

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

Josyula Ramachandra Rao Hubert Comon, Jean-Pierre Jounnaud

1995

Springer

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

1995

Springer

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

Roberto Tamassia, Ioannis G. Tollis Rosalind L. Ibrahim

Mariangiola Dezani-Ciancaglini, Gordon Plotkin Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer Paul Vitányi

Andreas Podelski

1995

Springer

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

1995

Springer

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

1995 1995

Springer Springer

http://dx.doi.org/10.1007/3-540-59286-5 http://dx.doi.org/10.1007/3-540-59205-9

1995

Springer

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

1995

Springer

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

1995

Springer

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

1995

Springer

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

1995

Springer

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

Egon Balas, Jens Clausen

1995

Springer

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

Louis C. Guillou, Jean-Jacques Quisquater

1995

Springer

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

Heiko Dörr

1995

Springer

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

Manfred Meyer Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa Johan Jeuring, Erik Meijer Paolo Nesi

1995

Springer

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

1995

Springer

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

1995 1995

Springer Springer

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

Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski

1995

Springer

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

V. Wiktor Marek, Anil Nerode, M. Truszczyoski

1995

Springer

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

Federico Morán, Alvaro Moreno, Juan Julián Merelo, Pablo Chacón

1995

Springer

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

José Mira, Francisco Sandoval

1995

Springer

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

P. J. Braspenning, F. Thuijsman, A. J. M. M. Weijters

1995

Springer

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

Juhani Iivari, Kalle Lyytinen, Matti Rossi

1995

Springer

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

Leszek Pacholski, Jerzy Tiuryn

1995

Springer

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

Pedro Barahona, Mario Stefanelli, Jeremy Wyatt

1995

Springer

http://dx.doi.org/10.1007/3-540-60025-6

Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete Nada Lavrac, Stefan Wrobel Wilhelm Schäfer Jieh Hsiang Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha Josef Pieprzyk, Reihanah SafaviNaini Peter Baumgartner, Reiner Hähnle, Joachim Possega Bob Hertzberger, Giuseppe Serazzi

Giorgio Michelis, Michel Diaz

1995

Springer

http://dx.doi.org/10.1007/3-540-60029-9

V. S. Alagar, Maurice Nivat

1995

Springer

http://dx.doi.org/10.1007/3-540-60043-4

Zvi Galil, Esko Ukkonen

1995

Springer

http://dx.doi.org/10.1007/3-540-60044-2

Kenneth P. Birman, Friedemann Mattern, André Schiper

1995

Springer

http://dx.doi.org/10.1007/3-540-60042-6

Pierre Wolper Carole Goble, John Keane

1995 1995

Springer Springer

http://dx.doi.org/10.1007/3-540-60045-0 http://dx.doi.org/10.1007/BFb0000536

Marco Cadoli

1995

Springer

http://dx.doi.org/10.1007/3-540-60058-2

Günter Böckle

1995

Springer

http://dx.doi.org/10.1007/BFb0017665

Wolfgang Klas, Michael Schrefl

1995

Springer

http://dx.doi.org/10.1007/BFb0027185

Zoltán Fülöp, Ferenc Gécseg

1995

Springer

http://dx.doi.org/10.1007/3-540-60084-1

Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh

1995

Springer

http://dx.doi.org/10.1007/BFb0035932

Christine Froidevaux, Jürg Kohlas

1995

Springer

http://dx.doi.org/10.1007/3-540-60112-0

Bernhard Möller

1995

Springer

http://dx.doi.org/10.1007/3-540-60117-1

Gérard Cohen, Marc Giusti, Teo Mora

1995

Springer

http://dx.doi.org/10.1007/3-540-60114-7

Dror G. Feitelson, Larry Rudolph

1995

Springer

http://dx.doi.org/10.1007/3-540-60153-8

Alfredo Santis

1995

Springer

http://dx.doi.org/10.1007/BFb0053418

Max J. Egenhofer, John R. Herring

1995

Springer

http://dx.doi.org/10.1007/3-540-60159-7

Mario Tokoro, Remo Pareschi

1995

Springer

http://dx.doi.org/10.1007/3-540-49538-X

David Pitt, David E. Rydeheard, Peter Johnstone

1995

Springer

http://dx.doi.org/10.1007/3-540-60164-3

Gerard Ellis, Robert Levinson, William Rich, John F. Sowa

1995

Springer

http://dx.doi.org/10.1007/3-540-60161-9

Selim G. Akl, Frank Dehne, JörgRüdiger Sack, Nicola Santoro

1995

Springer

http://dx.doi.org/10.1007/3-540-60220-8

Xin Yao

1995

Springer

http://dx.doi.org/10.1007/3-540-60154-6

Cristiano Castelfranchi, JeanPierre Müller

1995

Springer

http://dx.doi.org/10.1007/BFb0027051

Jacques Calmet, John A. Campbell

1995

Springer

http://dx.doi.org/10.1007/3-540-60156-2

Ding-Zhu Du, Ming Li Daniel Leivant

1995 1995

Springer Springer

http://dx.doi.org/10.1007/BFb0030813 http://dx.doi.org/10.1007/3-540-60178-3

Klaus P. Jantke, Steffen Lange

1995

Springer

http://dx.doi.org/10.1007/3-540-60217-8

Insup Lee, Scott A. Smolka Don Coppersmith Victor Malyshkin Horst Reichel Seif Haridi, Khayri Ali, Peter Magnusson Jonathan P. Bowen, Michael G. Hinchey Nachum Dershowitz, Naomi Lindenstrauss

1995 1995 1995 1995

Springer Springer Springer Springer

http://dx.doi.org/10.1007/3-540-60218-6 http://dx.doi.org/10.1007/3-540-44750-4 http://dx.doi.org/10.1007/3-540-60222-4 http://dx.doi.org/10.1007/3-540-60249-6

1995

Springer

http://dx.doi.org/10.1007/BFb0020448

1995

Springer

http://dx.doi.org/10.1007/3-540-60271-2

1995

Springer

http://dx.doi.org/10.1007/3-540-60381-6

Jiří Wiedermann, Petr Hájek

1995

Springer

http://dx.doi.org/10.1007/3-540-60246-1

Václav Hlaváč, Radim Šára

1995

Springer

http://dx.doi.org/10.1007/3-540-60268-2

1995

Springer

http://dx.doi.org/10.1007/3-540-60275-5

1995

Springer

http://dx.doi.org/10.1007/BFb0022134

1995

Springer

http://dx.doi.org/10.1007/3-540-60286-0

1995

Springer

http://dx.doi.org/10.1007/3-540-60298-4

Will Moore, Wayne Luk

1995

Springer

http://dx.doi.org/10.1007/3-540-60294-1

Ugo Montanari, Francesca Rossi

1995

Springer

http://dx.doi.org/10.1007/3-540-60299-2

Heinz Beilner, Falko Bause

1995

Springer

http://dx.doi.org/10.1007/BFb0024302

Norman Revell, A Min Tjoa

1995

Springer

http://dx.doi.org/10.1007/BFb0049099

Paul Spirakis

1995

Springer

http://dx.doi.org/10.1007/3-540-60313-1

Afonso Ferreira, José Rolim

1995

Springer

http://dx.doi.org/10.1007/3-540-60321-2

Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer

1995

Springer

http://dx.doi.org/10.1007/3-540-60343-3

E. Thomas Schubert, Philip J. Windley, James Alves-Foss Jean-Michel Hélary, Michel Raynal Heimo H. Adelsberger, Jiří Lažanský, Vladimír Mařík Carlo Braccini, Leila DeFloriani, Gianni Vernazza

Manuel Hermenegildo, S. Doaitse Swierstra

1995

Springer

http://dx.doi.org/10.1007/BFb0026808

Alan Mycroft Jean-Paul Haton, Mark Keane, Michel Manago Timos Sellis Henry G. Baler

1995

Springer

http://dx.doi.org/10.1007/3-540-60360-3

1995

Springer

http://dx.doi.org/10.1007/3-540-60364-6

1995 1995

Springer Springer

http://dx.doi.org/10.1007/3-540-60365-4 http://dx.doi.org/10.1007/3-540-60368-9

Paolo E. Camurati, Hans Eveking

1995

Springer

http://dx.doi.org/10.1007/3-540-60385-9

Andrew U. Frank, Werner Kuhn

1995

Springer

http://dx.doi.org/10.1007/3-540-60392-1

Wilhelm Schäfer, Pere Botella

1995

Springer

http://dx.doi.org/10.1007/3-540-60406-5

1995

Springer

http://dx.doi.org/10.1007/3-540-60428-6

1995

Springer

http://dx.doi.org/10.1007/BFb0034792

1995 1995

Springer Springer

http://dx.doi.org/10.1007/3-540-60437-5 http://dx.doi.org/10.1007/3-540-60469-3

1995

Springer

http://dx.doi.org/10.1007/3-540-60477-4

Silvia M. Müller, Wolfgang J. Paul

1995

Springer

http://dx.doi.org/10.1007/3-540-60580-0

Peter Dybjer, Bengt Nordström, Jan Smith

1995

Springer

http://dx.doi.org/10.1007/3-540-60579-7

Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann

1995

Springer

http://dx.doi.org/10.1007/3-540-60454-5

1995

Springer

http://dx.doi.org/10.1007/BFb0016951

1995

Springer

http://dx.doi.org/10.1007/3-540-60472-3

1995

Springer

http://dx.doi.org/10.1007/BFb0015232

Madhu Sudan

1995

Springer

http://dx.doi.org/10.1007/3-540-60615-7

James Jay Kistler

1995

Springer

http://dx.doi.org/10.1007/3-540-60627-0

P. Pandurang Nayak

1995

Springer

http://dx.doi.org/10.1007/3-540-60641-6

1995

Springer

http://dx.doi.org/10.1007/BFb0015401

1995

Springer

http://dx.doi.org/10.1007/3-540-60578-9

1995

Springer

http://dx.doi.org/10.1007/3-540-60584-3

Carlos Pinto-Ferreira, Nuno J. Mamede Jacques Wainer, Ariadne Carvalho Marco Gori, Giovanni Soda Terence C. Fogarty Martial Hebert, Jean Ponce, Terry Boult, Ari Gross

Anne Clarke, Mario Campolargo, Nikos Karatzas Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry Jan Leeuwen

John Staples, Peter Eades, Naoki Katoh, Alistair Moffat Jacky Estublier Subhash Bhalla

Antoon Bosselaers, Bart Preneel

1995

Springer

http://dx.doi.org/10.1007/3-540-60640-8

Bart Preneel

1995

Springer

http://dx.doi.org/10.1007/3-540-60590-8

Manfred Broy, Stefan Jähnichen

1995

Springer

http://dx.doi.org/10.1007/BFb0015452

Manuela Veloso, Agnar Aamodt

1995

Springer

http://dx.doi.org/10.1007/3-540-60598-3

Takeshi Furuhashi

1995

Springer

http://dx.doi.org/10.1007/3-540-60607-6

1995

Springer

http://dx.doi.org/10.1007/3-540-60609-2

1995

Springer

http://dx.doi.org/10.1007/3-540-60608-4

1995

Springer

http://dx.doi.org/10.1007/3-540-60614-9

Roberto Cipolla

1995

Springer

http://dx.doi.org/10.1007/3-540-60642-4

Manfred Nagl

1995

Springer

http://dx.doi.org/10.1007/3-540-60618-1

Thomas D. C. Little, Riccardo Gusella

1995

Springer

http://dx.doi.org/10.1007/BFb0019246

E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen

1995

Springer

http://dx.doi.org/10.1007/3-540-60630-0

Ian D. Watson

1995

Springer

http://dx.doi.org/10.1007/3-540-60654-8

Michael P. Papazoglou

1995

Springer

http://dx.doi.org/10.1007/BFb0020515

Pieter H. Hartel, Rinus Plasmeijer

1995

Springer

http://dx.doi.org/10.1007/3-540-60675-0

Kanchana Kanchanasut, JeanJacques Lévy

1995

Springer

http://dx.doi.org/10.1007/3-540-60688-2

Roland T. Chin, Horace H. S. Ip, Avi C. Naiman, Ting-Chuen Pong

1995

Springer

http://dx.doi.org/10.1007/3-540-60697-1

Colin Boyd

1995

Springer

http://dx.doi.org/10.1007/3-540-60693-9

P. S. Thiagarajan

1995

Springer

http://dx.doi.org/10.1007/3-540-60692-0

Franz J. Brandenburg Nabil R. Adam, Yelena Yesha Ed Dawson, Jovan Golid

1995 1995 1995

Springer Springer Springer

http://dx.doi.org/10.1007/BFb0021783 http://dx.doi.org/10.1007/3-540-60738-2 http://dx.doi.org/10.1007/BFb0032342

Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht

1995

Springer

http://dx.doi.org/10.1007/BFb0034745

Marcel Toussaint

1995

Springer

http://dx.doi.org/10.1007/BFb0015477

Patrice Godefroid

1995

Springer

http://dx.doi.org/10.1007/3-540-60761-7

Miroslav Bartosek, Jan Staudek, Jirí Wiedermann Tok Wang Ling, Alberto O. Mendelzon, Laurent Vieille Brad Blumenthal, Juri Gornostaev, Claus Unger

Jean Ponce, Andrew Zisserman, Martial Hebert

1996

Springer

http://dx.doi.org/10.1007/3-540-61750-7

Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua

1996

Springer

http://dx.doi.org/10.1007/BFb0014187

Gabriel Kuper, Mark Wallace

1996

Springer

http://dx.doi.org/10.1007/3-540-60794-3

Stan Z. Li, Dinesh P. Mital, Eam Khwang Teoh, Han Wang

1996

Springer

http://dx.doi.org/10.1007/3-540-60793-5

Giovanni Adorni, Michael Zock

1996

Springer

http://dx.doi.org/10.1007/3-540-60800-1

Michael Wooldridge, Jörg P. Müller, Milind Tambe

1996

Springer

http://dx.doi.org/10.1007/3-540-60805-2

Walter Velde, John W. Perram

1996

Springer

http://dx.doi.org/10.1007/BFb0031841

Dieter Gollmann

1996

Springer

http://dx.doi.org/10.1007/3-540-60865-6

Stefan Wermter, Ellen Riloff, Gabriele Scheler

1996

Springer

http://dx.doi.org/10.1007/3-540-60925-3

Jack Dongarra, Kaj Madsen, Jerzy Waśniewski

1996

Springer

http://dx.doi.org/10.1007/3-540-60902-4

Gerhard Weiß, Sandip Sen

1996

Springer

http://dx.doi.org/10.1007/3-540-60923-7

Faron Moller, Graham Birtwistle

1996

Springer

http://dx.doi.org/10.1007/3-540-60915-6

Bernhard Plattner

1996

Springer

http://dx.doi.org/10.1007/BFb0022212

Berthold Butscher, Eckhard Moeller, Herwart Pusch

1996

Springer

http://dx.doi.org/10.1007/3-540-60938-5

Claude Puech, Rüdiger Reischuk

1996

Springer

http://dx.doi.org/10.1007/3-540-60922-9

Elżbieta Hajnicz

1996

Springer

http://dx.doi.org/10.1007/3-540-60941-5

Maurizio Proietti

1996

Springer

http://dx.doi.org/10.1007/3-540-60939-3

Kokichi Futatsugi, Satoshi Matsuoka

1996

Springer

http://dx.doi.org/10.1007/3-540-60954-7

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister

1996

Springer

http://dx.doi.org/10.1007/3-540-60983-0

Marie-Claude Gaudel, James Woodcock

1996

Springer

http://dx.doi.org/10.1007/3-540-60973-3

David Hutchison, Henning Christiansen, Geoff Coulson, André Danthine Peter Graf

1996

Springer

http://dx.doi.org/10.1007/3-540-61028-6

1996

Springer

http://dx.doi.org/10.1007/3-540-61040-5

Afonso Ferreira, Panos Pardalos

1996

Springer

http://dx.doi.org/10.1007/BFb0027114

Tiziana Margaria, Bernhard Steffen

1996

Springer

http://dx.doi.org/10.1007/3-540-61042-1

Afsaneh Haddadi

1996

Springer

http://dx.doi.org/10.1007/3-540-61044-8

Peter Apers, Mokrane Bouzeghoub, Georges Gardarin

1996

Springer

http://dx.doi.org/10.1007/BFb0014139

Hanne Riis Nielson

1996

Springer

http://dx.doi.org/10.1007/3-540-61055-3

Hélène Kirchner

1996

Springer

http://dx.doi.org/10.1007/3-540-61064-2

Tibor Gyimóthy

1996

Springer

http://dx.doi.org/10.1007/3-540-61053-7

Paolo Ciancarini, Chris Hankin

1996

Springer

http://dx.doi.org/10.1007/3-540-61052-9

Eduardo Sanchez, Marco Tomassini

1996

Springer

http://dx.doi.org/10.1007/3-540-61093-6

Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers

1996

Springer

http://dx.doi.org/10.1007/3-540-61108-8

Bernard Buxton, Roberto Cipolla

1996

Springer

http://dx.doi.org/10.1007/BFb0015518

Bernard Buxton, Roberto Cipolla

1996

Springer

http://dx.doi.org/10.1007/3-540-61123-1

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag

1996

Springer

http://dx.doi.org/10.1007/BFb0020931

Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot

1996

Springer

http://dx.doi.org/10.1007/3-540-61142-8

1996

Springer

http://dx.doi.org/10.1007/BFb0023052

1996

Springer

http://dx.doi.org/10.1007/3-540-61157-6

Ueli Maurer

1996

Springer

http://dx.doi.org/10.1007/3-540-68339-9

P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi

1996

Springer

http://dx.doi.org/10.1007/3-540-61208-4

Rangachar Kasturi, Karl Tombre

1996

Springer

http://dx.doi.org/10.1007/3-540-61226-2

Takayasu Ito, Robert H. Halstead, Christian Queinnec John W. Perram, Jean-Pierre Müller

Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg

1996

Springer

http://dx.doi.org/10.1007/3-540-61228-9

Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller

1996

Springer

http://dx.doi.org/10.1007/3-540-61254-8

1996

Springer

http://dx.doi.org/10.1007/3-540-61258-0

1996

Springer

http://dx.doi.org/10.1007/3-540-61273-4

1996

Springer

http://dx.doi.org/10.1007/3-540-61282-3

1996

Springer

http://dx.doi.org/10.1007/BFb0030514

1996

Springer

http://dx.doi.org/10.1007/3-540-61286-6

1996

Springer

http://dx.doi.org/10.1007/3-540-61292-0

Gordon McCalla Nabil R. Adam, Bharat K. Bhargava, Milton Halem, Yelena Yesha Karen Sparck Jones, Julia R. Galliers William H. Cunningham, S. Thomas McCormick, Maurice Queyranne Dov M. Gabbay, Hans Jürgen Ohlbach Claude Frasson, Gilles Gauthier, Alan Lesgold

1996

Springer

http://dx.doi.org/10.1007/3-540-61291-2

1996

Springer

http://dx.doi.org/10.1007/BFb0024597

1996

Springer

http://dx.doi.org/10.1007/BFb0027470

1996

Springer

http://dx.doi.org/10.1007/3-540-61310-2

1996

Springer

http://dx.doi.org/10.1007/3-540-61313-7

1996

Springer

http://dx.doi.org/10.1007/3-540-61327-7

Chengqi Zhang, Dickson Lukose

1996

Springer

http://dx.doi.org/10.1007/3-540-61314-5

Alfred Strohmeier

1996

Springer

http://dx.doi.org/10.1007/BFb0013474

G. Ramalingam Jin-Yi Cai, Chak Kuen Wong Jonathan Billington, Wolfgang Reisig Hans Kleine Büning Leo Dorst, Michiel Lambalgen, Frans Voorbraak

1996 1996

Springer Springer

http://dx.doi.org/10.1007/BFb0028290 http://dx.doi.org/10.1007/3-540-61332-3

1996

Springer

http://dx.doi.org/10.1007/3-540-61363-3

1996

Springer

http://dx.doi.org/10.1007/3-540-61377-3

1996

Springer

http://dx.doi.org/10.1007/BFb0013951

Ron Morrison, Jessie Kennedy

1996

Springer

http://dx.doi.org/10.1007/3-540-61442-7

W. McCune, R. Padmanabhan

1996

Springer

http://dx.doi.org/10.1007/3-540-61398-6

Dan Hirschberg, Gene Myers Nigel Shadbolt, Kieron O'Hara, Guus Schreiber Peter Brusilovsky, Piet Kommers, Norbert Streitz David Alex Lamb Zbigniew W. Raś, Maciek Michalewicz Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou

Thomas Schael

1996

Springer

http://dx.doi.org/10.1007/3-540-49450-2

Thomas Schäl

1996

Springer

http://dx.doi.org/10.1007/978-3-662-21574-6

Rolf Karlsson, Andrzej Lingas

1996

Springer

http://dx.doi.org/10.1007/3-540-61422-2

Pierre Cointe

1996

Springer

http://dx.doi.org/10.1007/BFb0053051

1996

Springer

http://dx.doi.org/10.1007/3-540-61440-0

1996

Springer

http://dx.doi.org/10.1007/BFb0024619

Martin Wirsing, Maurice Nivat

1996

Springer

http://dx.doi.org/10.1007/BFb0014301

Rajeev Alur, Thomas A. Henzinger

1996

Springer

http://dx.doi.org/10.1007/3-540-61474-5

Harald Ganzinger

1996

Springer

http://dx.doi.org/10.1007/3-540-61464-8

M. A. McRobbie, J. K. Slaney

1996

Springer

http://dx.doi.org/10.1007/3-540-61511-3

George J. Klir, Tuncer I. Ören

1996

Springer

http://dx.doi.org/10.1007/3-540-61478-8

1996

Springer

http://dx.doi.org/10.1007/3-540-61479-6

1996

Springer

http://dx.doi.org/10.1007/3-540-61487-7

1996

Springer

http://dx.doi.org/10.1007/BFb0022584

Neal Koblitz Olivier Danvy, Robert Glück, Peter Thiemann José Júlio Alferes, Luís Moniz Pereira Christoph Malsburg, Werner Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff

1996

Springer

http://dx.doi.org/10.1007/3-540-68697-5

1996

Springer

http://dx.doi.org/10.1007/3-540-61580-6

1996

Springer

http://dx.doi.org/10.1007/3-540-61488-5

1996

Springer

http://dx.doi.org/10.1007/3-540-61510-5

Wojciech Penczek, Andrzej Szałas

1996

Springer

http://dx.doi.org/10.1007/3-540-61550-4

Norman Foo, Randy Goebel

1996

Springer

http://dx.doi.org/10.1007/3-540-61532-6

Peter W. Eklund, Gerard Ellis, Graham Mann

1996

Springer

http://dx.doi.org/10.1007/3-540-61534-2

Jane Hall

1996

Springer

http://dx.doi.org/10.1007/3-540-61578-4

Alfonso Ferreira, José Rolim, Yousef Saad, Tao Yang

1996

Springer

http://dx.doi.org/10.1007/BFb0030093

Eugene C. Freuder

1996

Springer

http://dx.doi.org/10.1007/3-540-61551-2

Friedhelm Meyer, Burkhard Monien Birgit Pfitzmann

Michael Jampel, Eugene Freuder, Michael Maher Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa Arantza Díaz de Ilarraza Sánchez, Isabel Fernández de Castro

Ugo Montanari, Vladimiro Sassone Michel Deza, Reinhardt Euler, Ioannis Manoussakis Petra Perner, Patrick Wang, Azriel Rosenfeld Henri Cohen Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska László Böszörményi Jacques Calmet, Carla Limongelli

1996

Springer

http://dx.doi.org/10.1007/3-540-61604-7

1996

Springer

http://dx.doi.org/10.1007/3-540-61576-8

1996

Springer

http://dx.doi.org/10.1007/3-540-61577-6

1996

Springer

http://dx.doi.org/10.1007/3-540-61581-4

1996

Springer

http://dx.doi.org/10.1007/3-540-61626-8

1996

Springer

http://dx.doi.org/10.1007/BFb0024677

1996

Springer

http://dx.doi.org/10.1007/BFb0105392

1996

Springer

http://dx.doi.org/10.1007/3-540-61630-6

1996

Springer

http://dx.doi.org/10.1007/3-540-61695-0

1996

Springer

http://dx.doi.org/10.1007/3-540-61697-7

Springer

http://dx.doi.org/10.1007/3-540-61628-4

Springer

http://dx.doi.org/10.1007/3-540-61629-2

John Launchbury, Erik Meijer, 1996 Tim Sheard Magne Haveraaen, Olaf Owe, Ole1996 Johan Dahl Karl Heinz Höhne, Ron Kikinis

1996

Springer

http://dx.doi.org/10.1007/BFb0046929

Guy-René Perrin, Alain Darte Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver Roland R. Wagner, Helmut Thoma

1996

Springer

http://dx.doi.org/10.1007/3-540-61736-1

1996

Springer

http://dx.doi.org/10.1007/BFb0025130

1996

Springer

http://dx.doi.org/10.1007/BFb0034664

Bengt Jonsson, Joachim Parrow

1996

Springer

http://dx.doi.org/10.1007/3-540-61648-9

Josep Diaz, Maria Serna

1996

Springer

http://dx.doi.org/10.1007/3-540-61680-2

Günther Görz, Steffen Hölldobler

1996

Springer

http://dx.doi.org/10.1007/3-540-61708-6

1996

Springer

http://dx.doi.org/10.1007/3-540-61732-9

1996

Springer

http://dx.doi.org/10.1007/3-540-61735-3

Herbert Kuchen, S. Doaitse Swierstra

1996

Springer

http://dx.doi.org/10.1007/3-540-61756-6

Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberg, HansPaul Schwefel

1996

Springer

http://dx.doi.org/10.1007/3-540-61723-X

Jacques Calmet, John A. Campbell, Jochen Pfalzgraf Michael Hanus, Mario RodríguezArtalejo

Reiner W. Hartenstein, Manfred Glesner

1996

Springer

http://dx.doi.org/10.1007/3-540-61730-2

Terence C. Fogarty

1996

Springer

http://dx.doi.org/10.1007/BFb0032768

Radhia Cousot, David A. Schmidt

1996

Springer

http://dx.doi.org/10.1007/3-540-61739-6

Elisa Bertino, Helmut Kurth, Giancarlo Martella, Emilio Montolivo

1996

Springer

http://dx.doi.org/10.1007/3-540-61770-1

Laurent Miclet, Colin Higuera

1996

Springer

http://dx.doi.org/10.1007/BFb0033338

Ming C. Lin, Dinesh Manocha

1996

Springer

http://dx.doi.org/10.1007/BFb0014474

Carlo Montangero Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini

1996

Springer

http://dx.doi.org/10.1007/BFb0017725

1996

Springer

http://dx.doi.org/10.1007/3-540-61772-8

Özalp Babaoğlu, Keith Marzullo

1996

Springer

http://dx.doi.org/10.1007/3-540-61769-8

Takeshi Furuhashi, Yoshiki Uchikawa

1996

Springer

http://dx.doi.org/10.1007/3-540-61988-7

Edmund Burke, Peter Ross

1996

Springer

http://dx.doi.org/10.1007/3-540-61794-9

Dino Pedreschi, Carlo Zaniolo

1996

Springer

http://dx.doi.org/10.1007/BFb0031733

James Roberts, Ugo Mocci, Jorma Virtamo

1996

Springer

http://dx.doi.org/10.1007/3-540-61815-5

Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam

1996

Springer

http://dx.doi.org/10.1007/3-540-61779-5

Bernhard Thalheim

1996

Springer

http://dx.doi.org/10.1007/BFb0019909

Stefano Berardi, Mario Coppo

1996

Springer

http://dx.doi.org/10.1007/3-540-61780-9

Díbio L. Borges, Celso A. A. Kaestner

1996

Springer

http://dx.doi.org/10.1007/3-540-61859-7

Setsuo Arikawa, Arun K. Sharma

1996

Springer

http://dx.doi.org/10.1007/3-540-61863-5

Otto Spaniol, Claudia LinnhoffPopien, Bernd Meyer

1996

Springer

http://dx.doi.org/10.1007/3-540-61842-2

Dror G. Feitelson, Larry Rudolph

1996

Springer

http://dx.doi.org/10.1007/BFb0022283

1996

Springer

http://dx.doi.org/10.1007/BFb0034829

1996

Springer

http://dx.doi.org/10.1007/BFb0024333

1996

Springer

http://dx.doi.org/10.1007/BFb0027227

Kwangjo Kim, Tsutomu Matsumoto Kim Berquist, Andrew Berquist, Patrick McLaughlin Jean-Raymond Abrial, Egon Börger, Hans Langmaack

Mandayam Srivas, Albert Camilleri Ian Sommerville Ian Smith, Boi Faltings Manfred Broy, Stephan Merz, Katharina Spies

1996

Springer

http://dx.doi.org/10.1007/BFb0031795

1996 1996

Springer Springer

http://dx.doi.org/10.1007/BFb0023076 http://dx.doi.org/10.1007/BFb0020597

1996

Springer

http://dx.doi.org/10.1007/BFb0024423

Manfred Nagl

1996

Springer

http://dx.doi.org/10.1007/BFb0035684

Alexander Franz

1996

Springer

http://dx.doi.org/10.1007/BFb0021059

Josef Pieprzyk, Jennifer Seberry

1996

Springer

http://dx.doi.org/10.1007/BFb0023281

William Rucklidge

1996

Springer

http://dx.doi.org/10.1007/BFb0015091

Ross Anderson Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek

1996

Springer

http://dx.doi.org/10.1007/3-540-61996-8

1996

Springer

http://dx.doi.org/10.1007/BFb0037392

1996

Springer

http://dx.doi.org/10.1007/3-540-62005-2

Jörg P. Müller Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi, Satoru Miyano, Subhash Suri

1996

Springer

http://dx.doi.org/10.1007/BFb0017806

1996

Springer

http://dx.doi.org/10.1007/BFb0009475

Joxan Jaffar, Roland H. C. Yap

1996

Springer

http://dx.doi.org/10.1007/BFb0027773

V. Chandru, V. Vinay

1996

Springer

http://dx.doi.org/10.1007/3-540-62034-6

Dines Bjørner, Manfred Broy, Igor V. Pottosin

1996

Springer

http://dx.doi.org/10.1007/3-540-62064-8

Waqar Hasan

1996

Springer

http://dx.doi.org/10.1007/BFb0020710

Andreas Wierse, Georges G. Grinstein, Ulrich Lang

1996

Springer

http://dx.doi.org/10.1007/3-540-62221-7

Jerzy Waśniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen

1996

Springer

http://dx.doi.org/10.1007/3-540-62095-8

Giorgio Ventre, Jordi DomingoPascual, André Danthine

1996

Springer

http://dx.doi.org/10.1007/BFb0020846

Foto Afrati, Phokion Kolaitis Karl Schlechta

1996 1996

Springer Springer

http://dx.doi.org/10.1007/3-540-62222-5 http://dx.doi.org/10.1007/BFb0021104

Trevor P. Martin, Anca L. Ralescu

1996

Springer

http://dx.doi.org/10.1007/3-540-62474-0

Mark Lomas

1996

Springer

http://dx.doi.org/10.1007/3-540-62494-5

Serge Miguet, Annick Montanvert, Stéphane Ubéda