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

Lecture Notes in Computer Science (LNCS), Volumes 200-299

201
Jean-Pierre Jouannaud (Ed.): Functional Programming Languages and Computer Architecture, Nancy, France, September 16-19, 1985, Proceedings. Springer 1985, ISBN 3-540-15975-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
202
Jean-Pierre Jouannaud (Ed.): Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings. Springer 1985, ISBN 3-540-15976-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
203
Bruno Buchberger (Ed.): EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures. Springer 1985, ISBN 3-540-15983-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
204
B. F. Caviness (Ed.): EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions. Springer 1985, ISBN 3-540-15984-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
205
Paul Klint: A Study in String Processing Languages. Lecture Notes in Computer Science Vol. 205 Springer 1985, ISBN 3-540-16041-8
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
206
S. N. Maheshwari (Ed.): Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings. Springer 1985, ISBN 3-540-16042-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
207
B. Tim Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray (Eds.): The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, Proceedings. Springer 1985, ISBN 3-540-16047-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
209
Thomas Beth, Norbert Cot, Ingemar Ingemarsson (Eds.): Advances in Cryptology: Proceedings of EUROCRYPT 84, A Workshop on the Theory and Application of of Cryptographic Techniques, Paris, France, April 9-11, 1984, Proceedings. Springer 1985, ISBN 3-540-16076-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
210
Burkhard Monien, Guy Vidal-Naquet (Eds.): STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings. Springer 1986, ISBN 3-540-16078-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
211
Uwe Schöning: Complexity and Structure. Lecture Notes in Computer Science Vol. 211 Springer 1986, ISBN 3-540-16079-5
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
212
Karl Nickel (Ed.): Interval Mathemantics 1985: Proceedings of the International Symposium, Freiburg i. Br., Federal Republic of Germany, September 23-26, 1985. Springer 1986, ISBN 3-540-16437-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
213
Bernard Robinet, Reinhard Wilhelm (Eds.): ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings. Springer 1986, ISBN 3-540-16442-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
214
Paul Franchi-Zannettacci (Ed.): CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings. Springer 1986, ISBN 3-540-16443-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
215
Wolfgang Bibel, Klaus P. Jantke (Eds.): Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985. Springer 1986, ISBN 3-540-16444-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
216
Christer Fernström, Ivan Kruzela, Bertil Svensson: LUCAS Associative Array Processor: Design., Programming and Application Studies. Lecture Notes in Computer Science Vol. 216 Springer 1986, ISBN 3-540-16445-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
217
Harald Ganzinger, Neil D. Jones (Eds.): Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985. Springer 1986, ISBN 3-540-16446-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
218
Hugh C. Williams (Ed.): Advances in Cryptology - CRYPTO '85, Santa Barbara, California, USA, August 18-22, 1985, Proceedings. Springer 1986, ISBN 3-540-16463-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
219
Franz Pichler (Ed.): Advances in Cryptology - EUROCRYPT '85, Workshop on the Theory and Application of of Cryptographic Techniques, Linz, Austria, April 1985, Proceedings. Springer 1986, ISBN 3-540-16468-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
220
Eiichi Goto, Keijiro Araki, Taiichi Yuasa (Eds.): RIMS Symposia on Software Science and Engineering II, Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. Springer 1986, ISBN 3-540-16470-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
221
Eiiti Wada (Ed.): Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985. Springer 1986, ISBN 3-540-16479-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
222
Grzegorz Rozenberg (Ed.): Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers. Springer 1986, ISBN 3-540-16480-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
223
Alan L. Selman (Ed.): Structure in Complexity Theory, Proceedings of the Conference hold at the University of California, Berkeley, California, June 2-5, 1986. Springer 1986, ISBN 3-540-16486-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
224
J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Current Trends in Concurrency, Overviews and Tutorials. Lecture Notes in Computer Science Vol. 224 Springer 1986, ISBN 3-540-16488-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
225
Ehud Y. Shapiro (Ed.): Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings. Springer 1986, ISBN 3-540-16492-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
226
Laurent Kott (Ed.): Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings. Springer 1986, ISBN 3-540-16761-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
227
Fillia Makedon, Kurt Mehlhorn, Theodore S. Papatheodorou, Paul G. Spirakis (Eds.): VLSI Algorithms and Architectures, Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986, Proceedings. Springer 1986, ISBN 3-540-16766-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
228
Alain Poli (Ed.): Applied Algebra, Algorithms and Error-Correcting Codes, 2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984, Proceedings. Springer 1986, ISBN 3-540-16767-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
229
Jacques Calmet (Ed.): Algebraic Algorithms and Error-Correcting Codes, 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, Proceedings. Springer 1986, ISBN 3-540-16776-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
230
Jörg H. Siekmann (Ed.): 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. Springer 1986, ISBN 3-540-16780-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
231
Roland Hauser: NEWCAT: Parsing Natural Language Using Left-Associative Grammar. Lecture Notes in Computer Science Vol. 231 Springer 1986, ISBN 3-540-16781-1
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
232
Wolfgang Bibel, Philippe Jorrand (Eds.): Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985. Springer 1986, ISBN 3-540-16782-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
233
Jozef Gruska, Branislav Rovan, Juraj Wiedermann (Eds.): Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings. Springer 1986, ISBN 3-540-16783-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
234
David Beech (Ed.): Concepts in User Interfaces: A Reference Model for the Command and Response Languages (By Members of IFIP WG2.7). Lecture Notes in Computer Science Vol. 234 Springer 1986, ISBN 3-540-16791-9
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
235
Willard L. Miranker, Richard A. Toupin (Eds.): Accurate Scientific Computations, Symposium, Bad Neuenahr, FRG, March 12-14, 1985, Proceedings. Springer 1986, ISBN 3-540-16798-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
236
Jacques Désarménien (Ed.): TEX for Scientific Documentation, Second European Conference, Strasbourg, France, June 19-21, 1986, Proceedings. Springer 1986, ISBN 3-540-16807-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
237
Wolfgang Händler, Dieter Haupt, Rolf Jeltsch, Wilfried Juling, Otto Lange (Eds.): CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17-19, 1986, Proceedings. Springer 1986, ISBN 3-540-16811-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
238
Lee Naish: Negation and Control in Prolog. Lecture Notes in Computer Science Vol. 238 Springer 1986, ISBN 3-540-16815-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
239
Austin Melton (Ed.): Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings. Springer 1986, ISBN 3-540-16816-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
240
David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard (Eds.): Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings. Springer 1986, ISBN 3-540-17162-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
241
Kesav V. Nori (Ed.): Foundations of Software Technology and Theoretical Computer Science, Sixth Conference, New Delhi, India, December 18-20, 1986, Proceedings. Springer 1986, ISBN 3-540-17179-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
242
Guy Cousineau, Pierre-Louis Curien, Bernard Robinet (Eds.): Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings. Springer 1986, ISBN 3-540-17184-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
243
Giorgio Ausiello, Paolo Atzeni (Eds.): ICDT'86, International Conference on Database Theory, Rome, Italy, September 8-10, 1986, Proceedings. Springer 1986, ISBN 3-540-17187-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
244
Reidar Conradi, Tor Didriksen, Dag H. Wanvik (Eds.): Advanced Programming Environments, Proceedings of an International Workshop, Trondheim, Norway, June 16-18, 1986. Springer 1986, ISBN 3-540-17189-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
245
Hans F. de Groote: Lectures on the Complexity of Bilinear Problems. Lecture Notes in Computer Science Vol. 245 Springer 1987, ISBN 3-540-17205-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
246
Gottfried Tinhofer, Gunther Schmidt (Eds.): Graphtheoretic Concepts in Computer Science, International Workshop, WG '86, Bernried, Germany, June 17-19, 1986, Proceedings. Springer 1987, ISBN 3-540-17218-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
247
Franz-Josef Brandenburg, Guy Vidal-Naquet, Martin Wirsing (Eds.): STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings. Springer 1987, ISBN 3-540-17219-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
248
Günter Müller, Robert P. Blanc (Eds.): Networking in Open Systems, International Seminar, Oberlech, Austria, August 18-22, 1986, Proceedings. Springer 1987, ISBN 3-540-17707-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
249
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari (Eds.): TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87). Springer 1987, ISBN 3-540-17660-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
250
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari (Eds.): TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP). Springer 1987, ISBN 3-540-17611-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
251
Varol Akman: Unobstructed Shortest Paths in Polyhedral Environments. Lecture Notes in Computer Science Vol. 251 Springer 1987, ISBN 3-540-17629-2
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
252
Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (Eds.): VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings. Springer 1987, ISBN 3-540-17654-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
253
Jörg D. Becker, Ignaz Eisele (Eds.): WOPPLOT 86 - Parallel Processing: Logic, Organization, and Technology, Proceedings of a Workshop, Neubiberg, Germany, July 2-4, 1986. Springer 1987, ISBN 3-540-18022-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
254
Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986. Springer 1987, ISBN 3-540-17905-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
255
Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986. Springer 1987, ISBN 3-540-17906-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
256
Pierre Lescanne (Ed.): Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings. Springer 1987, ISBN 3-540-17220-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
257
Francesca Cesarini, Silvio Salza (Eds.): Database Machine Performance: Modeling Methodologies and Evaluation Strategies. Springer 1987, ISBN 3-540-17942-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
258
J. W. de Bakker, A. J. Nijman, Philip C. Treleaven (Eds.): PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings. Springer 1987, ISBN 3-540-17943-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
259
J. W. de Bakker, A. J. Nijman, Philip C. Treleaven (Eds.): PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings. Springer 1987, ISBN 3-540-17945-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
260
David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe: ANNA - A Language for Annotating Ada Programs, Reference Manual. Lecture Notes in Computer Science Vol. 260 Springer 1987, ISBN 3-540-17980-1
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
261
Johann Christoph Freytag: Translating Relational Queries into Iterative Programs. Lecture Notes in Computer Science Vol. 261 Springer 1987, ISBN 3-540-18000-1
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
262
Alan Burns, Andrew M. Lister, Andy J. Wellings: A Review of Ada Tasking. Lecture Notes in Computer Science Vol. 262 Springer 1987, ISBN 3-540-18008-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
263
Andrew M. Odlyzko (Ed.): Advances in Cryptology - CRYPTO '86, Santa Barbara, California, USA, 1986, Proceedings. Springer 1987
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
264
Eiiti Wada (Ed.): Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986. Springer 1987, ISBN 3-540-18024-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
265
Klaus P. Jantke (Ed.): Analogical and Inductive Inference, International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986, Proceedings. Springer 1987, ISBN 3-540-18081-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
266
Grzegorz Rozenberg (Ed.): Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986. Springer 1987, ISBN 3-540-18086-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
267
Thomas Ottmann (Ed.): Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings. Springer 1987, ISBN 3-540-18088-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
268
Panos M. Pardalos, J. Ben Rosen: Constrained Global Optimization: Algorithms and Applications. Lecture Notes in Computer Science Vol. 268 Springer 1987, ISBN 3-540-18095-8
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
269
Andreas Alexander Albrecht, Hermann Jung, Kurt Mehlhorn (Eds.): Parallel Algorithms and Architectures, International Workshop, Suhl, GDR, May 25-30, 1987, Proceedings. Springer 1987, ISBN 3-540-18099-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
270
Egon Börger (Ed.): Computation Theory and Logic, In Memory of Dieter Rödding. Springer 1987, ISBN 3-540-18170-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
271
Dominique Snyers, André Thayse: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions. Lecture Notes in Computer Science Vol. 271 Springer 1987, ISBN 3-540-18217-9
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
272
Philip C. Treleaven, Marco Vanneschi (Eds.): Future Parallel Computers, An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings. Springer 1987, ISBN 3-540-18203-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
273
James S. Royer: A Connotational Theory of Program Structure. Lecture Notes in Computer Science Vol. 273 Springer 1987, ISBN 3-540-18253-5
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
274
Gilles Kahn (Ed.): Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings. Springer 1987, ISBN 3-540-18317-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
275
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
276
Jean Bézivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman (Eds.): ECOOP'87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, Proceedings. Springer 1987, ISBN 3-540-18353-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
277
Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter: Systems of Reductions. Lecture Notes in Computer Science Vol. 277 Springer 1987, ISBN 3-540-18598-4
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
278
Lothar Budach, Rais Gatic Bakharajev, Oleg Borisovic Lipanov (Eds.): Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings. Springer 1987, ISBN 3-540-18740-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
279
Joseph H. Fasel, Robert M. Keller (Eds.): Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986. Springer 1987, ISBN 3-540-18420-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
280
Marisa Venturini Zilli (Ed.): Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings. Springer 1987, ISBN 3-540-18419-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
281
Alica Kelemenová, Jozef Kelemen (Eds.): Trends, Techniques, and Problems in Theoretical Computer Science, 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986, Proceedings. Springer 1987, ISBN 3-540-18535-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
282
Peter Gorny, Michael J. Tauber (Eds.): Visualization in Programming, 5th Interdisciplinary Workshop in Informatics and Psychology, Schärding, Austria, May 20-23, 1986, Selected Contributions. Springer 1987, ISBN 3-540-18507-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
283
David H. Pitt, Axel Poigné, David E. Rydeheard (Eds.): Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings. Springer 1987, ISBN 3-540-18508-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
284
Albert T. Kündig, Richard E. Bührer, Jacques Dähler (Eds.): Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986. Springer 1987, ISBN 3-540-18581-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
285
Carlos Delgado Kloos: Semantics of Digital Circuits. Lecture Notes in Computer Science Vol. 285 Springer 1987, ISBN 3-540-18540-2
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
286
Bernadette Bouchon-Meunier, Ronald R. Yager (Eds.): Uncertainty in Knowledge-Based Systems, International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '86, Paris, France, June 30 - July 4, 1986, Selected and Extended Contributions. Springer 1987, ISBN 3-540-18579-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
287
Kesav V. Nori (Ed.): Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings. Springer 1987, ISBN 3-540-18625-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
288
Andrzej Blikle: MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics. Lecture Notes in Computer Science Vol. 288 Springer 1987, ISBN 3-540-18657-3
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
289
Howard K. Nichols, Dan Simpson (Eds.): ESEC '87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings. Springer 1987, ISBN 3-540-18712-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
290
Tung X. Bui: Co-oP, A Group Decision Support System for Cooperative Multiple Criteria Group Decision Making. Lecture Notes in Computer Science Vol. 290 Springer 1987, ISBN 3-540-18753-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
291
Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld (Eds.): Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Springer 1987, ISBN 3-540-18771-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
292
Friedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper: The Munich Project CIP, Volume II: The Program Transformation System CIP-S. Lecture Notes in Computer Science Vol. 292 Springer 1987, ISBN 3-540-18779-0
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
293
Carl Pomerance (Ed.): Advances in Cryptology - CRYPTO '87, A Conference on the Theory and Applications of Cryptographic Techniques, Santa Barbara, California, USA, August 16-20, 1987, Proceedings. Springer 1988, ISBN 3-540-18796-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
294
Robert Cori, Martin Wirsing (Eds.): STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings. Springer 1988, ISBN 3-540-18834-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
295
Rüdiger Dierstein, Dieter Müller-Wichards, Hans-Martin Wacker (Eds.): Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings. Springer 1988, ISBN 3-540-18923-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
296
Rainer Janßen (Ed.): Trends in Computer Algebra, International Symposium, Bad Neuenahr, Germany, May 19-21, 1987, Proceedings. Springer 1988, ISBN 3-540-18928-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
297
Elias N. Houstis, Theodore S. Papatheodorou, Constantine D. Polychronopoulos (Eds.): Supercomputing, 1st International Conference, Athens, Greece, June 8-12, 1987, Proceedings. Springer 1988, ISBN 3-540-18991-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
298
Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Springer 1988, ISBN 3-540-19020-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
299
Max Dauchet, Maurice Nivat (Eds.): CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings. Springer 1988, ISBN 3-540-19021-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 2 22:01:24 2009 by Michael Ley (ley@uni-trier.de)