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

Lecture Notes in Computer Science (LNCS), Volumes 500-599

500
Martin Held: On the Computational Geometry of Pocket Machining. Lecture Notes in Computer Science Vol. 500 Springer 1991, ISBN 3-540-54103-9
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
501
Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (Eds.): Algebraic System Specification and Development - A Survey and Annotated Bibliography. Lecture Notes in Computer Science Vol. 501 Springer 1991, ISBN 3-540-54060-1
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
502
Janis Barzdins, Dines Bjørner (Eds.): Baltic Computer Science, Selected Papers. Springer 1991, ISBN 3-540-54131-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
503
Pierre America (Ed.): Parallel Database Systems, PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990, Proceedings. Springer 1990, ISBN 3-540-54132-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
504
Joachim W. Schmidt, Anatoly A. Stogny (Eds.): Next Generation Information System Technology, First Interational East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990, Proceedings. Springer 1990, ISBN 3-540-54141-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
505
Emile H. L. Aarts, Jan van Leeuwen, Martin Rem (Eds.): PARLE '91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings. Springer 1991, ISBN 3-540-54151-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
506
Emile H. L. Aarts, Jan van Leeuwen, Martin Rem (Eds.): PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings. Springer 1991, ISBN 3-540-54152-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
507
Naveed A. Sherwani, Elise de Doncker, John A. Kapenga (Eds.): Computing in the 90's, The First Great Lakes Computer Science Conference, Kalamazzo, Michigan, USA, October 18-20, 1989, Proceedings. Springer 1991, ISBN 3-540-97628-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
508
Shojiro Sakata (Ed.): Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24, 1990, Proceedings. Springer 1991, ISBN 3-540-54195-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
509
Albert Endres, Herbert Weber (Eds.): Software Development Environments and CASE Technology, European Symposium, Königswinter, Germany, June 17-19, 1991, Proceedings. Springer 1991, ISBN 3-540-54194-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
510
Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo (Eds.): Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Springer 1991, ISBN 3-540-54233-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
511
Alan C. F. Colchester, David J. Hawkes (Eds.): Information Processing in Medical Imaging, 12th International Conference, IPMI'91, Wye, UK, July 7-12, 1991, Proceedings. Springer 1991, ISBN 3-540-54246-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
512
Pierre America (Ed.): ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings. Springer 1991, ISBN 3-540-54262-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
513
Nelson Mendonça Mattos: An Approach to Knowledge Base Management. Lecture Notes in Computer Science Vol. 513 Springer 1991, ISBN 3-540-54268-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
514
Gérard D. Cohen, Pascale Charpin (Eds.): EUROCODE '90, International Symposium on Coding Theory and Applications, Udine, Italy, November 5-9, 1990, Proceedings. Springer 1991, ISBN 3-540-54303-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
515
João P. Martins, Michael Reinfrank (Eds.): Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings. Springer 1991, ISBN 3-540-54305-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
516
Stéphane Kaplan, Mitsuhiro Okada (Eds.): Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings. Springer 1991, ISBN 3-540-54317-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
517
Klaus Nökel: Temporally Distributed Symptoms in Technical Diagnosis. Lecture Notes in Computer Science Vol. 517 Springer 1991, ISBN 3-540-54316-3
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
518
James G. Williams: Instantiation Theory - On the Foundations of Automated Deduction. Lecture Notes in Computer Science Vol. 518 Springer 1991, ISBN 3-540-54333-3
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
519
Frank K. H. A. Dehne, Jörg-Rüdiger Sack, Nicola Santoro (Eds.): Algorithms and Data Structures, 2nd Workshop WADS '91, Ottawa, Canada, August 14-16, 1991, Proceedings. Springer 1991, ISBN 3-540-54343-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
520
Andrzej Tarlecki (Ed.): Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings. Springer 1991, ISBN 3-540-54345-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
521
Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh (Eds.): Uncertainty in Knowledge Bases, 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, Proceedings. Springer 1991, ISBN 3-540-54346-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
522
Joachim Hertzberg (Ed.): European Workshop on Planning, EWSP '91, Sankt Augusting, FRG, March 18-19, 1991, Proceedings. Springer 1991, ISBN 3-540-54364-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
523
John Hughes (Ed.): Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings. Springer 1991, ISBN 3-540-54396-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
524
Grzegorz Rozenberg (Ed.): Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990. Springer 1991, ISBN 3-540-54398-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
525
Oliver Günther, Hans-Jörg Schek (Eds.): Advances in Spatial Databases, Second International Symposium, SSD'91, Zürich, Switzerland, August 28-30, 1991, Proceedings. Springer 1991, ISBN 3-540-54414-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
526
Takayasu Ito, Albert R. Meyer (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings. Springer 1991, ISBN 3-540-54415-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
527
Jos C. M. Baeten, Jan Friso Groote (Eds.): CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings. Springer 1991, ISBN 3-540-54430-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
528
Jan Maluszynski, Martin Wirsing (Eds.): Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings. Springer 1991, ISBN 3-540-54444-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
529
Lothar Budach (Ed.): Fundamentals of Computation Theory, 8th International Symposium, FCT '91, Gosen, Germany, September 9-13, 1991, Proceedings. Springer 1991, ISBN 3-540-54458-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
530
David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (Eds.): Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings. Springer 1991, ISBN 3-540-54495-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
531
Edmund M. Clarke, Robert P. Kurshan (Eds.): Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings. Springer 1991, ISBN 3-540-54477-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
532
Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.): Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings. Springer 1991, ISBN 3-540-54478-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
533
Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (Eds.): Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings. Springer 1991, ISBN 3-540-54487-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
534
Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel (Eds.): Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990. Springer 1991, ISBN 3-540-54496-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
535
Philippe Jorrand, Jozef Kelemen (Eds.): Fundamentals of Artificial Intelligence Research, International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991, Proceedings. Springer 1991, ISBN 3-540-54507-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
536
James E. Tomayko (Ed.): Software Engineering Education, SEI Conference, Pittsburgh, Pennsylvania, USA, October7-8, 1991, Proceedings. Springer 1991, ISBN 3-540-54502-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
537
Alfred Menezes, Scott A. Vanstone (Eds.): Advances in Cryptology - CRYPTO '90, 10th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11-15, 1990, Proceedings. Springer 1991, ISBN 3-540-54508-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
538
Masakazu Kojima, Nimrod Megiddo, Toshihito Noma, Akiko Yoshise: A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems. Lecture Notes in Computer Science Vol. 538 Springer 1991, ISBN 3-540-54509-3
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
539
Harold F. Mattson, Teo Mora, T. R. N. Rao (Eds.): Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991, Proceedings. Springer 1991, ISBN 3-540-54522-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
540
Alberto Prieto (Ed.): Artificial Neural Networks, International Workshop, IWANN '91, Granada, Spain, September 17-19, 1991, Proceedings. Springer 1991, ISBN 3-540-54537-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
541
Pedro Barahona, Luís Moniz Pereira, António Porto (Eds.): EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings. Springer 1991, ISBN 3-540-54535-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
542
Zbigniew W. Ras, Maria Zemankova (Eds.): Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings. Springer 1991, ISBN 3-540-54563-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
543
Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt (Eds.): Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings. Springer 1991, ISBN 3-540-54564-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
544
Manfred Broy, Martin Wirsing (Eds.): Method of Programming, Selected Papers on the CIP-Project. Springer 1991, ISBN 3-540-54576-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
545
Henk Alblas, Borivoj Melichar (Eds.): Attribute Grammars, Applications and Systems, International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991, Proceedings. Springer 1991, ISBN 3-540-54572-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
546
Otthein Herzog, Claus-Rainer Rollinger (Eds.): Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project. Springer 1991, ISBN 3-540-54594-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
547
Donald W. Davies (Ed.): Advances in Cryptology - EUROCRYPT '91, Workshop on the Theory and Application of of Cryptographic Techniques, Brighton, UK, April 8-11, 1991, Proceedings. Springer 1991, ISBN 3-540-54620-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
548
Rudolf Kruse, Pierre Siegel (Eds.): Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQAU, Marseille, France, October 15-17, 1991, Proceedings. Springer 1991, ISBN 3-540-54659-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
549
Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello (Eds.): Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991, Proceedings. Springer 1991, ISBN 3-540-54712-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
550
Axel van Lamsweerde, Alfonso Fugetta (Eds.): ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings. Springer 1991, ISBN 3-540-54742-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
551
Søren Prehn, W. J. Toetenel (Eds.): VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions. Springer 1991, ISBN 3-540-54834-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
552
Søren Prehn, W. J. Toetenel (Eds.): VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 2: Tutorials. Springer 1991, ISBN 3-540-54868-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
553
Hanspeter Bieri, Hartmut Noltemeier (Eds.): Computational Geometry - Methods, Algorithms and Applications, International Workshop on Computational Geometry CG'91, Bern, Switzerland, March 21-22, 1991. Springer 1991, ISBN 3-540-54891-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
554
Gösta Grahne: The Problem of Incomplete Information in Relational Databases. Lecture Notes in Computer Science Vol. 554 Springer 1991, ISBN 3-540-54919-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
555
Hermann A. Maurer (Ed.): New Results and New Trends in Computer Science, Graz, Austria, June 20-21, 1991, Proceedings [on occasion of H. Maurer's 50th birthday]. Springer 1991, ISBN 3-540-54869-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
556
Jean-Marie Jacquet: Conclog: A Methodological Approach to Concurrent Logic Programming. Lecture Notes in Computer Science Vol. 565 Springer 1991, ISBN 3-540-54938-2
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
557
Wen-Lian Hsu, Richard C. T. Lee (Eds.): ISA '91 Algorithms, 2nd International Sy,posium on Algorithms, Taipei, Republic of China, December 16-18, 1991, Proceedings. Springer 1991, ISBN 3-540-54945-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
558
Jozef Hooman: Specification and Compositional Verification of Real-Time Systems. Lecture Notes in Computer Science Vol. 558 Springer 1991, ISBN 3-540-54947-1
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
559
Gregory Butler: Fundamental Algorithms for Permutation Groups. Lecture Notes in Computer Science Vol. 559 Springer 1991, ISBN 3-540-54955-2
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
560
Somenath Biswas, Kesav V. Nori (Eds.): Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings. Springer 1991, ISBN 3-540-54967-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
561
Cunsheng Ding, Guozhen Xiao, Weijuan Shan: The Stability Theory of Stream Ciphers. Lecture Notes in Computer Science Vol. 561 Springer 1991, ISBN 3-540-54973-0
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
562
Ruth Breu: Algebraic Specification Techniques in Object Oriented Programming Environments. Lecture Notes in Computer Science Vol. 562 Springer 1991, ISBN 3-540-54972-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
563
Arthur I. Karshmer, Jürgen Nehmer (Eds.): Operating Systems of the 90s and Beyond, International Workshop, Dagstuhl Castle, Germany, July 8-12, 1991, Proceedings. Springer 1991, ISBN 3-540-54987-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
564
Ivan Herman: The Use of Projective Geometry in Computer Graphics. Lecture Notes in Computer Science Vol. 564 Springer 1992
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
565
Jörg D. Becker, Ignaz Eisele, Friedhelm Mündemann (Eds.): Parallelism, Learning, Evolution, Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989, Workshop on Parallel Processing: Logic, Organization, and Technology - WOPPLOT 89, Wildbad Kreuth, Germany, July 24-28, 1989. Springer 1991, ISBN 3-540-55027-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
566
Claude Delobel, Michael Kifer, Yoshifumi Masunaga (Eds.): Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings. Springer 1991, ISBN 3-540-55015-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
567
Harold Boley, Michael M. Richter (Eds.): Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings. Springer 1991, ISBN 3-540-55033-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
568
Hans-Jürgen Bürckert: A Resolution Principle for a Logic with Restricted Quantifiers. Lecture Notes in Computer Science Vol. 568 Springer 1991, ISBN 3-540-55034-8
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
569
Anthony Beaumont, Gopal Gupta (Eds.): Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, June 24, 1991, Proceedings. Springer 1991, ISBN 3-540-55038-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
570
Gunther Schmidt, Rudolf Berghammer (Eds.): 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings. Springer 1992, ISBN 3-540-55121-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
571
Jan Vytopil (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Springer 1991, ISBN 3-540-55092-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
572
Klaus U. Schulz (Ed.): Word Equations and Related Topics, First International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990, Proceedings. Springer 1992, ISBN 3-540-55124-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
573
Gérard D. Cohen, Simon Litsyn, Antoine Lobstein, Gilles Zémor (Eds.): Algebraic Coding, First French-Soviet Workshop, Paris, France, July 22-24, 1991, Proceedings. Springer 1992, ISBN 3-540-55130-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
574
Jean-Pierre Banâtre, Daniel Le Métayer (Eds.): Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings. Springer 1992, ISBN 3-540-55160-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
575
Kim Guldstrand Larsen, Arne Skou (Eds.): Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Springer 1992, ISBN 3-540-55179-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
576
Joan Feigenbaum (Ed.): Advances in Cryptology - CRYPTO '91, 11th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11-15, 1991, Proceedings. Springer 1992, ISBN 3-540-55188-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
577
Alain Finkel, Matthias Jantzen (Eds.): STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings. Springer 1992, ISBN 3-540-55210-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
578
Thomas Beth, Markus Frisch, Gustavus J. Simmons (Eds.): Public-Key Cryptography: State of the Art and Future Directions, E.I.S.S. Workshop, Oberwolfach, Germany, July 3-6, 1991, Final Report. Lecture Notes in Computer Science Vol. 578 Springer 1992, ISBN 3-540-55215-4
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
579
Sam Toueg, Paul G. Spirakis, Lefteris M. Kirousis (Eds.): Distributed Algorithms, 5th International Workshop, WDAG '91, Delphi, Greece, October 7-9, 1991, Proceedings. Springer 1992, ISBN 3-540-55236-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
580
Alain Pirotte, Claude Delobel, Georg Gottlob (Eds.): Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings. Springer 1992, ISBN 3-540-55270-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
581
Jean-Claude Raoult (Ed.): CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings. Springer 1992, ISBN 3-540-55251-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
582
Bernd Krieg-Brückner (Ed.): ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings. Springer 1992, ISBN 3-540-55253-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
583
Imre Simon (Ed.): LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings. Springer 1992, ISBN 3-540-55284-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
584
Richard Zippel (Ed.): Computer Algebra and Parallelism, Second International Workshop, Ithaca, USA, May 9-11, 1990. Springer 1992, ISBN 3-540-55328-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
585
Franz Pichler, Roberto Moreno-Díaz (Eds.): Computer Aided Systems Theory - EUROCAST'91, A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991, Proceedings. Springer 1992, ISBN 3-540-55354-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
586
Andrew Cheese: Parallel Execution of Parlog. Lecture Notes in Computer Science Vol. 586 Springer 1992, ISBN 3-540-55382-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
587
Robert Dale, Eduard H. Hovy, Dietmar Rösner, Oliviero Stock (Eds.): Aspects of Automated Natural Language Generation, 6th International Workshop on Natural Language Generation, Trento, Italy, April 5-7, 1992, Proceedings. Springer 1992, ISBN 3-540-55399-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
588
Giulio Sandini (Ed.): Computer Vision - ECCV'92, Second European Conference on Computer Vision, Santa Margherita Ligure, Italy, May 19-22, 1992, Proceedings. Springer 1992, ISBN 3-540-55426-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
589
Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua (Eds.): Languages and Compilers for Parallel Computing, Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991, Proceedings. Springer 1992, ISBN 3-540-55422-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
590
Bertram Fronhöfer, Graham Wrightson (Eds.): Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings. Springer 1992, ISBN 3-540-55425-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
591
Hans P. Zima (Ed.): Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991, Proceedings. Springer 1992, ISBN 3-540-55437-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
592
Andrei Voronkov (Ed.): Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. Springer 1992, ISBN 3-540-55460-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
593
Pericles Loucopoulos (Ed.): Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings. Springer 1992, ISBN 3-540-55481-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
594
Burkhard Monien, Thomas Ottmann (Eds.): Data Structures and Efficient Algorithms, Final Report on the DFG Special Joint Initiative. Springer 1992, ISBN 3-540-55488-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
595
Mark Levene: The Nested Universal Relation Database Model. Lecture Notes in Computer Science Vol. 595 Springer 1992, ISBN 3-540-55493-9
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
596
Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister (Eds.): Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings. Springer 1992, ISBN 3-540-55498-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
597
Hans W. Guesgen, Joachim Hertzberg: A Perspective of Constraint-Based Reasoning - An Introductory Tutorial. Lecture Notes in Computer Science Vol. 597 Springer 1992, ISBN 3-540-55510-2
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
598
Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings. Springer 1992, ISBN 3-540-55511-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
599
Thomas Wetter, Klaus-Dieter Althoff, John H. Boose, Brian R. Gaines, Marc Linster (Eds.): Current Developments in Knowledge Acquisition - EKAW'92, 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992. Springer 1992, ISBN 3-540-55546-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Fri Mar 12 17:34:35 2010 by Michael Ley (ley@uni-trier.de)