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