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

Lecture Notes in Computer Science (LNCS), Volumes 300-399

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
301
Josef Kittler (Ed.): Pattern Recognition, 4th International Conference, Cambridge, UK, March 28-30, 1988, Proceedings. Springer 1988, ISBN 3-540-19036-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
325
Gilles Brassard: Modern Cryptology - A Tutorial. Lecture Notes in Computer Science Vol. 325 Springer 1988, ISBN 3-540-96842-3
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
336
Bruce Randall Donald: Error Detection and Recovery in Robotics. Lecture Notes in Computer Science Vol. 336 Springer 1989, ISBN 3-540-96909-8
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
337
Oliver Günther: Efficient Structures for Geometric Data Management. Lecture Notes in Computer Science Vol. 337 Springer 1988, ISBN 3-540-50463-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
341
Sergio Bittanti (Ed.): Software Reliability Modelling and Identification (Como, Italy, September 2-4, 1987). Springer 1988, ISBN 3-540-50695-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
347
Katharina Morik (Ed.): Knowledge Representation and Organization in Machine Learning [Workshop, 1987, Schloß Ehringerfeld, Germany]. Springer 1989, ISBN 3-540-50768-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
350
Aimo A. Törn, Antanas Zilinskas: Global Optimization. Lecture Notes in Computer Science Vol. 350 Springer 1989, ISBN 3-540-50871-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
353
Steffen Hölldobler: Foundations of Equational Logic Programming. Lecture Notes in Computer Science Vol. 353 Springer 1989, ISBN 3-540-51533-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
370
Christoph Meinel: Modified Branching Programs and Their Computational Power. Lecture Notes in Computer Science Vol. 370 Springer 1989, ISBN 3-540-51340-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
373
Theoharis Theoharis: Algorithms for Parallel Polygon Rendering. Lecture Notes in Computer Science Vol. 373 Springer 1989, ISBN 3-540-51394-9
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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