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