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