 |
 |
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 205
- Paul Klint:
A Study in String Processing Languages.
Lecture Notes in Computer Science Vol. 205 Springer 1985, ISBN 3-540-16041-8
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 211
- Uwe Schöning:
Complexity and Structure.
Lecture Notes in Computer Science Vol. 211 Springer 1986, ISBN 3-540-16079-5
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 238
- Lee Naish:
Negation and Control in Prolog.
Lecture Notes in Computer Science Vol. 238 Springer 1986, ISBN 3-540-16815-X
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 251
- Varol Akman:
Unobstructed Shortest Paths in Polyhedral Environments.
Lecture Notes in Computer Science Vol. 251 Springer 1987, ISBN 3-540-17629-2
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 257
- Francesca Cesarini, Silvio Salza (Eds.):
Database Machine Performance: Modeling Methodologies and Evaluation Strategies.
Springer 1987, ISBN 3-540-17942-9
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 261
- Johann Christoph Freytag:
Translating Relational Queries into Iterative Programs.
Lecture Notes in Computer Science Vol. 261 Springer 1987, ISBN 3-540-18000-1
BibTeX
- 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
BibTeX
- 263
- Andrew M. Odlyzko (Ed.):
Advances in Cryptology - CRYPTO '86, Santa Barbara, California, USA, 1986, Proceedings.
Springer 1987
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 270
- Egon Börger (Ed.):
Computation Theory and Logic, In Memory of Dieter Rödding.
Springer 1987, ISBN 3-540-18170-9
Contents BibTeX
- 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
BibTeX
- 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 BibTeX
- 273
- James S. Royer:
A Connotational Theory of Program Structure.
Lecture Notes in Computer Science Vol. 273 Springer 1987, ISBN 3-540-18253-5
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 285
- Carlos Delgado Kloos:
Semantics of Digital Circuits.
Lecture Notes in Computer Science Vol. 285 Springer 1987, ISBN 3-540-18540-2
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
Copyright © Sun May 17 00:32:02 2009
by Michael Ley (ley@uni-trier.de)