Harald Ganzinger (Ed.):
ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings.
Springer 1988, ISBN 3-540-19027-9 Contents
301
Josef Kittler (Ed.):
Pattern Recognition, 4th International Conference, Cambridge, UK, March 28-30, 1988, Proceedings.
Springer 1988, ISBN 3-540-19036-8 Contents
Joachim W. Schmidt, Stefano Ceri, Michele Missikoff (Eds.):
Advances in Database Technology - EDBT'88, Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988.
Springer 1988, ISBN 3-540-19074-0 Contents
304
David Chaum, Wyn L. Price (Eds.):
Advances in Cryptology - EUROCRYPT '87, Workshop on the Theory and Application of of Cryptographic Techniques, Amsterdam, The Netherlands, April 13-15, 1987, Proceedings.
Springer 1988, ISBN 3-540-19102-X Contents
Thomas Beth, Michael Clausen (Eds.):
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 4th International Conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986, Proceedings.
Springer 1988, ISBN 3-540-19200-X Contents
308
Stéphane Kaplan, Jean-Pierre Jouannaud (Eds.):
Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings.
Springer 1988, ISBN 3-540-19242-5 Contents
309
Jürgen Nehmer (Ed.):
Experiences with Distributed Systems, International Workshop, Kaiserslautern, FRG, September 28-30, 1987, Proceedings.
Springer 1988, ISBN 3-540-19333-2 Contents
310
Ewing L. Lusk, Ross A. Overbeek (Eds.):
9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings.
Springer 1988, ISBN 3-540-19343-X Contents
311
Gérard D. Cohen, Philippe Godlewski (Eds.):
Coding Theory and Applications, 2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986, Proceedings.
Springer 1988, ISBN 3-540-19368-5 Contents
312
Jan van Leeuwen (Ed.):
Distributed Algorithms, 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987, Proceedings.
Springer 1988, ISBN 3-540-19366-9 Contents
313
Bernadette Bouchon-Meunier, Lorenza Saitta, Ronald R. Yager (Eds.):
Uncertainty and Intelligent Systems, 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '88, Urbino, Italy, July 4-7, 1988, Proceedings.
Springer 1988, ISBN 3-540-19402-9 Contents
314
Herbert Göttler, Hans Jürgen Schneider (Eds.):
Graph-Theoretic Concepts in Computer Science, International Workshop, WG '87, Kloster Banz/Staffelstein, Germany, June 29 - July 1, 1987, Proceedings.
Springer 1988, ISBN 3-540-19422-3 Contents
Christian Choffrut (Ed.):
Automata Networks, LITP Spring School on Theoretical Computer Science, Angelès-Village, France, May 12-16, 1986, Proceedings.
Springer 1988, ISBN 3-540-19444-4 Contents
317
Timo Lepistö, Arto Salomaa (Eds.):
Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings.
Springer 1988, ISBN 3-540-19488-6 Contents
318
Rolf G. Karlsson, Andrzej Lingas (Eds.):
SWAT 88, 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988, Proceedings.
Springer 1988, ISBN 3-540-19487-8 Contents
319
John H. Reif (Ed.):
VLSI Algorithms and Architectures, 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28 - July 1, 1988, Proceedings.
Springer 1988, ISBN 3-540-96818-0 Contents
320
Albrecht Blaser (Ed.):
Natural Language at the Computer, Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, Heidelberg, FRG, February 25, 1988, Proceedings.
Springer 1988, ISBN 3-540-50011-1 Contents
321
Job Zwiers:
Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship.
Lecture Notes in Computer Science Vol. 321 Springer 1989, ISBN 3-540-50845-7
322
Stein Gjessing, Kristen Nygaard (Eds.):
ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings.
Springer 1988, ISBN 3-540-50053-7 Contents
Michal Chytil, Ladislav Janiga, Václav Koubek (Eds.):
Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings.
Springer 1988, ISBN 3-540-50110-X Contents
Marc Gyssens, Jan Paredaens, Dirk Van Gucht (Eds.):
ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31 - September 2, 1988, Proceedings.
Springer 1988, ISBN 3-540-50171-1 Contents
327
Gary A. Ford (Ed.):
Software Engineering Education, SEI Conference 1988, Fairfax, Virginia, USA, April 28-29, 1988, Proceedings.
Springer 1988, ISBN 3-540-96854-7 Contents
Christoph G. Günther (Ed.):
Advances in Cryptology - EUROCRYPT '88, Workshop on the Theory and Application of of Cryptographic Techniques, Davos, Switzerland, May 25-27, 1988, Proceedings.
Springer 1988, ISBN 3-540-50251-3 Contents
331
Mathai Joseph (Ed.):
Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988.
Springer 1988, ISBN 3-540-50302-1 Contents
332
Donald Sannella, Andrzej Tarlecki (Eds.):
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers.
Springer 1987 Contents
333
Hartmut Noltemeier (Ed.):
Computational Geometry and its Applications, CG'88, International Workshop on Computational Geometry, Würzburg, Germany, March 24-25, 1988.
Springer 1988, ISBN 3-540-50335-8 Contents
334
Klaus R. Dittrich (Ed.):
Advances in Object-Oriented Database Systems, 2nd International Workshop on Object-Oriented Database Systems, Bad Münster am Stein-Ebernburg, FRG, September 27-30, 1988, Proceedings.
Springer 1988, ISBN 3-540-50345-5 Contents
335
Friedrich H. Vogt (Ed.):
Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings.
Springer 1988, ISBN 3-540-50403-6 Contents
Kesav V. Nori, Sanjeev Kumar (Eds.):
Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings.
Springer 1988, ISBN 3-540-50517-2 Contents
339
Maurizio Rafanelli, John C. Klensin, Per Svensson (Eds.):
Statistical and Scientific Database Management, 4th International Working Conference SSDBM, Rome, Italy, June 21-23, 1988, Proccedings.
Springer 1989, ISBN 3-540-50575-X Contents
340
Grzegorz Rozenberg (Ed.):
Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers.
Springer 1988, ISBN 3-540-50580-6 Contents
341
Sergio Bittanti (Ed.):
Software Reliability Modelling and Identification (Como, Italy, September 2-4, 1987).
Springer 1988, ISBN 3-540-50695-0 Contents
342
Gottfried Wolf, Tamás Legendi, Udo Schendel (Eds.):
Parcella '88, Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, GDR, October 17-21, 1988, Proceedings.
Springer 1989, ISBN 3-540-50647-0 Contents
Jan van Leeuwen (Ed.):
Graph-Theoretic Concepts in Computer Science, 14th International Workshop, WG '88, Amsterdam, The Netherlands, June 15-17, 1988, Proceedings.
Springer 1989, ISBN 3-540-50728-0 Contents
345
Rolf Nossum (Ed.):
Advanced Topics in Artificial Intelligence, 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28 - August 7, 1987.
Springer 1988, ISBN 3-540-50676-4 Contents
Katharina Morik (Ed.):
Knowledge Representation and Organization in Machine Learning [Workshop, 1987, Schloß Ehringerfeld, Germany].
Springer 1989, ISBN 3-540-50768-X Contents
348
Pierre Deransart, Bernard Lorho, Jan Maluszynski (Eds.):
Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings.
Springer 1989, ISBN 3-540-50820-1 Contents
349
Burkhard Monien, Robert Cori (Eds.):
STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings.
Springer 1989, ISBN 3-540-50840-6 Contents
Josep Díaz, Fernando Orejas (Eds.):
TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89).
Springer 1989, ISBN 3-540-50939-9 Contents
352
Josep Díaz, Fernando Orejas (Eds.):
TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL).
Springer 1989, ISBN 3-540-50940-2 Contents
J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.):
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings.
Springer 1989, ISBN 3-540-51080-X Contents
355
Nachum Dershowitz (Ed.):
Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings.
Springer 1989, ISBN 3-540-51081-8 Contents
356
Thomas Beth, Michael Clausen (Eds.):
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 4th International Conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986, Proceedings.
Springer 1988, ISBN 3-540-19200-X Contents
357
Teo Mora (Ed.):
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988, Proceedings.
Springer 1989, ISBN 3-540-51083-4 Contents
358
Patrizia M. Gianni (Ed.):
Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings.
Springer 1989, ISBN 3-540-51084-2 Contents
359
Dieter Gawlick, Mark N. Haynie, Andreas Reuter (Eds.):
High Performance Transaction Systems, 2nd International Workshop, Asilomar Conference Center, Pacific Grove, California, USA, September 28-30, 1987, Proceedings.
Springer 1989, ISBN 3-540-51085-0 Contents
360
Hermann A. Maurer (Ed.):
Computer Assisted Learning, 2nd International Conference, ICCAL '89, Dallas, Texas, USA, May 9-11, 1989, Proceedings.
Springer 1989, ISBN 3-540-51142-3 Contents
361
Serge Abiteboul, Patrick C. Fischer, Hans-Jörg Schek (Eds.):
Nested Relations and Complex Objects, Papers from the Workshop "Theory and Applications of Nested Relations and Complex Objects", Darmstadt, Germany, April 6-8, 1987.
Springer 1989, ISBN 3-540-51171-7 Contents
Albert R. Meyer, Michael A. Taitslin (Eds.):
Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings.
Springer 1989, ISBN 3-540-51237-3 Contents
364
János Demetrovics, Bernhard Thalheim (Eds.):
MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989.
Springer 1989, ISBN 3-540-51251-9 Contents
365
Eddy Odijk, Martin Rem, Jean-Claude Syre (Eds.):
PARLE '89: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings.
Springer 1989, ISBN 3-540-51284-5 Contents
366
Eddy Odijk, Martin Rem, Jean-Claude Syre (Eds.):
PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings.
Springer 1989, ISBN 3-540-51285-3 Contents
367
Witold Litwin, Hans-Jörg Schek (Eds.):
Foundations of Data Organization and Algorithms, 3rd International Conference, FODO 1989, Paris, France, June 21-23, 1989, Proceedings.
Springer 1989, ISBN 3-540-51295-0 Contents
368
Haran Boral, Pascal Faudemay (Eds.):
Database Machines, Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989, Proceedings.
Springer 1989, ISBN 3-540-51324-8 Contents
Dieter K. Hammer (Ed.):
Compiler Compilers and High Speed Compilation, 2nd CCHSC Workshop, Berlin GDR, October 10-14, 1988, Proceedings.
Springer 1989, ISBN 3-540-51364-7 Contents
Jan L. A. van de Snepscheut (Ed.):
Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings.
Springer 1989, ISBN 3-540-51305-1 Contents
376
Norman E. Gibbs (Ed.):
Software Engineering Education, SEI Conference 1989, Pittsburgh, Pennsylvania, USA, July 18-21, 1989, Proceedings.
Springer 1989, ISBN 3-540-97090-8 Contents
377
Maurice Gross, Dominique Perrin (Eds.):
Electronic Dictionaries and Automata in Computational Linguistics, LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oléron, France, May 25-29, 1987, Proceedings.
Springer 1989, ISBN 3-540-51465-1 Contents
378
James H. Davenport (Ed.):
EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings.
Springer 1989, ISBN 3-540-51517-8 Contents
379
Antoni Kreczmar, Grazyna Mirkowska (Eds.):
Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings.
Springer 1989, ISBN 3-540-51486-4 Contents
380
János Csirik, János Demetrovics, Ferenc Gécseg (Eds.):
Fundamentals of Computation Theory, International Conference FCT'89, Szeged, Hungary, August 21-25, 1989, Proceedings.
Springer 1989, ISBN 3-540-51498-8 Contents
381
Jürgen Dassow, Jozef Kelemen (Eds.):
Machines, Languages, and Complexity, 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988, Proceedings.
Springer 1989, ISBN 3-540-51516-X Contents
Jean-Eric Pin (Ed.):
Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 25-29, 1987, Proceedings.
Springer 1989, ISBN 3-540-51631-X Contents
387
Carlo Ghezzi, John A. McDermid (Eds.):
ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings.
Springer 1989, ISBN 3-540-51635-2 Contents
388
Gérard D. Cohen, Jacques Wolfmann (Eds.):
Coding Theory and Applications, 3rd International Colloquium, Toulon, France, November 2-4, 1988, Proceedings.
Springer 1989, ISBN 3-540-51643-3 Contents
João P. Martins, Ernesto M. Morgado (Eds.):
EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings.
Springer 1989, ISBN 3-540-51665-4 Contents
Jean-Claude Bermond, Michel Raynal (Eds.):
Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings.
Springer 1989, ISBN 3-540-51687-5 Contents
Martin Wirsing, Jan A. Bergstra (Eds.):
Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987].
Springer 1989, ISBN 3-540-51698-0 Contents
Thomas A. Berson, Thomas Beth (Eds.):
Local Area Network Security, Workshop LANSEC '89, European Institute for System Security (E.I.S.S.), Karlsruhe, FRG, April 3-6, 1989.
Springer 1989, ISBN 3-540-51754-5 Contents
397
Klaus P. Jantke (Ed.):
Analogical and Inductive Inference, International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings.
Springer 1989, ISBN 3-540-51734-0 Contents
data released under the ODC-BY 1.0 license
