Lecture Notes in Computer Science (LNCS), Volumes 1-99

1

Wilfried Brauer (Ed.): Gesellschaft für Informatik e.V., 3. Jahrestagung, Hamburg, 8.-10. Oktober 1973. Springer 1973, ISBN 3-540-06473-7
Contents

2

Karl-Heinz Böhling, Klaus Indermark (Eds.): 1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973, Gesellschaft für Informatik (GI). Springer 1973, ISBN 3-540-06527-X
Contents

3

R. Conti, Antonio Ruberti (Eds.): 5th Conference on Optimization Techniques, Part 1, Rome, Italy, May 7-11, 1973. Springer 1973, ISBN 3-540-06583-0
Contents

4

R. Conti, Antonio Ruberti (Eds.): 5th Conference on Optimization Techniques, Part 2, Rome, Italy, May 7-11, 1973. Springer 1973, ISBN 3-540-06600-4
Contents

5

Andrei P. Ershov, V. A. Nepomniaschy (Eds.): International Sympoisum on Theoretical Programming, Novosibirsk, Russia, August 7-11, 1972, Proceedings. Springer 1974, ISBN 3-540-06720-5
Contents

6

Brian T. Smith, James M. Boyle, Jack Dongarra, Burton S. Garbow, Yasuhiko Ikebe, Virginia C. Klema, Cleve B. Moler: Matrix Eigensystem Routines - EISPACK Guide, Second Edition. Lecture Notes in Computer Science Vol. 6 Springer 1976, ISBN 3-540-07546-1

7

Bodo Schlender, Wolfgang Frielinghaus (Eds.): 3. Fachtagung über Programmiersprachen, Gesellschaft für Informatik, Kiel, 5.-7. März 1974, Proceedings. Springer 1974, ISBN 3-540-06666-7
Contents

8

Hans-Otto Leilich (Ed.): Fachtagung Struktur und Betrieb von Rechensystemen, GI-NTG, Braunschweig, 20.-22.3.1974, Proceedings. Springer 1974, ISBN 3-540-06677-2
Contents

9

Paul Schmitz (Ed.): GI-BIFOA, Internationale Fachtagung: Informationszentren in Wirtschaft und Verwaltung, Köln, 17./18. September 1973. Springer 1974, ISBN 3-540-06703-5
Contents

10

Roland Glowinski, Jacques-Louis Lions (Eds.): Computing Methods in Applied Sciences and Engineering, Part 1, International Symposium, Versailles, December 17-21, 1973, Proceedings. Springer 1974, ISBN 3-540-06768-X
Contents

11

Roland Glowinski, Jacques-Louis Lions (Eds.): Computing Methods in Applied Sciences and Engineering, Part 2, International Symposium, Versailles, December 17-21, 1973, Proceedings. Springer 1974, ISBN 3-540-06769-8
Contents

12

Gerhard Krüger, Rüdiger Friehmelt (Eds.): GFK-GI-GMR Fachtagung Prozessrechner 1974, Karlsruhe, 10.-11. Juni 1974. Springer 1974, ISBN 3-540-06786-8
Contents

13

Wolfgang Händler, Peter Paul Spies (Eds.): Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970, Proceedings. Springer 1974, ISBN 3-540-06815-5
Contents

14

Jacques Loeckx (Ed.): Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974, Proceedings. Springer 1974, ISBN 3-540-06841-4
Contents

15

Grzegorz Rozenberg, Arto Salomaa (Eds.): L Systems, Most of the papers were presented at a conference in Aarhus, Denmark, January 14-25, 1974. Springer 1974, ISBN 3-540-06867-8
Contents

16

Erol Gelenbe, Claude Kaiser (Eds.): Operating Systems, Proceedings of an International Symposium held at Rocquencourt, April 23-25, 1974. Springer 1974, ISBN 3-540-06849-X
Contents

17

Klaus Brunnstein, Klaus Haefner, Wolfgang Händler (Eds.): Rechner-Gestützter Unterricht, RGU '74, Fachtagung, Hamburg, 12.-14. August 1974, ACU-Arbeitskreis Rechner-Gestützter Unterricht. Springer 1974, ISBN 3-540-06907-0
Contents

18

Kathleen Jensen, Niklaus Wirth: Pascal User Manual and Report, Second Edition. Lecture Notes in Computer Science Vol. 18 Springer 1975, ISBN 3-540-07167-9

19

Bernard Robinet (Ed.): Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974. Springer 1974, ISBN 3-540-06859-7
Contents

20

Joost Engelfriet: Simple Program Schemes and Formal Languages. Lecture Notes in Computer Science Vol. 20 Springer 1974, ISBN 3-540-06953-4

21

Friedrich L. Bauer, Jürgen Eickel (Eds.): Compiler Construction, An Advanced Course, 2nd ed. Springer 1976, ISBN 3-540-07542-9
Contents

22

Thomas Storer, David J. Winter (Eds.): Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972. Springer 1975, ISBN 3-540-07016-8
Contents

23

Clemens Hackl (Ed.): Programming Methodology, 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974. Springer 1975, ISBN 3-540-07131-8
Contents

24

Tse-Yun Feng (Ed.): Parallel Processing, Proceedings of the Sagamore Computer Conference, August 20-23, 1974. Springer 1975, ISBN 3-540-07135-0
Contents

25

Ernest G. Manes (Ed.): Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings. Springer 1975, ISBN 3-540-07142-3
Contents

26

Dirk Siefkes (Ed.): GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974. Springer 1975, ISBN 3-540-07141-5
Contents

27

Guri I. Marchuk (Ed.): Optimization Techniques, IFIP Technical Conference, Novosibirsk, USSR, July 1-7, 1974. Springer 1974, ISBN 3-540-07165-2
Contents

28

Andrzej Blikle (Ed.): Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974, Proceedings. Springer 1975, ISBN 3-540-07162-8
Contents

29

Karl Nickel (Ed.): Interval Mathemantics: Proceedings of the International Symposium, Karlsruhe, West Germany, May 20-24, 1975. Springer 1975, ISBN 3-540-07170-9
Contents

30

Friedrich L. Bauer (Ed.): Software Engineering, An Advanced Course, Reprint of the First Edition (February 21 - March 3, 1972). Springer 1975, ISBN 3-540-07168-7
Contents

31

Samuel H. Fuller: Analysis of Drum and Disk Storage Units. Lecture Notes in Computer Science Vol. 31 Springer 1975, ISBN 3-540-07186-5

32

Jirí Becvár (Ed.): Mathematical Foundations of Computer Science 1975, 4th Symposium, Mariánské Lázne, Czechoslovakia, September 1-5, 1975, Proceedings. Springer 1975
Contents

33

H. Barkhage (Ed.): Automata Theory and Formal Languages, 2nd GI Conference, Kaiserslautern, May 20-23, 1975. Springer 1975, ISBN 3-540-07407-4
Contents

34

Jörg R. Mühlbacher (Ed.): GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975. Springer 1975, ISBN 3-540-07410-4
Contents

35

Wolfgang Everling: Exercises in Computer Systems Analysis. Lecture Notes in Computer Science Vol. 35 Springer 1975, ISBN 3-540-07401-5

36

Sheila A. Greibach: Theory of Program Structures: Schemes, Semantics, Verification. Lecture Notes in Computer Science Vol. 36 Springer 1975, ISBN 3-540-07415-5

37

Corrado Böhm (Ed.): Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975. Springer 1975, ISBN 3-540-07416-3
Contents

38

Paul Branquart, Jean-Pierre Cardinael, Johan Lewi, Jean-Paul Delescaille, Michael Van Begin: An Optimized Translation Process and Its Application to ALGOL 68. Lecture Notes in Computer Science Vol. 38 Springer 1976, ISBN 3-540-07545-3

39

Helmut F. Hasselmeier, Wilhelm G. Spruth (Eds.): Data Base Systems, Proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 24-26, 1975. Springer 1976, ISBN 3-540-07612-3
Contents

40

Jean Cea (Ed.): Optimization Techniques: Modeling and Optimization in the Service of Man, Part 1 - Proceedings, 7th IFIP Conference, Nice, September 8-12, 1975. Springer 1976, ISBN 3-540-07622-0
Contents

41

Jean Cea (Ed.): Optimization Techniques: Modeling and Optimization in the Service of Man, Part 2 - Proceedings, 7th IFIP Conference, Nice, September 8-12, 1975. Springer 1976, ISBN 3-540-07623-9
Contents

42

James E. Donahue: Complementary Definitions of Programming Language Semantics. Lecture Notes in Computer Science Vol. 42 Springer 1976, ISBN 3-540-07628-X

43

Ernst Specker, Volker Strassen (Eds.): Komplexität von Entscheidungsproblemen, Ein Seminar. Springer 1976, ISBN 3-540-07805-3
Contents

44

Klaus Samelson (Ed.): ECI Conference 1976, Proceedings of the 1st European Cooperation in Informatics, Amsterdam, The Netherlands, August 9-12, 1976, Proceedings. Springer 1976, ISBN 3-540-07804-5
Contents

45

Antoni W. Mazurkiewicz (Ed.): Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings. Springer 1976
Contents

46

Friedrich L. Bauer, Klaus Samelson (Eds.): Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975. Springer 1976, ISBN 3-540-07994-7
Contents

47

Andrei P. Ershov, Cornelis H. A. Koster (Eds.): Methods of Algorithmic Language Implementation [Symposium, September 10-13, 1975, Novosibirsk, Russia, Proceedings]. Springer 1977, ISBN 3-540-08065-1
Contents

48

H. Tzschach, H. Waldschmidt, Hermann K.-G. Walter (Eds.): Theoretical Computer Science, 3rd GI-Conference, Darmstadt, Germany, March 28-30, 1977, Proceedings. Springer 1977, ISBN 3-540-08138-0
Contents

49

Albrecht Blaser, Clemens Hackl (Eds.): Interactive Systems, Proceedings, 6th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 1976. Springer 1977, ISBN 3-540-08141-0
Contents

50

Alfred C. Hartmann: A Concurrent Pascal Compiler for Minicomputers. Lecture Notes in Computer Science Vol. 50 Springer 1977, ISBN 3-540-08240-9

51

Burton S. Garbow, James M. Boyle, Jack Dongarra, Cleve B. Moler: Matrix Eigensystem Routines - EISPACK Guide Extension. Lecture Notes in Computer Science Vol. 51 Springer 1977, ISBN 3-540-08254-9

52

Arto Salomaa, Magnus Steinby (Eds.): Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings. Springer 1977, ISBN 3-540-08342-1
Contents

53

Jozef Gruska (Ed.): Mathematical Foundations of Computer Science 1977, 6th Symposium, Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings. Springer 1977
Contents

54

John H. Williams, David A. Fisher (Eds.): Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30 - October 1, 1976. Springer 1977, ISBN 3-540-08360-X
Contents

55

A. Gerbier: Mes premières constructions de programmes. Lecture Notes in Computer Science Vol. 55 Springer 1977, ISBN 3-540-08438-X

56

Marek Karpinski (Ed.): Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland, September 19-23, 1977. Springer 1977, ISBN 3-540-08442-8
Contents

57

Wayne R. Cowell (Ed.): Portability of Numerical Software, Workshop, Oak Brook, Illinois, USA, June 21-23, 1976. Springer 1977, ISBN 3-540-08446-0
Contents

58

Michael J. O'Donnell: Computing in Systems Described by Equations. Lecture Notes in Computer Science Vol. 58 Springer 1977, ISBN 3-540-08531-9

59

Edward Hill Jr.: A Comparative Study of Very Large Data Bases. Lecture Notes in Computer Science Vol. 59 Springer 1978, ISBN 3-540-08653-6

60

Michael J. Flynn, Jim Gray, Anita K. Jones, Klaus Lagally, Holger Opderbeck, Gerald J. Popek, Brian Randell, Jerome H. Saltzer, Hans-Rüdiger Wiehle (Eds.): Operating Systems, An Advanced Course. Springer 1978, ISBN 3-540-08755-9
Contents

61

Dines Bjørner, Cliff B. Jones (Eds.): The Vienna Development Method: The Meta-Language. Springer 1978, ISBN 3-540-08766-4
Contents

62

Giorgio Ausiello, Corrado Böhm (Eds.): Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings. Springer 1978, ISBN 3-540-08860-1
Contents

63

Leonard Bolc (Ed.): Natural Language Communication with Computers. Springer 1978, ISBN 3-540-08911-X
Contents

64

Józef Winkowski (Ed.): Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978. Springer 1978
Contents

65

Giampio Bracchi, Peter C. Lockemann (Eds.): Information Systems Methodology, Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, Italy, October 10-12, 1978. Springer 1978, ISBN 3-540-08934-9
Contents

66

Neil D. Jones, Steven S. Muchnick: TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages. Lecture Notes in Computer Science Vol. 66 Springer 1978, ISBN 3-540-09085-1

67

Klaus Weihrauch (Ed.): Theoretical Computer Science, 4th GI-Conference, Aachen, Germany, March 26-28, 1979, Proceedings. Springer 1979, ISBN 3-540-09118-1
Contents

68

David Harel: First-Order Dynamic Logic. Lecture Notes in Computer Science Vol. 68 Springer 1979, ISBN 3-540-09237-4

69

Friedrich L. Bauer, Manfred Broy (Eds.): Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany. Springer 1979, ISBN 3-540-09251-X
Contents

70

Gilles Kahn (Ed.): Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979. Springer 1979, ISBN 3-540-09511-X
Contents

71

Hermann A. Maurer (Ed.): Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings. Springer 1979, ISBN 3-540-09510-1
Contents

72

Edward W. Ng (Ed.): Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings. Springer 1979, ISBN 3-540-09519-5
Contents

73

Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg (Eds.): Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30 - November 3, 1978. Springer 1979, ISBN 3-540-09525-X
Contents

74

Jirí Becvár (Ed.): Mathematical Foundations of Computer Science 1979, Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979. Springer 1979
Contents

75

Edward K. Blum, Manfred Paul, Satoru Takasu (Eds.): Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978. Springer 1979, ISBN 3-540-09541-1
Contents

76

Bart Childs, Melvin R. Scott, James W. Daniel, Eugene D. Denman, Paul Nelson (Eds.): Codes for Boundary-Value Problems in Ordinary Differential Equations, Proceedings of a Working Conference, May 14-17, 1978, Houston, Texas, USA. Springer 1979, ISBN 3-540-09554-3
Contents

77

Gregor von Bochmann: Architecture of Distributed Computer Systems. Lecture Notes in Computer Science Vol. 77 Springer 1979, ISBN 3-540-09723-6

78

Michael J. C. Gordon, Robin Milner, Christopher P. Wadsworth: Edinburgh LCF. Lecture Notes in Computer Science Vol. 78 Springer 1979, ISBN 3-540-09724-4

79

Jeffrey M. Tobias (Ed.): Language Design and Programming Methodology, Proceedings of a Symposium Held in Sydney, Australia, 10-11 September, 1979. Springer 1980, ISBN 3-540-09745-7
Contents

80

Shi-Kuo Chang, King-sun Fu (Eds.): Pictorial Information Systems. Springer 1980, ISBN 3-540-09757-0
Contents

81

Albrecht Blaser (Ed.): Data Base Techniques for Pictorial Applications, Florence, Italy, June 20-22, 1979, Proceedings. Springer 1980, ISBN 3-540-09763-5
Contents

82

John G. Sanderson: A Relational Theory of Computing. Lecture Notes in Computer Science Vol. 82 Springer 1980, ISBN 3-540-09987-5

83

Bernard Robinet (Ed.): International Symposium on Programming, Proceedings of the Fourth 'Colloque International sur la Programmation', Paris, France, 22-24 April 1980. Springer 1980, ISBN 3-540-09981-6
Contents

84

Wilfried Brauer (Ed.): Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Springer 1980, ISBN 3-540-10001-6
Contents

85

J. W. de Bakker, Jan van Leeuwen (Eds.): Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings. Springer 1980, ISBN 3-540-10003-2
Contents

86

Dines Bjørner (Ed.): Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings. Springer 1980, ISBN 3-540-10007-5
Contents

87

Wolfgang Bibel, Robert A. Kowalski (Eds.): 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings. Springer 1980, ISBN 3-540-10009-1
Contents

88

Piotr Dembinski (Ed.): Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Springer 1980, ISBN 3-540-10027-X
Contents

89

José L. Encarnação (Ed.): Computer Aided Design: Modelling, Systems Engineering, CAD-Systems - CREST Advanced Course, Darmstadt, Germany, September 8-19, 1980. Springer 1980, ISBN 3-540-10242-6
Contents

90

David M. Sandford: Using Sophisticated Models in Resolution Theorem Proving. Lecture Notes in Computer Science Vol. 90 Springer 1980, ISBN 3-540-10231-0

91

Derick Wood: Grammars and L Forms: An Introduction. Lecture Notes in Computer Science Vol. 91 Springer 1980, ISBN 3-540-10233-7

92

Robin Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science Vol. 92 Springer 1980, ISBN 3-540-10235-3

93

Anton Nijholt: Context-Free Grammars: Covers, Normal Forms, and Parsing. Lecture Notes in Computer Science Vol. 93 Springer 1980, ISBN 3-540-10245-0

94

Neil D. Jones (Ed.): Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Springer 1980, ISBN 3-540-10250-7
Contents

95

Chris D. Marlin: Coroutines: A Programming Methodology, a Language Design and an Implementation. Lecture Notes in Computer Science Vol. 95 Springer 1980, ISBN 3-540-10256-6

96

James L. Peterson: Computer Programs for Spelling Correction: An Experiment in Program Design. Lecture Notes in Computer Science Vol. 96 Springer 1980, ISBN 3-540-10259-0

97

Shunji Osaki, Toshihiko Nishio: Reliability Evaluation of Some Fault-Tolerant Computer Architectures. Lecture Notes in Computer Science Vol. 97 Springer 1980, ISBN 3-540-10274-4

98

Dines Bjørner, Ole N. Oest (Eds.): Towards a Formal Description of Ada. Springer 1980, ISBN 3-540-10283-3
Contents

99

Irène Guessarian: Algebraic Semantics. Lecture Notes in Computer Science Vol. 99 Springer 1981, ISBN 3-540-10284-1