![dblp.uni-trier.de](../Logo.gif) |
![www.uni-trier.de](../logo_universitaet-trier.gif) |
- 100
- Hartmut Noltemeier (Ed.):
Graphtheoretic Concepts in Computer Science, Proceedings of the International Workshop WG '80, Bad Honnef, Germany, June 15-18, 1980.
Springer 1981, ISBN 3-540-10291-4
Contents
- 101
- André Thayse:
Boolean Caclulus of Differences.
Lecture Notes in Computer Science Vol. 101 Springer 1981, ISBN 3-540-10286-8
- 102
- James H. Davenport:
On the Integration of Algebraic Functions.
Lecture Notes in Computer Science Vol. 102 Springer 1981, ISBN 3-540-10290-6
- 103
- Henry F. Ledgard, Andrew Singer, John A. Whiteside:
Directions in Human Factors for Interactive Systems.
Lecture Notes in Computer Science Vol. 103 Springer 1981, ISBN 3-540-10574-3
- 104
- Peter Deussen (Ed.):
Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings.
Springer 1981, ISBN 3-540-10576-X
Contents
- 105
- Butler W. Lampson, M. Paul, Hans-Jürgen Siegert (Eds.):
Distributed Systems - Architecture and Implementation, An Advanced Course.
Springer 1981, ISBN 3-540-10571-9
Contents
- 106
- The Programming Language Ada Reference Manual, Proposed Standard Document, United States Department of Defense.
Lecture Notes in Computer Science Vol. 106 Springer 1981, ISBN 3-540-10693-6
- 107
- Josep Díaz, Isidro Ramos (Eds.):
Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings.
Springer 1981, ISBN 3-540-10699-5
Contents
- 108
- Nobuji Saito, Takao Nishizeki (Eds.):
Graph Theory and Algorithms, 17th Symposium of Research Institute of Electric Communication, Tohoku University, Sendai, Japan, October 24-25, 1980, Proceedings.
Springer 1981, ISBN 3-540-10704-5
Contents
- 109
- Leonard Bolc, Zenon Kulpa (Eds.):
Digital Image Processing Systems.
Springer 1981, ISBN 3-540-10705-3
Contents
- 110
- Waltraud Dehning, Eidrun Essig, Susanne Maaß:
The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs.
Lecture Notes in Computer Science Vol. 110 Springer 1981, ISBN 3-540-10826-2
- 111
- Wolfgang Händler (Ed.):
CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, Germany, June 10-12, 1981, Proceedings.
Springer 1981, ISBN 3-540-10827-0
Contents
- 112
- Egidio Astesiano, Corrado Böhm (Eds.):
CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings.
Springer 1981, ISBN 3-540-10828-9
Contents
- 113
- Ernst-Erich Doberkat:
Stochastic Automata: Stability, Nondeterminism, and Prediction.
Lecture Notes in Computer Science Vol. 113 Springer 1981, ISBN 3-540-10835-1
- 114
- Barbara Liskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert, Robert Scheifler, Alan Snyder:
CLU Reference Manual.
Lecture Notes in Computer Science Vol. 114 Springer 1981, ISBN 3-540-10836-X
- 115
- Shimon Even, Oded Kariv (Eds.):
Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings.
Springer 1981, ISBN 3-540-10843-2
Contents
- 116
- Marco A. Casanova:
The Concurrency Control Problem for Database Systems.
Lecture Notes in Computer Science Vol. 116 Springer 1981, ISBN 3-540-10845-9
- 117
- Ferenc Gécseg (Ed.):
Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981.
Springer 1981, ISBN 3-540-10854-8
Contents
- 118
- Jozef Gruska, Michal Chytil (Eds.):
Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings.
Springer 1981, ISBN 3-540-10856-4
Contents
- 119
- Graeme Hirst:
Anaphora in Natural Language Understanding: A Survey.
Lecture Notes in Computer Science Vol. 119 Springer 1981, ISBN 3-540-10858-0
- 120
- Louis B. Rall:
Automatic Differentiation: Techniques and Applications.
Lecture Notes in Computer Science Vol. 120 Springer 1981, ISBN 3-540-10861-0
- 121
- Zahari Zlatev, Jerzy Wasniewski, Kjeld Schaumburg:
Y12M - Solution of Large and Sparse Systems of Linear Algebraic Equations.
Lecture Notes in Computer Science Vol. 121 Springer 1981, ISBN 3-540-10874-2
- 122
- Andrei P. Ershov, Donald E. Knuth (Eds.):
Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, September 16-22, 1979.
Springer 1981, ISBN 3-540-11157-3
Contents
- 123
- A. J. W. Duijvestijn, Peter C. Lockemann (Eds.):
Trends in Information Processing Systems, 3rd Conference of the European Cooperation in Informatics, Munich, Germany, October 20-22, 1981, Proceedings.
Springer 1981, ISBN 3-540-10885-8
Contents
- 124
- Wolfgang Pollak:
Compiler Specification and Verification.
Lecture Notes in Computer Science Vol. 124 Springer 1981, ISBN 3-540-10886-6
- 125
- Erwin Engeler (Ed.):
Logics of Programs, Workshop, ETH Zürich, May-July 1979.
Springer 1981, ISBN 3-540-11160-3
Contents
- 126
- Michael J. Flynn, Neville Harris, Daniel P. McCarthy (Eds.):
Microcomputer System Design, An Advanced Course, Trinity College Dublin, June 1981.
Springer 1982, ISBN 3-540-11172-7
Contents
- 127
- Yehuda Wallach:
Alternating Sequential/Parallel Processing.
Lecture Notes in Computer Science Vol. 127 Springer 1982, ISBN 3-540-11194-8
- 128
- Paul Branquart, Georges Louis, Pierre Wodon:
An Analytical Description of CHILL, the CCITT High Level Language.
Lecture Notes in Computer Science Vol. 128 Springer 1982, ISBN 3-540-11196-4
- 129
- Brent Hailpern:
Veritying Concurrent Processes Using Temporal Logic.
Lecture Notes in Computer Science Vol. 129 Springer 1982, ISBN 3-540-11205-7
- 130
- Robert Goldblatt:
Axiomatising the Logic of Computer Programming.
Lecture Notes in Computer Science Vol. 130 Springer 1982, ISBN 3-540-11210-3
- 131
- Dexter Kozen (Ed.):
Logics of Programs, Workshop, Yorktown Heights, New York, May 1981.
Springer 1982, ISBN 3-540-11212-X
Contents
- 132
- S. Bing Yao, Shamkant B. Navathe, Jay-Louise Weldon, Tosiyasu L. Kunii (Eds.):
Data Base Design Techniques I: Requirements and Logical Structures, NYU Symposium, New York, May 1978, Proceedings.
Springer 1982, ISBN 3-540-11214-6
Contents
- 133
- S. Bing Yao, Tosiyasu L. Kunii (Eds.):
Data Base Design Techniques II: Physical Structures and Applications, The Symposium on Data Base Engineering, Tokyo, November 1979, Proceedings.
Springer 1982, ISBN 3-540-11215-4
Contents
- 134
- Jørgen Staunstrup (Ed.):
Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981.
Springer 1982, ISBN 3-540-11490-4
Contents
- 135
- Robert L. Constable, Scott Johnson, C. D. Eichenlaub:
An Introduction to the PL/CV2 Programming Logic.
Lecture Notes in Computer Science Vol. 135 Springer 1982, ISBN 3-540-11492-0
- 136
- Christoph M. Hoffmann:
Group-Theoretic Algorithms and Graph Isomorphism.
Lecture Notes in Computer Science Vol. 136 Springer 1982, ISBN 3-540-11493-9
- 137
- Mariangiola Dezani-Ciancaglini, Ugo Montanari (Eds.):
International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings.
Springer 1982, ISBN 3-540-11494-7
Contents
- 138
- Donald W. Loveland (Ed.):
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings.
Springer 1982, ISBN 3-540-11558-7
Contents
- 139
- Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner:
An Attribute Grammar for the Semantic Analysis of Ada.
Lecture Notes in Computer Science Vol. 139 Springer 1982, ISBN 3-540-11571-4
- 140
- Mogens Nielsen, Erik Meineche Schmidt (Eds.):
Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings.
Springer 1982, ISBN 3-540-11576-5
Contents
- 141
- Uwe Kastens, Brigitte Hutt, Erich Zimmermann:
GAG: A Practical Compiler Generator.
Lecture Notes in Computer Science Vol. 141 Springer 1982, ISBN 3-540-11591-9
- 142
- Paul Messina, Almerico Murli (Eds.):
Problems and Methodologies in Mathematical Software Production, International Seminar, Held at Sorrento, Italy, November 3-8, 1980.
Springer 1982, ISBN 3-540-11603-6
Contents
- 143
- Mamoru Maekawa, Laszlo A. Belady (Eds.):
Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, Amagi, Japan, October 1980.
Springer 1982, ISBN 3-540-11604-4
Contents
- 144
- Jacques Calmet (Ed.):
Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings.
Springer 1982, ISBN 3-540-11607-9
Contents
- 145
- Armin B. Cremers, Hans-Peter Kriegel (Eds.):
Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings.
Springer 1982, ISBN 3-540-11973-6
Contents
- 146
- Gerard Salton, Hans-Jochen Schneider (Eds.):
Research and Development in Information Retrieval, Proceedings, Berlin, May 18-20, 1982.
Springer 1983
Contents
- 147
- Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa (Eds.):
RIMS Symposium on Software Science and Engineering, Kyoto, Japan, 1982, Proceedings.
Springer 1983, ISBN 3-540-11980-9
Contents
- 148
- Andrzej Salwicki (Ed.):
Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980.
Springer 1983, ISBN 3-540-11981-7
Contents
- 149
- Thomas Beth (Ed.):
Cryptography, Proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29 - April 2, 1982.
Springer 1983
Contents
- 150
- Albrecht Blaser, Magdalena Zoeppritz (Eds.):
Enduser Systems and Their Human Factors, Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, March 18, 1983.
Springer 1983, ISBN 3-540-12273-7
Contents
- 151
- Robert Piloty, Dominique Borrione, Mario Barbacci, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly:
CONLAN Report.
Lecture Notes in Computer Science Vol. 151 Springer 1983, ISBN 3-540-12275-3
- 152
- Elöd Knuth, Erich J. Neuhold (Eds.):
Specification and Design of Software Systems, Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings.
Springer 1983, ISBN 3-540-12284-2
Contents
- 153
- Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg (Eds.):
Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982.
Springer 1983, ISBN 3-540-12310-5
Contents
- 154
- Josep Díaz (Ed.):
Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings.
Springer 1983, ISBN 3-540-12317-2
Contents
- 155
- The Programming Language Ada Reference Manual, American National Standards Institute, Inc., ANSI/MIL-STD-1815A-1983.
Lecture Notes in Computer Science Vol. 155 Springer 1983, ISBN 3-540-12328-8
- 156
- Mark H. Overmars:
The Design of Dynamic Data Structures.
Lecture Notes in Computer Science Vol. 156 Springer 1983, ISBN 3-540-12330-X
- 157
- Ole Østerby, Zahari Zlatev:
Direct Methods for Sparse Matrices.
Lecture Notes in Computer Science Vol. 157 Springer 1983, ISBN 3-540-12676-7
- 158
- Marek Karpinski (Ed.):
Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983.
Springer 1983, ISBN 3-540-12689-9
Contents
- 159
- Giorgio Ausiello, Marco Protasi (Eds.):
CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings.
Springer 1983, ISBN 3-540-12727-5
Contents
- 160
- Reiji Nakajima, Taiichi Yuasa (Eds.):
The IOTA Programming System, A Modular Programming Environment.
Springer 1983, ISBN 3-540-12693-7
Contents
- 161
- Gerhard Goos, William A. Wulf, Arthur Evans Jr., Kenneth J. Butler (Eds.):
DIANA - An Intermediate Language for Ada, Revised Version.
Lecture Notes in Computer Science Vol. 161 Springer 1983, ISBN 3-540-12695-3
- 162
- J. A. van Hulzen (Ed.):
Computer Algebra, EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983, Proceedings.
Springer 1983, ISBN 3-540-12868-9
Contents
- 163
- Tosiyasu L. Kunii (Ed.):
VLSI Engineering: Beyond Software Engineering.
Springer 1984, ISBN 3-540-70002-1
Contents
- 164
- Edmund M. Clarke, Dexter Kozen (Eds.):
Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings.
Springer 1984, ISBN 3-540-12896-4
Contents
- 165
- Thomas F. Coleman:
Large Sparse Numerical Optimization.
Lecture Notes in Computer Science Vol. 165 Springer 1984, ISBN 3-540-12914-6
- 166
- Max Fontet, Kurt Mehlhorn (Eds.):
STACS 84, Symposium of Theoretical Aspects of Computer Science, Paris, France, 11-13 April, 1984, Proceedings.
Springer 1984, ISBN 3-540-12920-0
Contents
- 167
- Manfred Paul, Bernard Robinet (Eds.):
International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, Proceedings.
Springer 1984, ISBN 3-540-12925-1
Contents
- 168
- Ulrich Rembold, Rüdiger Dillmann (Eds.):
Methods and Tools for Computer Integrated Manufacturing, Advanced CREST Course on Computer Integrated Manufacturing (CIM 83), Karlsruhe, Germany, September 5-16, 1983.
Springer 1984, ISBN 3-540-12926-X
Contents
- 169
- Christian Ronse:
Feedback Shift Registers.
Lecture Notes in Computer Science Vol. 169 Springer 1984, ISBN 3-540-13330-5
- 170
- Robert E. Shostak (Ed.):
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings.
Springer 1984, ISBN 3-540-96022-8
Contents
- 171
- Egon Börger, Gisbert Hasenjaeger, Dieter Rödding (Eds.):
Logic and Machines: Decision Problems and Complexity, Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfahlen.
Springer 1984, ISBN 3-540-13331-3
Contents
- 172
- Jan Paredaens (Ed.):
Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings.
Springer 1984, ISBN 3-540-13345-3
Contents
- 173
- Gilles Kahn, David B. MacQueen, Gordon D. Plotkin (Eds.):
Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings.
Springer 1984, ISBN 3-540-13346-1
Contents
- 174
- John Fitch (Ed.):
EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984, Proceedings.
Springer 1984, ISBN 3-540-13350-X
Contents
- 175
- André Thayse:
P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms.
Lecture Notes in Computer Science Vol. 175 Springer 1984, ISBN 3-540-13358-5
- 176
- Michal Chytil, Václav Koubek (Eds.):
Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings.
Springer 1984, ISBN 3-540-13372-0
Contents
- 177
- Cliff B. Jones (Ed.):
Programming Languages and Their Definition - Hans Bekic (1936-1982).
Springer 1984, ISBN 3-540-13378-X
Contents
- 178
- Gerrit C. van der Veer, Michael J. Tauber, Thomas R. G. Green, Peter Gorny (Eds.):
Readings on Cognitive Ergonomics - Mind and Computers, Proceedings of the 2nd European Conference, Gmunden, Austria, September 10-14, 1984.
Springer 1984, ISBN 3-540-13394-1
Contents
- 179
- Victor Y. Pan:
How to Multiply Matrices Faster.
Lecture Notes in Computer Science Vol. 179 Springer 1984, ISBN 3-540-13866-8
- 180
- Peter J. L. Wallis (Ed.):
Ada Software Tools Interfaces, Workshop, Bath, UK, July 13-15, 1983, Proceedings.
Springer 1984, ISBN 3-540-13878-1
Contents
- 181
- Mathai Joseph, R. K. Shyamasundar (Eds.):
Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings.
Springer 1984, ISBN 3-540-13883-8
Contents
- 182
- Kurt Mehlhorn (Ed.):
STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings.
Springer 1985, ISBN 3-540-13912-5
Contents
- 183
- Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L.
Lecture Notes in Computer Science Vol. 183 Springer 1985, ISBN 3-540-15187-7
- 184
- David Hutchison, John A. Mariani, Doug Shepherd (Eds.):
Local Area Networks: An Advanced Course, Glasgow, July 11-22, 1983, Proceedings.
Springer 1985, ISBN 3-540-15191-5
Contents
- 185
- Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher (Eds.):
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85).
Springer 1985, ISBN 3-540-15198-2
Contents
- 186
- Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher (Eds.):
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE).
Springer 1985, ISBN 3-540-15199-0
Contents
- 187
- François S. Chaghaghi:
Time Series Package (TSPACK).
Lecture Notes in Computer Science Vol. 187 Springer 1985, ISBN 3-540-15202-4
- 188
- Grzegorz Rozenberg, Hartmann J. Genrich, Gérard Roucairol (Eds.):
Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers.
Springer 1985, ISBN 3-540-15204-0
Contents
- 189
- Mark Sherman:
Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types.
Lecture Notes in Computer Science Vol. 189 Springer 1985, ISBN 3-540-15212-1
- 190
- Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich.
Springer 1985, ISBN 3-540-15216-4
Contents
- 191
- Howard Barringer:
A Survey of Verification Techniques for Parallel Programs.
Lecture Notes in Computer Science Vol. 191 Springer 1985, ISBN 3-540-15239-3
- 192
- Maurice Nivat, Dominique Perrin (Eds.):
Automata on Infinite Words, Ecole de Printemps d'Informatique Théorique, Le Mont Dore, May 14-18, 1984.
Springer 1985, ISBN 3-540-15641-0
Contents
- 193
- Rohit Parikh (Ed.):
Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings.
Springer 1985, ISBN 3-540-15648-8
Contents
- 194
- Wilfried Brauer (Ed.):
Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings.
Springer 1985, ISBN 3-540-15650-X
Contents
- 195
- Heinrich J. Stüttgen:
A Hierarchical Associative Processing System.
Lecture Notes in Computer Science Vol. 195 Springer 1985, ISBN 3-540-15652-6
- 196
- G. R. Blakley, David Chaum (Eds.):
Advances in Cryptology, Proceedings of CRYPTO '84, Santa Barbara, California, USA, August 19-22, 1984, Proceedings.
Springer 1985, ISBN 3-540-15658-5
Contents
- 197
- Stephen D. Brookes, A. W. Roscoe, Glynn Winskel (Eds.):
Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984.
Springer 1985, ISBN 3-540-15670-4
Contents
- 198
- Arnold Businger:
PORTAL Language Description - Second, Extended Edition.
Lecture Notes in Computer Science Vol. 198 Springer 1985, ISBN 3-540-18960-2
- 199
- Lothar Budach (Ed.):
Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September 9-13, 1985.
Springer 1985, ISBN 3-540-15689-5
Contents
Copyright © Fri Mar 12 17:34:35 2010
by Michael Ley (ley@uni-trier.de)