dblp.uni-trier.de www.uni-trier.de

Lecture Notes in Computer Science (LNCS), Volumes 100-199

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
101
André Thayse: Boolean Caclulus of Differences. Lecture Notes in Computer Science Vol. 101 Springer 1981, ISBN 3-540-10286-8
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
102
James H. Davenport: On the Integration of Algebraic Functions. Lecture Notes in Computer Science Vol. 102 Springer 1981, ISBN 3-540-10290-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
109
Leonard Bolc, Zenon Kulpa (Eds.): Digital Image Processing Systems. Springer 1981, ISBN 3-540-10705-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
113
Ernst-Erich Doberkat: Stochastic Automata: Stability, Nondeterminism, and Prediction. Lecture Notes in Computer Science Vol. 113 Springer 1981, ISBN 3-540-10835-1
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
119
Graeme Hirst: Anaphora in Natural Language Understanding: A Survey. Lecture Notes in Computer Science Vol. 119 Springer 1981, ISBN 3-540-10858-0
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
120
Louis B. Rall: Automatic Differentiation: Techniques and Applications. Lecture Notes in Computer Science Vol. 120 Springer 1981, ISBN 3-540-10861-0
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
124
Wolfgang Pollak: Compiler Specification and Verification. Lecture Notes in Computer Science Vol. 124 Springer 1981, ISBN 3-540-10886-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
125
Erwin Engeler (Ed.): Logics of Programs, Workshop, ETH Zürich, May-July 1979. Springer 1981, ISBN 3-540-11160-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
127
Yehuda Wallach: Alternating Sequential/Parallel Processing. Lecture Notes in Computer Science Vol. 127 Springer 1982, ISBN 3-540-11194-8
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
129
Brent Hailpern: Veritying Concurrent Processes Using Temporal Logic. Lecture Notes in Computer Science Vol. 129 Springer 1982, ISBN 3-540-11205-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
130
Robert Goldblatt: Axiomatising the Logic of Computer Programming. Lecture Notes in Computer Science Vol. 130 Springer 1982, ISBN 3-540-11210-3
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
131
Dexter Kozen (Ed.): Logics of Programs, Workshop, Yorktown Heights, New York, May 1981. Springer 1982, ISBN 3-540-11212-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
134
Jørgen Staunstrup (Ed.): Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Springer 1982, ISBN 3-540-11490-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
136
Christoph M. Hoffmann: Group-Theoretic Algorithms and Graph Isomorphism. Lecture Notes in Computer Science Vol. 136 Springer 1982, ISBN 3-540-11493-9
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
146
Gerard Salton, Hans-Jochen Schneider (Eds.): Research and Development in Information Retrieval, Proceedings, Berlin, May 18-20, 1982. Springer 1983
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
148
Andrzej Salwicki (Ed.): Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980. Springer 1983, ISBN 3-540-11981-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
149
Thomas Beth (Ed.): Cryptography, Proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29 - April 2, 1982. Springer 1983
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
156
Mark H. Overmars: The Design of Dynamic Data Structures. Lecture Notes in Computer Science Vol. 156 Springer 1983, ISBN 3-540-12330-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
157
Ole Østerby, Zahari Zlatev: Direct Methods for Sparse Matrices. Lecture Notes in Computer Science Vol. 157 Springer 1983, ISBN 3-540-12676-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
160
Reiji Nakajima, Taiichi Yuasa (Eds.): The IOTA Programming System, A Modular Programming Environment. Springer 1983, ISBN 3-540-12693-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
163
Tosiyasu L. Kunii (Ed.): VLSI Engineering: Beyond Software Engineering. Springer 1984, ISBN 3-540-70002-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
165
Thomas F. Coleman: Large Sparse Numerical Optimization. Lecture Notes in Computer Science Vol. 165 Springer 1984, ISBN 3-540-12914-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
169
Christian Ronse: Feedback Shift Registers. Lecture Notes in Computer Science Vol. 169 Springer 1984, ISBN 3-540-13330-5
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
177
Cliff B. Jones (Ed.): Programming Languages and Their Definition - Hans Bekic (1936-1982). Springer 1984, ISBN 3-540-13378-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
179
Victor Y. Pan: How to Multiply Matrices Faster. Lecture Notes in Computer Science Vol. 179 Springer 1984, ISBN 3-540-13866-8
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
187
François S. Chaghaghi: Time Series Package (TSPACK). Lecture Notes in Computer Science Vol. 187 Springer 1985, ISBN 3-540-15202-4
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
193
Rohit Parikh (Ed.): Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings. Springer 1985, ISBN 3-540-15648-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
195
Heinrich J. Stüttgen: A Hierarchical Associative Processing System. Lecture Notes in Computer Science Vol. 195 Springer 1985, ISBN 3-540-15652-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
198
Arnold Businger: PORTAL Language Description - Second, Extended Edition. Lecture Notes in Computer Science Vol. 198 Springer 1985, ISBN 3-540-18960-2
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
199
Lothar Budach (Ed.): Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September 9-13, 1985. Springer 1985, ISBN 3-540-15689-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Fri Mar 12 17:34:35 2010 by Michael Ley (ley@uni-trier.de)