 |
 |
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 13
- Wolfgang Händler, Peter Paul Spies (Eds.):
Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970, Proceedings.
Springer 1974, ISBN 3-540-06815-5
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 20
- Joost Engelfriet:
Simple Program Schemes and Formal Languages.
Lecture Notes in Computer Science Vol. 20 Springer 1974, ISBN 3-540-06953-4
BibTeX
- 21
- Friedrich L. Bauer, Jürgen Eickel (Eds.):
Compiler Construction, An Advanced Course, 2nd ed.
Springer 1976, ISBN 3-540-07542-9
Contents BibTeX
- 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 BibTeX
- 23
- Clemens Hackl (Ed.):
Programming Methodology, 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974.
Springer 1975, ISBN 3-540-07131-8
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 26
- Dirk Siefkes (Ed.):
GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974.
Springer 1975, ISBN 3-540-07141-5
Contents BibTeX
- 27
- Guri I. Marchuk (Ed.):
Optimization Techniques, IFIP Technical Conference, Novosibirsk, USSR, July 1-7, 1974.
Springer 1974, ISBN 3-540-07165-2
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 34
- Jörg Mühlbacher (Ed.):
GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975.
Springer 1975, ISBN 3-540-07410-4
Contents BibTeX
- 35
- Wolfgang Everling:
Exercises in Computer Systems Analysis.
Lecture Notes in Computer Science Vol. 35 Springer 1975, ISBN 3-540-07401-5
BibTeX
- 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
BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 42
- James E. Donahue:
Complementary Definitions of Programming Language Semantics.
Lecture Notes in Computer Science Vol. 42 Springer 1976, ISBN 3-540-07628-X
BibTeX
- 43
- Ernst Specker, Volker Strassen (Eds.):
Komplexität von Entscheidungsproblemen, Ein Seminar.
Springer 1976, ISBN 3-540-07805-3
Contents BibTeX
- 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 BibTeX
- 45
- Antoni W. Mazurkiewicz (Ed.):
Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings.
Springer 1976
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 50
- Alfred C. Hartmann:
A Concurrent Pascal Compiler for Minicomputers.
Lecture Notes in Computer Science Vol. 50 Springer 1977, ISBN 3-540-08240-9
BibTeX
- 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
BibTeX
- 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 BibTeX
- 53
- Jozef Gruska (Ed.):
Mathematical Foundations of Computer Science 1977, 6th Symposium, Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings.
Springer 1977
Contents BibTeX
- 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 BibTeX
- 55
- A. Gerbier:
Mes premières constructions de programmes.
Lecture Notes in Computer Science Vol. 55 Springer 1977, ISBN 3-540-08438-X
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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
BibTeX
- 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 BibTeX
- 61
- Dines Bjørner, Cliff B. Jones (Eds.):
The Vienna Development Method: The Meta-Language.
Springer 1978, ISBN 3-540-08766-4
Contents BibTeX
- 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 BibTeX
- 63
- Leonard Bolc (Ed.):
Natural Language Communication with Computers.
Springer 1978, ISBN 3-540-08911-X
Contents BibTeX
- 64
- Józef Winkowski (Ed.):
Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978.
Springer 1978
Contents BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 68
- David Harel:
First-Order Dynamic Logic.
Lecture Notes in Computer Science Vol. 68 Springer 1979, ISBN 3-540-09237-4
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 74
- Jirí Becvár (Ed.):
Mathematical Foundations of Computer Science 1979, Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979.
Springer 1979
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 77
- Gregor von Bochmann:
Architecture of Distributed Computer Systems.
Lecture Notes in Computer Science Vol. 77 Springer 1979, ISBN 3-540-09723-6
BibTeX
- 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
BibTeX
- 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 BibTeX
- 80
- Shi-Kuo Chang, King-sun Fu (Eds.):
Pictorial Information Systems.
Springer 1980, ISBN 3-540-09757-0
Contents BibTeX
- 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 BibTeX
- 82
- John G. Sanderson:
A Relational Theory of Computing.
Lecture Notes in Computer Science Vol. 82 Springer 1980, ISBN 3-540-09987-5
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 91
- Derick Wood:
Grammars and L Forms: An Introduction.
Lecture Notes in Computer Science Vol. 91 Springer 1980, ISBN 3-540-10233-7
BibTeX
- 92
- Robin Milner:
A Calculus of Communicating Systems.
Lecture Notes in Computer Science Vol. 92 Springer 1980, ISBN 3-540-10235-3
BibTeX
- 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
BibTeX
- 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 BibTeX
- 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
BibTeX
- 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
BibTeX
- 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
BibTeX
- 98
- Dines Bjørner, Ole N. Oest (Eds.):
Towards a Formal Description of Ada.
Springer 1980, ISBN 3-540-10283-3
Contents BibTeX
- 99
- Irène Guessarian:
Algebraic Semantics.
Lecture Notes in Computer Science Vol. 99 Springer 1981, ISBN 3-540-10284-1
BibTeX
Copyright © Sun May 17 00:32:01 2009
by Michael Ley (ley@uni-trier.de)