dblp.uni-trier.de www.uni-trier.de

Lecture Notes in Computer Science (LNCS), Volumes 400-499

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

Copyright © Fri Mar 12 17:34:35 2010 by Michael Ley (ley@uni-trier.de)