|
|
- 400
- Rolf Klein:
Concrete and Abstract Voronoi Diagrams.
Lecture Notes in Computer Science Vol. 400 Springer 1989, ISBN 3-540-52055-4
- 401
- Hristo Djidjev (Ed.):
Optimal Algorithms, International Symposium, Varna, Bulgaria, May 29 - June 2, 1989, Proceedings.
Springer 1989, ISBN 3-540-51859-2
Contents
- 402
- Tapan P. Bagchi, Vinay K. Chaudhri:
Interactive Relational Database design - A Logic Programming Implementation.
Lecture Notes in Computer Science Vol. 402 Springer 1989, ISBN 3-540-51881-9
- 403
- Shafi Goldwasser (Ed.):
Advances in Cryptology - CRYPTO '88, 8th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1988, Proceedings.
Springer 1990, ISBN 3-540-97196-3
Contents
- 404
- Joachim Beer:
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine.
Lecture Notes in Computer Science Vol. 404 Springer 1989, ISBN 3-540-52053-8
- 405
- C. E. Veni Madhavan (Ed.):
Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings.
Springer 1989, ISBN 3-540-52048-1
Contents
- 406
- Chris J. Barter, Michael J. Brooks (Eds.):
AI '88: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings.
Springer 1990, ISBN 3-540-52062-7
Contents
- 407
- Joseph Sifakis (Ed.):
Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings.
Springer 1990, ISBN 3-540-52148-8
Contents
- 408
- Miriam Leeser, Geoffrey Brown (Eds.):
Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings.
Springer 1990, ISBN 3-540-97226-9
Contents
- 409
- Alejandro P. Buchmann, Oliver Günther, Terence R. Smith, Y.-F. Wang (Eds.):
Design and Implementation of Large Spatial Databases, First Symposium SSD'89, Santa Barbara, California, July 17/18, 1989, Proceedings.
Springer 1990, ISBN 3-540-52208-5
Contents
- 410
- Franz Pichler, Roberto Moreno-Díaz (Eds.):
Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26 - March 4, 1989, Proceedings.
Springer 1990, ISBN 3-540-52215-8
Contents
- 411
- Manfred Nagl (Ed.):
Graph-Theoretic Concepts in Computer Science, 15th International Workshop, WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989, Proceedings.
Springer 1990, ISBN 3-540-52292-1
Contents
- 412
- Luis B. Almeida, Christian Wellekens (Eds.):
Neural Networks, EURASIP Workshop 1990, Sesimbra, Portugal, February 15-17, 1990, Proceedings.
Springer 1990, ISBN 3-540-52255-7
Contents
- 413
- Reiner Lenz:
Grup Theoretical Methods in Image Processing.
Lecture Notes in Computer Science Vol. 413 Springer 1990, ISBN 3-540-52290-5
- 414
- Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski:
LOGPLAN '88 - Report on the Programming Language.
Lecture Notes in Computer Science Vol. 414 Springer 1990, ISBN 3-540-52325-1
- 415
- Christian Choffrut, Thomas Lengauer (Eds.):
STACS 90, 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings.
Springer 1990, ISBN 3-540-52282-4
Contents
- 416
- François Bancilhon, Costantino Thanos, Dennis Tsichritzis (Eds.):
Advances in Database Technology - EDBT'90. International Conference on Extending Database Technology, Venice, Italy, March 26-30, 1990, Proceedings.
Springer 1990, ISBN 3-540-52291-3
Contents
- 417
- Per Martin-Löf, Grigori Mints (Eds.):
COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings.
Springer 1990, ISBN 3-540-52335-9
Contents
- 418
- Karl-Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger (Eds.):
Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings.
Springer 1989, ISBN 3-540-52337-5
Contents
- 419
- Kurt Weichselberger, Sigrid Pöhlmann:
A Methodology for Uncertainty in Knowledge-Based Systems.
Lecture Notes in Computer Science Vol. 419 Springer 1990, ISBN 3-540-52336-7
- 420
- Zbigniew Michalewicz (Ed.):
Statistical and Scientific Database Management, 5th International Conference SSDBM, Charlotte, NC, USA, April 3-5, 1990, Proccedings.
Springer 1990, ISBN 3-540-52342-1
Contents
- 421
- Tamiya Onodera, Satoru Kawai:
A Formal Model of Visualization in Computer Graphics Systems.
Lecture Notes in Computer Science Vol. 421 Springer 1990, ISBN 3-540-52395-2
- 422
- Bernhard Nebel:
Reasoning and Revision in Hybrid Representation Systems.
Lecture Notes in Computer Science Vol. 422 Springer 1990, ISBN 3-540-52443-6
- 423
- Lionel E. Deimel (Ed.):
Software Engineering Education, SEI Conference 1990, Pittsburgh, Pennsylvania, USA, April 2-3, 1990, Proceedings.
Springer 1990, ISBN 3-540-97274-9
Contents
- 424
- Grzegorz Rozenberg (Ed.):
Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets, held in Venice, Italy in June 1988, selected papers.
Springer 1990, ISBN 3-540-52494-0
Contents
- 425
- Clifford Bergman, Roger D. Maddux, Don Pigozzi (Eds.):
Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings.
Springer 1990, ISBN 3-540-97288-9
Contents
- 426
- Niels Houbak:
SIL - a Simulation Language, User's Guide.
Lecture Notes in Computer Science Vol. 426 Springer 1990, ISBN 3-540-52497-5
- 427
- Olivier D. Faugeras (Ed.):
Computer Vision - ECCV'90, First European Conference on Computer Vision, Antibes, France, April 23-27, 1990, Proceedings.
Springer 1990, ISBN 3-540-52522-X
Contents
- 428
- Dines Bjørner, C. A. R. Hoare, Hans Langmaack (Eds.):
VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings.
Springer 1990, ISBN 3-540-52513-0
Contents
- 429
- Alfonso Miola (Ed.):
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings.
Springer 1990, ISBN 3-540-52531-9
Contents
- 430
- J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.):
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings.
Springer 1990, ISBN 3-540-52559-9
Contents
- 431
- André Arnold (Ed.):
CAAP '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings.
Springer 1990, ISBN 3-540-52590-4
Contents
- 432
- Neil D. Jones (Ed.):
ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings.
Springer 1990, ISBN 3-540-52592-0
Contents
- 433
- Wolfgang Schröder-Preikschat, Wolfgang Zimmer (Eds.):
Process in Distributed Operating Systems and Distributed Systems Management, European Workshop, Berlin, Germany, April 18-19, 1889.
Springer 1990, ISBN 3-540-52609-9
Contents
- 434
- Jean-Jacques Quisquater, Joos Vandewalle (Eds.):
Advances in Cryptology - EUROCRYPT '89, Workshop on the Theory and Application of of Cryptographic Techniques, Houthalen, Belgium, April 10-13, 1989, Proceedings.
Springer 1990, ISBN 3-540-53433-4
Contents
- 435
- Gilles Brassard (Ed.):
Advances in Cryptology - CRYPTO '89, 9th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 1989, Proceedings.
Springer 1990, ISBN 3-540-97317-6
Contents
- 436
- Bo Steinholtz, Arne Sølvberg, Lars Bergman (Eds.):
Advanced Information Systems Engineering, Second Nordic Conference CAiSE'90, Stockholm, Sweden, May 8-10, 1990, Proceedings.
Springer 1990, ISBN 3-540-52625-0
Contents
- 437
- Deepak Kumar (Ed.):
Current Trends in SNePS - Semantic Network Processing System, First Annual SNePS Workshop, Buffalo, NY, USA, November 13, 1989, Proceedings.
Springer 1990, ISBN 3-540-52626-9
Contents
- 438
- Douglas H. Norrie, Hans-Werner Six (Eds.):
Computer Assisted Learning, 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings.
Springer 1990, ISBN 3-540-52699-4
Contents
- 439
- Peter Gorny, Michael J. Tauber (Eds.):
Visualization in Human-Computer Interaction, 7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24-27, 1988, Selected Contributions.
Springer 1990, ISBN 3-540-52698-6
Contents
- 440
- Egon Börger, Hans Kleine Büning, Michael M. Richter (Eds.):
CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings.
Springer 1990, ISBN 3-540-52753-2
Contents
- 441
- Takayasu Ito, Robert H. Halstead Jr. (Eds.):
Parallel Lisp: Languages and Systems, US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings.
Springer 1990, ISBN 3-540-52782-6
Contents
- 442
- Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.):
Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings.
Springer 1990, ISBN 3-540-97375-3
Contents
- 443
- Mike Paterson (Ed.):
Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings.
Springer 1990, ISBN 3-540-52826-1
Contents
- 444
- S. Ramani, Raman Chandrasekar, K. S. R. Anjaneyulu (Eds.):
Knowledge Based Computer Systems, International Conference KBCS '89, Bombay, India, December 11-13, 1989, Proceedings.
Springer 1990, ISBN 3-540-52850-4
Contents
- 445
- A. J. M. van Gasteren:
On the Shape of Mathematical Arguments.
Lecture Notes in Computer Science Vol. 445 Springer 1990, ISBN 3-540-52849-0
- 446
- Lutz Plümer:
Termination Proofs for Logic Programs.
Lecture Notes in Computer Science Vol. 446 Springer 1990, ISBN 3-540-52837-7
- 447
- John R. Gilbert, Rolf G. Karlsson (Eds.):
SWAT 90, 2nd Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 11-14, 1990, Proceedings.
Springer 1990, ISBN 3-540-52846-6
Contents
- 448
- Barbara B. Simons, Alfred Z. Spector (Eds.):
Fault-Tolerant Distributed Computing [Asilomar Workshop 1986].
Springer 1990, ISBN 3-540-97385-0
Contents
- 449
- Mark E. Stickel (Ed.):
10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings.
Springer 1990, ISBN 3-540-52885-7
Contents
- 450
- Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki (Eds.):
Algorithms, International Symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990, Proceedings.
Springer 1990, ISBN 3-540-52921-7
Contents
- 451
- Vladimír Marík, Olga Stepánková, Zdenek Zdráhal (Eds.):
Artificial Intelligence in Higher Education, CEPES-UNESCO International Symposium, Prague, CSFR, October 23-25, 1989, Proceedings.
Springer 1990, ISBN 3-540-52952-7
Contents
- 452
- Branislav Rovan (Ed.):
Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings.
Springer 1990, ISBN 3-540-52953-5
Contents
- 453
- Jennifer Seberry, Josef Pieprzyk (Eds.):
Advances in Cryptology - AUSCRYPT '90, International Conference on Cryptology, Sydney, Australia, January 8-11, 1990, Proceedings.
Springer 1990, ISBN 3-540-53000-2
Contents
- 454
- Volker Diekert:
Combinatorics on Traces.
Lecture Notes in Computer Science Vol. 454 Springer 1990, ISBN 3-540-53031-2
- 455
- Christodoulos A. Floudas, Panos M. Pardalos:
A Collection of Test Problems for Constrained Global Optimization Problems.
Lecture Notes in Computer Science Vol. 455 Springer 1990, ISBN 3-540-53032-0
- 456
- Pierre Deransart, Jan Maluszynski (Eds.):
Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings.
Springer 1990, ISBN 3-540-53010-X
Contents
- 457
- Helmar Burkhart (Ed.):
CONPAR 90 - VAPP IV, Joint International Conference on Vector and Parallel Processing, Zurich, Switerland, September 10-13, 1990, Proceedings.
Springer 1990, ISBN 3-540-53065-7
Contents
- 458
- Jos C. M. Baeten, Jan Willem Klop (Eds.):
CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings.
Springer 1990, ISBN 3-540-53048-7
Contents
- 459
- Rudi Studer (Ed.):
Natural Language and Logic, International Symposium, Hamburg, Germany, May 9-11, 1989, Proceedings.
Springer 1990, ISBN 3-540-53082-7
Contents
- 460
- Jürgen Uhl, Hans Albrecht Schmid:
A Systematic Catalogue of Reusable Abstract Data Types.
Lecture Notes in Computer Science Vol. 460 Springer 1990, ISBN 3-540-53229-3
- 461
- Pierre Deransart, Martin Jourdan (Eds.):
Attribute Grammars and their Applications, International Conference WAGA, Paris, Fance, September 19-21, 1990, Proceedings.
Springer 1990, ISBN 3-540-53101-7
Contents
- 462
- Georg Gottlob, Wolfgang Nejdl (Eds.):
Expert Systems in Engineering, Principles and Applications, International Workshop, Vienna, Austria, September 24-26, 1990, Proceedings.
Springer 1990, ISBN 3-540-53104-1
Contents
- 463
- Hélène Kirchner, Wolfgang Wechler (Eds.):
Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings.
Springer 1990, ISBN 3-540-53162-9
Contents
- 464
- Jürgen Dassow, Jozef Kelemen (Eds.):
Aspects and Prospects of Theoretical Computer Science, 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990, Proceedings.
Springer 1990, ISBN 3-540-53414-8
Contents
- 465
- André Fuhrmann, Michael Morreau (Eds.):
The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings.
Springer 1991, ISBN 3-540-53567-5
Contents
- 466
- Albrecht Blaser (Ed.):
Database Systems of the 90s, International Symposium, Müggelsee, Berlin, Germany, November 5-7, 1990, Proceedings.
Springer 1990, ISBN 3-540-53397-4
Contents
- 467
- Fred Long (Ed.):
Software Engineering Environments, International Workshop on Software Engineering Environments, Chinon, France, September 18-20, 1989, Proceedings.
Springer 1990, ISBN 3-540-53452-0
Contents
- 468
- Selim G. Akl, Frantisek Fiala, Waldemar W. Koczkodaj (Eds.):
Advances in Computing and Information - ICCI'90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings.
Springer 1990, ISBN 3-540-53504-7
Contents
- 469
- Irène Guessarian (Ed.):
Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings.
Springer 1990, ISBN 3-540-53479-2
Contents
- 470
- Serge Abiteboul, Paris C. Kanellakis (Eds.):
ICDT'90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings.
Springer 1990, ISBN 3-540-53507-1
Contents
- 471
- Beng Chin Ooi:
Efficient Query Processing in Geographic Information Systems.
Lecture Notes in Computer Science Vol. 471 Springer 1990, ISBN 3-540-53474-1
- 472
- Kesav V. Nori, C. E. Veni Madhavan (Eds.):
Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings.
Springer 1990, ISBN 3-540-53487-3
Contents
- 473
- Ivan Damgård (Ed.):
Advances in Cryptology - EUROCRYPT '90, Workshop on the Theory and Application of of Cryptographic Techniques, Aarhus, Denmark, May 21-24, 1990, Proceedings.
Springer 1991, ISBN 3-540-53587-X
Contents
- 474
- Dimitris Karagiannis (Ed.):
Information Systems and Artificial Intelligence: Integration Aspects, First Workshop, Ulm, FRG, March 19-21, 1990, Proceedings.
Springer 1991, ISBN 3-540-53557-8
Contents
- 475
- Peter Schroeder-Heister (Ed.):
Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings.
Springer 1991, ISBN 3-540-53590-X
Contents
- 476
- Miguel Filgueiras, Luís Damas, Nelma Moreira, Ana Paula Tomás (Eds.):
Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings.
Springer 1991, ISBN 3-540-53678-7
Contents
- 477
- Dieter Hammer (Ed.):
Compiler Compilers, Third International Workshop on Compiler Construction, CC'90, Schwerin, Germany, October 22-26, 1990, Proceedings.
Springer 1991, ISBN 3-540-53669-8
Contents
- 478
- Jan van Eijck (Ed.):
Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings.
Springer 1991, ISBN 3-540-53686-8
Contents
- 479
- Helmut Schmidt:
Meta-Level Control for Deductive Database Systems.
Lecture Notes in Computer Science Vol. 479 Springer 1991, ISBN 3-540-53754-6
- 480
- Christian Choffrut, Matthias Jantzen (Eds.):
STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings.
Springer 1991, ISBN 3-540-53709-0
Contents
- 481
- Ewald Lang, Kai-Uwe Carstensen, Geoffrey Simmons:
Modelling Spatial Knowledge on a Linguistic Basis: Theory - Prototype - Integration.
Lecture Notes in Computer Science Vol. 481 Springer 1991, ISBN 3-540-53718-X
- 482
- Yves Kodratoff (Ed.):
Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings.
Springer 1991, ISBN 3-540-53816-X
Contents
- 483
- Grzegorz Rozenberg (Ed.):
Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings].
Springer 1991, ISBN 3-540-53863-1
Contents
- 484
- Rolf H. Möhring (Ed.):
Graph-Theoretic Concepts in Computer Science, 16rd International Workshop, WG '90, Berlin, Germany, June 20-22, 1990, Proceedings.
Springer 1991, ISBN 3-540-53832-1
Contents
- 485
- 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
- 486
- Jan van Leeuwen, Nicola Santoro (Eds.):
Distributed Algorithms, 4th International Workshop, WDAG '90, Bari, Italy, September 24-26, 1990, Proceedings.
Springer 1991, ISBN 3-540-54099-7
Contents
- 487
- Arndt Bode (Ed.):
Distributed Memory Computing, 2nd Euronean Conference, EDMCC2, Munich, FRG, April 22-24, 1991, Proceedings.
Springer 1991, ISBN 3-540-53951-4
Contents
- 488
- Ronald V. Book (Ed.):
Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings.
Springer 1991, ISBN 3-540-53904-2
Contents
- 489
- J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.):
Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings.
Springer 1991, ISBN 3-540-53931-X
Contents
- 490
- Jan A. Bergstra, Loe M. G. Feijs (Eds.):
Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989].
Springer 1991, ISBN 3-540-53912-3
Contents
- 491
- Akinori Yonezawa, Takayasu Ito (Eds.):
Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings.
Springer 1991, ISBN 3-540-53932-8
Contents
- 492
- Duvvuru Sriram, Robert Logcher, Shuichi Fukuda (Eds.):
Computer-Aided Cooperative Product Development, MIT-JSME Workshop, MIT, Cambridge, USA, November 20/21, 1989, Proceedings.
Springer 1991, ISBN 3-540-54008-3
Contents
- 493
- Samson Abramsky, T. S. E. Maibaum (Eds.):
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91).
Springer 1991, ISBN 3-540-53982-4
Contents
- 494
- Samson Abramsky, T. S. E. Maibaum (Eds.):
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD).
Springer 1991, ISBN 3-540-53981-6
Contents
- 495
- Bernhard Thalheim, János Demetrovics, Hans-Detlef Gerhardt (Eds.):
MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991, Proceedings.
Springer 1991, ISBN 3-540-54009-1
Contents
- 496
- Hans-Paul Schwefel, Reinhard Männer (Eds.):
Parallel Problem Solving from Nature, 1st Workshop, PPSN I, Dortmund, FRG, October 1-3, 1990, Proceedings.
Springer 1991, ISBN 3-540-54148-9
Contents
- 497
- Frank K. H. A. Dehne, Frantisek Fiala, Waldemar W. Koczkodaj (Eds.):
Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings.
Springer 1991, ISBN 3-540-54029-6
Contents
- 498
- Rudolf Andersen, Janis A. Bubenko Jr., Arne Sølvberg (Eds.):
Advanced Information Systems Engineering, CAiSE'91, Trondheim, Norway, May 13-15, 1991, Proceedings.
Springer 1991, ISBN 3-540-54059-8
Contents
- 499
- Dimitris Christodoulakis (Ed.):
Ada: The Choice for '92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, Proceedings.
Springer 1991, ISBN 3-540-54092-X
Contents
Copyright © Fri Mar 12 17:34:35 2010
by Michael Ley (ley@uni-trier.de)