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