 |
 |
- 500
- Martin Held:
On the Computational Geometry of Pocket Machining.
Lecture Notes in Computer Science Vol. 500 Springer 1991, ISBN 3-540-54103-9
- 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
- 502
- Janis Barzdins, Dines Bjørner (Eds.):
Baltic Computer Science, Selected Papers.
Springer 1991, ISBN 3-540-54131-4
Contents
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 517
- Klaus Nökel:
Temporally Distributed Symptoms in Technical Diagnosis.
Lecture Notes in Computer Science Vol. 517 Springer 1991, ISBN 3-540-54316-3
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 544
- Manfred Broy, Martin Wirsing (Eds.):
Method of Programming, Selected Papers on the CIP-Project.
Springer 1991, ISBN 3-540-54576-X
Contents
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 559
- Gregory Butler:
Fundamental Algorithms for Permutation Groups.
Lecture Notes in Computer Science Vol. 559 Springer 1991, ISBN 3-540-54955-2
- 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
- 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
- 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
- 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
- 564
- Ivan Herman:
The Use of Projective Geometry in Computer Graphics.
Lecture Notes in Computer Science Vol. 564 Springer 1992
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 586
- Andrew Cheese:
Parallel Execution of Parlog.
Lecture Notes in Computer Science Vol. 586 Springer 1992, ISBN 3-540-55382-7
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 595
- Mark Levene:
The Nested Universal Relation Database Model.
Lecture Notes in Computer Science Vol. 595 Springer 1992, ISBN 3-540-55493-9
- 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
- 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
- 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
- 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
Copyright © Fri Mar 12 17:34:35 2010
by Michael Ley (ley@uni-trier.de)