 |
 |
- 300
- 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
- 302
- Daniel M. Yellin:
Attribute Grammar Inversion and Source-to-source Translation.
Lecture Notes in Computer Science Vol. 302 Springer 1988, ISBN 3-540-19072-4
- 303
- 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
- 305
- Joachim Biskup, János Demetrovics, Jan Paredaens, Bernhard Thalheim (Eds.):
MFDBS 87, 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987, Proceedings.
Springer 1988, ISBN 3-540-19121-6
Contents
- 306
- Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi (Eds.):
Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings.
Springer 1988, ISBN 3-540-19129-1
Contents
- 307
- 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
- 315
- Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (Eds.):
Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987.
Springer 1988, ISBN 3-540-19426-6
Contents
- 316
- 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
- 323
- Pierre Deransart, Martin Jourdan, Bernard Lorho:
Attribute Grammars: Definitions, Systems, and Bibliography.
Lecture Notes in Computer Science Vol. 323 Springer 1988, ISBN 3-540-50056-1
- 324
- 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
- 325
- Gilles Brassard:
Modern Cryptology - A Tutorial.
Lecture Notes in Computer Science Vol. 325 Springer 1988, ISBN 3-540-96842-3
- 326
- 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
- 328
- Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones (Eds.):
VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings.
Springer 1988, ISBN 3-540-50214-9
Contents
- 329
- Egon Börger, Hans Kleine Büning, Michael M. Richter (Eds.):
CSL '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings.
Springer 1988, ISBN 3-540-50241-6
Contents
- 330
- C. 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
- 336
- Bruce Randall Donald:
Error Detection and Recovery in Robotics.
Lecture Notes in Computer Science Vol. 336 Springer 1989, ISBN 3-540-96909-8
- 337
- Oliver Günther:
Efficient Structures for Geometric Data Management.
Lecture Notes in Computer Science Vol. 337 Springer 1988, ISBN 3-540-50463-X
- 338
- 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
- 343
- Jan Grabowski, Pierre Lescanne, Wolfgang Wechler (Eds.):
Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings.
Springer 1988, ISBN 3-540-50667-5
Contents
- 344
- 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
- 346
- Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall (Eds.):
Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings.
Springer 1989, ISBN 3-540-50701-9
Contents
- 347
- 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
- 350
- Aimo A. Törn, Antanas Zilinskas:
Global Optimization.
Lecture Notes in Computer Science Vol. 350 Springer 1989, ISBN 3-540-50871-6
- 351
- 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
- 353
- Steffen Hölldobler:
Foundations of Equational Logic Programming.
Lecture Notes in Computer Science Vol. 353 Springer 1989, ISBN 3-540-51533-X
- 354
- 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
- 362
- Björn Lisper:
Synthesising Synchronous Systems by Static Scheduling in Space-Time.
Lecture Notes in Computer Science Vol. 362 Springer 1989, ISBN 3-540-51156-3
- 363
- 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
- 369
- Dirk Taubner:
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets.
Lecture Notes in Computer Science Vol. 369 Springer 1989, ISBN 3-540-51525-9
- 370
- Christoph Meinel:
Modified Branching Programs and Their Computational Power.
Lecture Notes in Computer Science Vol. 370 Springer 1989, ISBN 3-540-51340-X
- 371
- Dieter 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
- 372
- Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca (Eds.):
Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings.
Springer 1989, ISBN 3-540-51371-X
Contents
- 373
- Theoharis Theoharis:
Algorithms for Parallel Polygon Rendering.
Lecture Notes in Computer Science Vol. 373 Springer 1989, ISBN 3-540-51394-9
- 374
- Kay A. Robbins, Steven Robbins:
The Cray X-MP/Model 24, A Case Study in Pipelined Architecture and Vector Processing.
Lecture Notes in Computer Science Vol. 374 Springer 1989, ISBN 3-540-97089-4
- 375
- 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
- 382
- Frank K. H. A. Dehne, Jörg-Rüdiger Sack, Nicola Santoro (Eds.):
Algorithms and Data Structures, Workshop WADS '89, Ottawa, Canada, August 17-19, 1989, Proceedings.
Springer 1989, ISBN 3-540-51542-9
Contents
- 383
- Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (Eds.):
Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989.
Springer 1991, ISBN 3-540-53919-0
Contents
- 384
- Gerrit A. van Zee, Johannes G. G. van de Vorst (Eds.):
Parallel Computing 1988, Shell Conference, Amsterdam, The Netherlands, June 1/2, 1988, Proceedings.
Springer 1989, ISBN 3-540-51604-2
Contents
- 385
- Egon Börger, Hans Kleine Büning, Michael M. Richter (Eds.):
CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings.
Springer 1989, ISBN 3-540-51659-X
Contents
- 386
- 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
- 389
- David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (Eds.):
Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings.
Springer 1989, ISBN 3-540-51662-X
Contents
- 390
- 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
- 391
- Jean-Daniel Boissonnat, Jean-Paul Laumond (Eds.):
Geometry and Robotics, Workshop, Toulouse, France, May 26-28, 1988, Proceedings.
Springer 1989, ISBN 3-540-51683-2
Contents
- 392
- 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
- 393
- Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß (Eds.):
Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany].
Springer 1989, ISBN 3-540-51722-7
Contents
- 394
- 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
- 395
- Manfred Schmidt-Schauß:
Computational Aspects of an Order-Sorted Logic with Term Declarations.
Lecture Notes in Computer Science Vol. 395 Springer 1989, ISBN 3-540-51705-7
- 396
- 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
- 398
- Behnam Banieqbal, Howard Barringer, Amir Pnueli (Eds.):
Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings.
Springer 1989, ISBN 3-540-51803-7
Contents
- 399
- Virginio Cantoni, Reiner Creutzburg, Stefano Levialdi, Gottfried Wolf (Eds.):
Recent Issues in Pattern Analysis and Recognition.
Springer 1989, ISBN 3-540-51815-0
Contents
Copyright © Fri Mar 12 17:34:35 2010
by Michael Ley (ley@uni-trier.de)