 |
 |
- 600
- J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg (Eds.):
Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings.
Springer 1992, ISBN 3-540-55564-1
Contents BibTeX
- 601
- Danny Dolev, Zvi Galil, Michael Rodeh (Eds.):
Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa, Israel, May 1992.
Springer 1992, ISBN 3-540-55553-6
Contents BibTeX
- 602
- Ivan Tomek (Ed.):
Computer Assisted Learning, 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings.
Springer 1992, ISBN 3-540-55578-1
Contents BibTeX
- 603
- Jan van Katwijk (Ed.):
Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings.
Springer 1992, ISBN 3-540-55585-4
Contents BibTeX
- 604
- Fevzi Belli, Franz Josef Radermacher (Eds.):
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 5th International Conference, IEA/AIE - 92, Paderborn, Germany, June 9-12, 1992, Proceedings.
Springer 1992, ISBN 3-540-55601-X
Contents BibTeX
- 605
- Daniel Etiemble, Jean-Claude Syre (Eds.):
PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings.
Springer 1992, ISBN 3-540-55599-4
Contents BibTeX
- 606
- Donald E. Knuth:
Axioms and Hulls.
Lecture Notes in Computer Science Vol. 606 Springer 1992, ISBN 3-540-55611-7
BibTeX
- 607
- Deepak Kapur (Ed.):
Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings.
Springer 1992, ISBN 3-540-55602-8
Contents BibTeX
- 608
- Claude Frasson, Gilles Gauthier, Gordon I. McCalla (Eds.):
Intelligent Tutoring Systems, Second International Conference, ITS '92, Montréal, Canada, June 10-12, 1992, Proceedings.
Springer 1992, ISBN 3-540-55606-0
Contents BibTeX
- 609
- Grzegorz Rozenberg (Ed.):
Advances in Petri Nets 1992, The DEMON Project.
Springer 1992, ISBN 3-540-55610-9
Contents BibTeX
- 610
- Frank von Martial:
Coordinating Plans of Autonomous Agents.
Lecture Notes in Computer Science Vol. 610 Springer 1992, ISBN 3-540-55615-X
BibTeX
- 611
- Mike P. Papazoglou, John Zeleznikow (Eds.):
The Next Generation of Information Systems: From Data to Knowledge - A Selection of Papers Presented at Two IJCAI-91 Workshops, Sydney, Australia, August 26, 1991.
Springer 1992, ISBN 3-540-55616-8
Contents BibTeX
- 612
- Mario Tokoro, Oscar Nierstrasz, Peter Wegner (Eds.):
Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings.
Springer 1992, ISBN 3-540-55613-3
Contents BibTeX
- 613
- J. Paul Myers Jr., Michael J. O'Donnell (Eds.):
Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings.
Springer 1992, ISBN 3-540-55631-1
Contents BibTeX
- 614
- Ralf Guido Herrtwich (Ed.):
Network and Operating System Support for Digital Audio and Video, Second International Workshop, Heidelberg, Germany, November 18-19, 1991, Proceedings.
Springer 1992, ISBN 3-540-55639-7
Contents BibTeX
- 615
- Ole Lehrmann Madsen (Ed.):
ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29 - July 3, 1992, Proceedings.
Springer 1992, ISBN 3-540-55668-0
Contents BibTeX
- 616
- Kurt Jensen (Ed.):
Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings.
Springer 1992, ISBN 3-540-55676-1
Contents BibTeX
- 617
- Vladimír Marík, Olga Stepánková, Robert Trappl (Eds.):
Advanced Topics in Artificial Intelligence, International Summer School, Prague, Czechoslovakia, July 6-17, 1992, Proceedings.
Springer 1992, ISBN 3-540-55681-8
Contents BibTeX
- 618
- Peter M. D. Gray, Robert J. Lucas (Eds.):
Advanced Database Systems, 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992, Proceedings.
Springer 1992, ISBN 3-540-55693-1
Contents BibTeX
- 619
- David Pearce, Heinrich Wansing (Eds.):
Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings.
Springer 1992, ISBN 3-540-55745-8
Contents BibTeX
- 620
- Anil Nerode, Michael A. Taitslin (Eds.):
Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings.
Springer 1992, ISBN 3-540-55707-5
Contents BibTeX
- 621
- Otto Nurmi, Esko Ukkonen (Eds.):
Algorithm Theory - SWAT '92, Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992, Proceedings.
Springer 1992, ISBN 3-540-55706-7
Contents BibTeX
- 622
- Franz Schmalhofer, Gerhard Strube, Thomas Wetter (Eds.):
Contemporary Knowledge Engineering and Cognition, First Joint Workshop, Kaiserslautern, Germany, February 21-22, 1991, Proceedings.
Springer 1992, ISBN 3-540-55711-3
Contents BibTeX
- 623
- Werner Kuich (Ed.):
Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings.
Springer 1992, ISBN 3-540-55719-9
Contents BibTeX
- 624
- Andrei Voronkov (Ed.):
Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings.
Springer 1992, ISBN 3-540-55727-X
Contents BibTeX
- 625
- Walter Vogler:
Modular Construction and Partial Order Semantics of Petri Nets.
Lecture Notes in Computer Science Vol. 625 Springer 1992, ISBN 3-540-55767-9
BibTeX
- 626
- Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (Eds.):
Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings.
Springer 1992, ISBN 3-540-55789-X
Contents BibTeX
- 627
- James Pustejovsky, Sabine Bergler (Eds.):
Lexical Semantics and Knowledge Representation, First SIGLEX Workshop, Berkeley, CA, USA, June 17, 1991, Proceedings.
Springer 1992, ISBN 3-540-55801-2
Contents BibTeX
- 628
- George Vosselman:
Relational Matching.
Lecture Notes in Computer Science Vol. 628 Springer 1992, ISBN 3-540-55798-9
BibTeX
- 629
- Ivan M. Havel, Václav Koubek (Eds.):
Mathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings.
Springer 1992, ISBN 3-540-55808-X
Contents BibTeX
- 630
- Rance Cleaveland (Ed.):
CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings.
Springer 1992, ISBN 3-540-55822-5
Contents BibTeX
- 631
- Maurice Bruynooghe, Martin Wirsing (Eds.):
Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings.
Springer 1992, ISBN 3-540-55844-6
Contents BibTeX
- 632
- Hélène Kirchner, Giorgio Levi (Eds.):
Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings.
Springer 1992, ISBN 3-540-55873-X
Contents BibTeX
- 633
- David Pearce, Gerd Wagner (Eds.):
Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings.
Springer 1992, ISBN 3-540-55887-X
Contents BibTeX
- 634
- Luc Bougé, Michel Cosnard, Yves Robert, Denis Trystram (Eds.):
Parallel Processing: CONPAR 92 - VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992, Proceedings.
Springer 1992, ISBN 3-540-55895-0
Contents BibTeX
- 635
- Jean-Claude Derniame (Ed.):
Software Process Technology, Second European Workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992, Proceedings.
Springer 1992, ISBN 3-540-55928-0
Contents BibTeX
- 636
- Gérard Comyn, Norbert E. Fuchs, Michael Ratcliffe (Eds.):
Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings.
Springer 1992, ISBN 3-540-55930-2
Contents BibTeX
- 637
- Yves Bekkers, Jacques Cohen (Eds.):
Memory Management, International Workshop IWMM 92, St. Malo, France, September 17-19, 1992, Proceedings.
Springer 1992, ISBN 3-540-55940-X
Contents BibTeX
- 638
- Armando Freitas da Rocha:
Neural Nets - A Theory for Brains and Machines.
Lecture Notes in Computer Science Vol. 638 Springer 1992, ISBN 3-540-55949-3
BibTeX
- 639
- Andrew U. Frank, Irene Campari, Ubaldo Formentini (Eds.):
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings.
Springer 1992, ISBN 3-540-55966-3
Contents BibTeX
- 640
- Carol A. Sledge (Ed.):
Software Engineering Education, SEI Conference, 1992, Proceedings.
Springer 1992, ISBN 3-540-55963-9
Contents BibTeX
- 641
- Uwe Kastens, Peter Pfahler (Eds.):
Compiler Construction, 4th International Conference on Compiler Construction, CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings.
Springer 1992, ISBN 3-540-55984-1
Contents BibTeX
- 642
- Klaus P. Jantke (Ed.):
Analogical and Inductive Inference, International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992, Proceedings.
Springer 1992, ISBN 3-540-56004-1
Contents BibTeX
- 643
- Annegret Habel:
Hyperedge Replacement: Grammars and Languages.
Lecture Notes in Computer Science Vol. 643 Springer 1992, ISBN 3-540-16488-X
BibTeX
- 644
- Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber (Eds.):
Combinatorial Pattern Matching, Third Annual Symposium, CPM 92, Tucson, Arizona, USA, April 29 - May 1, 1992, Proceedings.
Springer 1992, ISBN 3-540-56024-6
Contents BibTeX
- 645
- Günther Pernul, A. Min Tjoa (Eds.):
Entity-Relationship Approach - ER'92, 11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992, Proceedings.
Springer 1992, ISBN 3-540-56023-8
Contents BibTeX
- 646
- Joachim Biskup, Richard Hull (Eds.):
Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings.
Springer 1992, ISBN 3-540-56039-4
Contents BibTeX
- 647
- Adrian Segall, Shmuel Zaks (Eds.):
Distributed Algorithms, 6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992, Proceedings.
Springer 1992, ISBN 3-540-56188-9
Contents BibTeX
- 648
- Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater (Eds.):
Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings.
Springer 1992, ISBN 3-540-56246-X
Contents BibTeX
- 649
- Alberto Pettorossi (Ed.):
Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings.
Springer 1992, ISBN 3-540-56282-6
Contents BibTeX
- 650
- Toshihide Ibaraki, Yasuyoshi Inagaki, Kazuo Iwama, Takao Nishizeki, Masafumi Yamashita (Eds.):
Algorithms and Computation, Third International Symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992, Proceedings.
Springer 1992, ISBN 3-540-56279-6
Contents BibTeX
- 651
- Ron Koymans:
Specifying Message Passing and Time-Critical Systems with Temporal Logic.
Lecture Notes in Computer Science Vol. 651 Springer 1992, ISBN 3-540-56283-4
BibTeX
- 652
- R. K. Shyamasundar (Ed.):
Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings.
Springer 1992, ISBN 3-540-56287-7
Contents BibTeX
- 653
- Alain Bensoussan, Jean-Pierre Verjus (Eds.):
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992, Proceedings.
Springer 1992, ISBN 3-540-56320-2
Contents BibTeX
- 654
- Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick Shen-Pei Wang, Katsushi Inoue (Eds.):
Parallel Image Analysis, Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992, Proceedings.
Springer 1992, ISBN 3-540-56346-6
Contents BibTeX
- 655
- Michel Bidoit, Christine Choppy (Eds.):
Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers.
Springer 1993, ISBN 3-540-56379-2
Contents BibTeX
- 656
- Michaël Rusinowitch, Jean-Luc Remy (Eds.):
Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings.
Springer 1993, ISBN 3-540-56393-8
Contents BibTeX
- 657
- Ernst W. Mayr (Ed.):
Graph-Theoretic Concepts in Computer Science, 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 19-20, 1992, Proceedings.
Springer 1993, ISBN 3-540-56402-0
Contents BibTeX
- 658
- Rainer A. Rueppel (Ed.):
Advances in Cryptology - EUROCRYPT '92, Workshop on the Theory and Application of of Cryptographic Techniques, Balatonfüred, Hungary, May 24-28, 1992, Proceedings.
Springer 1993, ISBN 3-540-56413-6
Contents BibTeX
- 659
- Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (Eds.):
Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings.
Springer 1993, ISBN 3-540-56433-0
Contents BibTeX
- 660
- Evelina Lamma, Paola Mello (Eds.):
Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings.
Springer 1993, ISBN 3-540-56454-3
Contents BibTeX
- 661
- Stephen Jose Hanson, Werner Remmele, Ronald L. Rivest (Eds.):
Machine Learning: From Theory to Applications - Cooperative Research at Siemens and MIT.
Springer 1993, ISBN 3-540-56483-7
Contents BibTeX
- 662
- Mark Nitzberg, David Mumford, Takahiro Shiota:
Filtering, Segmentation and Depth.
Lecture Notes in Computer Science Vol. 662 Springer 1993, ISBN 3-540-56484-5
BibTeX
- 663
- Gregor von Bochmann, David K. Probst (Eds.):
Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings.
Springer 1993, ISBN 3-540-56496-9
Contents BibTeX
- 664
- Marc Bezem, Jan Friso Groote (Eds.):
Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings.
Springer 1993, ISBN 3-540-56517-5
Contents BibTeX
- 665
- Patrice Enjalbert, Alain Finkel, Klaus W. Wagner (Eds.):
STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings.
Springer 1993, ISBN 3-540-56503-5
Contents BibTeX
- 666
- J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.):
Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings.
Springer 1993, ISBN 3-540-56596-5
Contents BibTeX
- 667
- Pavel Brazdil (Ed.):
Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings.
Springer 1993, ISBN 3-540-56602-3
Contents BibTeX
- 668
- Marie-Claude Gaudel, Jean-Pierre Jouannaud (Eds.):
TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings.
Springer 1993, ISBN 3-540-56610-4
Contents BibTeX
- 669
- Richard S. Bird, Carroll Morgan, Jim Woodcock (Eds.):
Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings.
Springer 1993, ISBN 3-540-56625-2
Contents BibTeX
- 670
- Jim Woodcock, Peter Gorm Larsen (Eds.):
FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings.
Springer 1993, ISBN 3-540-56662-7
Contents BibTeX
- 671
- Hans Jürgen Ohlbach (Ed.):
GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings.
Springer 1993, ISBN 3-540-56667-8
Contents BibTeX
- 672
- Amnon Barak, Shai Guday, Richard G. Wheeler:
The MOSIX Distributed Operating System - Load Balancing for UNIX.
Lecture Notes in Computer Science Vol. 672 Springer 1993, ISBN 3-540-56663-5
BibTeX
- 673
- Gérard D. Cohen, Teo Mora, Oscar Moreno (Eds.):
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 10th International Symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993, Proceedings.
Springer 1993, ISBN 3-540-56686-4
Contents BibTeX
- 674
- Grzegorz Rozenberg (Ed.):
Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991.
Springer 1993, ISBN 3-540-56689-9
Contents BibTeX
- 675
- Anne Mulkers:
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation.
Lecture Notes in Computer Science Vol. 675 Springer 1993, ISBN 3-540-56694-5
BibTeX
- 676
- Thomas H. Reiss:
Recognizing Planar Objects Using Invariant Image Features.
Lecture Notes in Computer Science Vol. 676 Springer 1993, ISBN 3-540-56713-5
BibTeX
- 677
- Habib Abdulrab, Jean-Pierre Pécuchet (Eds.):
Word Equations and Related Topics, Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991, Proceedings.
Springer 1993, ISBN 3-540-56730-5
Contents BibTeX
- 678
- Friedhelm Meyer auf der Heide, Burkhard Monien, Arnold L. Rosenberg (Eds.):
Parallel Architectures and Their Efficient Use, First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992, Proceedings.
Springer 1993, ISBN 3-540-56731-3
Contents BibTeX
- 679
- Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov:
Resolution Methods for the Decision Problem.
Lecture Notes in Computer Science Vol. 679 Springer 1993, ISBN 3-540-56732-1
BibTeX
- 680
- Berthold Hoffmann, Bernd Krieg-Brückner (Eds.):
Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System.
Springer 1993, ISBN 3-540-56733-X
Contents BibTeX
- 681
- Heinrich Wansing:
The Logic of Information Structures.
Lecture Notes in Computer Science Vol. 681 Springer 1993, ISBN 3-540-56734-8
BibTeX
- 682
- Bernadette Bouchon-Meunier, Llorenç Valverde, Ronald R. Yager (Eds.):
IPMU '92 - Advanced Methods in Artificial Intelligence, 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992, Proceedings.
Springer 1993, ISBN 3-540-56735-6
Contents BibTeX
- 683
- George J. Milne, Laurence Pierre (Eds.):
Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings.
Springer 1993, ISBN 3-540-56778-X
Contents BibTeX
- 684
- Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber (Eds.):
Combinatorial Pattern Matching, 4th Annual Symposium, CPM 93, Padova, Italy, June 2-4, 1993, Proceedings.
Springer 1993, ISBN 3-540-56764-X
Contents BibTeX
- 685
- Colette Rolland, François Bodart, Corine Cauvet (Eds.):
Advanced Information Systems Engineering, CAiSE'93, Paris, France, June 8-11, 1993, Proceedings.
Springer 1993, ISBN 3-540-56777-1
Contents BibTeX
- 686
- José Mira, Joan Cabestany, Alberto Prieto (Eds.):
New Trends in Neural Computation, International Workshop on Artificial Neural Networks, IWANN '93, Sitges, Spain, June 9-11, 1993, Proceedings.
Springer 1993, ISBN 3-540-56798-4
Contents BibTeX
- 687
- Harrison H. Barrett, Arthur F. Gmitro (Eds.):
Information Processing in Medical Imaging, 13th International Conference, IPMI'93, Flagstaff, Arizona, USA, June 14-18, 1993, Proceedings.
Springer 1993, ISBN 3-540-56800-X
Contents BibTeX
- 688
- Michel Gauthier (Ed.):
Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings.
Springer 1993, ISBN 3-540-56802-6
Contents BibTeX
- 689
- Henryk Jan Komorowski, Zbigniew W. Ras (Eds.):
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings.
Springer 1993, ISBN 3-540-56804-2
Contents BibTeX
- 690
- Claude Kirchner (Ed.):
Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings.
Springer 1993, ISBN 3-540-56868-9
Contents BibTeX
- 691
- Marco Ajmone Marsan (Ed.):
Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings.
Springer 1993, ISBN 3-540-56863-8
Contents BibTeX
- 692
- David J. Abel, Beng Chin Ooi (Eds.):
Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, June 23-25, 1993, Proceedings.
Springer 1993, ISBN 3-540-56869-7
Contents BibTeX
- 693
- Peter E. Lauer (Ed.):
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada.
Springer 1993, ISBN 3-540-56883-2
Contents BibTeX
- 694
- Arndt Bode, Mike Reeve, Gottfried Wolf (Eds.):
PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings.
Springer 1993, ISBN 3-540-56891-3
Contents BibTeX
- 695
- Erich-Peter Klement, Wolfgang Slany (Eds.):
Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence Conference, FLAI '93, Linz, Austria, June 28-30, 1993, Proceedings.
Springer 1993, ISBN 3-540-56920-0
Contents BibTeX
- 696
- Michael F. Worboys, A. F. Grundy (Eds.):
Advances in Databases, 11th British National Conference on Databases, BNCOD 11, Keele, U.K., July 7-9, 1993, Proceedings.
Springer 1993, ISBN 3-540-56921-9
Contents BibTeX
- 697
- Costas Courcoubetis (Ed.):
Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings.
Springer 1993, ISBN 3-540-56922-7
Contents BibTeX
- 698
- Andrei Voronkov (Ed.):
Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings.
Springer 1993, ISBN 3-540-56944-8
Contents BibTeX
- 699
- Guy W. Mineau, Bernard Moulin, John F. Sowa (Eds.):
Conceptual Graphs for Knowledge Representation, ICCS '93, Quebec City, Canada, August 4-7, 1993, Proceedings.
Springer 1993, ISBN 3-540-56979-0
Contents BibTeX
Copyright © Sun May 17 00:32:03 2009
by Michael Ley (ley@uni-trier.de)