Lecture Notes in Computer Science (LNCS), Volumes 1000-1099

1000: Jan van Leeuwen (Ed.): Computer Science Today: Recent Trends and Developments. Lecture Notes in Computer Science Vol. 1000 Springer 1995, ISBN 3-540-60105-8
Contents
1001: Madhu Sudan: Efficient Checking of Polynomials and Proofs anf the Hardness of Approximation Problems. Lecture Notes in Computer Science Vol. 1001 Springer 1995, ISBN 3-540-60615-7
1002: James J. Kistler: Disconnected Operation in a Distributed File System. Lecture Notes in Computer Science Vol. 1002 Springer 1995, ISBN 3-540-60627-0
1003: P. Pandurang Nayak: Automated Modeling of Physical Systems. Lecture Notes in Computer Science Vol. 1003 Springer 1995, ISBN 3-540-60641-6
1004: John Staples, Peter Eades, Naoki Katoh, Alistair Moffat (Eds.): Algorithms and Computation, 6th International Symposium, ISAAC '95, Cairns, Australia, December 4-6, 1995, Proceedings. Springer 1995, ISBN 3-540-60573-8
Contents
1005: Jacky Estublier (Ed.): Software Configuration Management, ICSE SCM-4 and SCM-5 Workshops, Selected Papers. Springer 1995, ISBN 3-540-60578-9
Contents
1006: Subhash Bhalla (Ed.): Information Systems and Data Management, 6th International Conference, CISMOD'95, Bombay, India, November 15-17, 1995, Proceedings. Springer 1995, ISBN 3-540-60584-3
Contents
1007: Antoon Bosselaers, Bart Preneel (Eds.): Integrity Primitives for Secure Information Systems, Final Report of RACE Integrity Primitives Evaluation RIPE-RACE 1040. Lecture Notes in Computer Science Vol. 1007 Springer 1995, ISBN 3-540-60640-8
1008: Bart Preneel (Ed.): Fast Software Encryption: Second International Workshop. Leuven, Belgium, 14-16 December 1994, Proceedings. Springer 1995
Contents
1009: Manfred Broy, Stefan Jähnichen (Eds.): KORSO - Methods, Languages, and Tools for the Construction of Correct Software. Springer 1995, ISBN 3-540-60589-4
Contents
1010: Manuela M. Veloso, Agnar Aamodt (Eds.): Case-Based Reasoning Research and Development, First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995, Proceedings. Springer 1995, ISBN 3-540-60598-3
Contents
1011: Takeshi Furuhashi (Ed.): Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms, IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, August 9-10, 18994, Selected Papers. Springer 1995, ISBN 3-540-60607-6
Contents
1012: Miroslav Bartosek, Jan Staudek, Jirí Wiedermann (Eds.): SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995, Proceedings. Springer 1995, ISBN 3-540-60609-2
Contents
1013: Tok Wang Ling, Alberto O. Mendelzon, Laurent Vieille (Eds.): Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings. Springer 1995, ISBN 3-540-60608-4
Contents
1014: Angel P. Del Pobil, Miguel A. Serna: Spatial Representation and Motion Planning. Lecture Notes in Computer Science Vol. 1014 Springer 1995, ISBN 3-540-60620-3
1015: Brad Blumenthal, Juri Gornostaev, Claus Unger (Eds.): Human-Computer Interaction, 5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995, Selected Papers. Springer 1995, ISBN 3-540-60614-9
Contents
1016: Roberto Cipolla: Active Visual Inference of Surface Shape. Lecture Notes in Computer Science Vol. 1016 Springer 1996, ISBN 3-540-60642-4
1017: Manfred Nagl (Ed.): Graph-Theoretic Concepts in Computer Science, 21st International Workshop, WG '95, Aachen, Germany, June 20-22, 1995, Proceedings. Springer 1995, ISBN 3-540-60618-1
Contents
1018: Thomas D. C. Little, Riccardo Gusella (Eds.): Network and Operating System Support for Digital Audio and Video, 5th International Workshop, NOSSDAV '95, Durham, New Hampshire, USA, April 19-21, 1995, Proceedings. Springer 1995, ISBN 3-540-60647-5
Contents
1019: Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen (Eds.): Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Springer 1995, ISBN 3-540-60630-0
Contents
1020: Ian D. Watson (Ed.): Progress in Case-Based Reasoning, First United Kingdom Workshop, Salford, UK, January 12, 1995, Proceedings. Springer 1995, ISBN 3-540-60654-8
Contents
1021: Mike P. Papazoglou (Ed.): OOER'95: Object-Oriented and Entity-Relationship Modelling, 14th International Conference, Gold Coast, Australia, December 12-15, 1995, Proceedings. Springer 1995, ISBN 3-540-60672-6
Contents
1022: Pieter H. Hartel, Marinus J. Plasmeijer (Eds.): Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings. Springer 1995, ISBN 3-540-60675-0
Contents
1023: Kanchana Kanchanasut, Jean-Jacques Lévy (Eds.): Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Tailand, December 11-13, 1995, Proceedings. Springer 1995, ISBN 3-540-60688-2
Contents
1024: Roland T. Chin, Horace Ho-Shing Ip, Avi C. Naiman, Ting-Chuen Pong (Eds.): Image Analysis Applications and Computer Graphics, Third International Computer Science Conference, ICSC'95, Hong Kong, December 11-13, 1995, Proceedings. Springer 1995, ISBN 3-540-60697-1
Contents
1025: Colin Boyd (Ed.): Cryptography and Coding, 5th IMA Conference, Cirencester, UK, December 18-20, 1995, Proceedings. Springer 1995, ISBN 3-540-60693-9
Contents
1026: P. S. Thiagarajan (Ed.): Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings. Springer 1995, ISBN 3-540-60692-0
Contents
1027: Franz-Josef Brandenburg (Ed.): Graph Drawing, Symposium on Graph Drawing, GD '95, Passau, Germany, September 20-22, 1995, Proceedings. Springer 1996, ISBN 3-540-60723-4
Contents
1028: Nabil R. Adam, Yelena Yesha (Eds.): Electronic Commerce, Current Research Issues and Applications [Workshop at NIST, Gaithersburg, Maryland, USA, December 1, 1994]. Springer 1996, ISBN 3-540-60738-2
Contents
1029: Ed Dawson, Jovan Dj. Golic (Eds.): Cryptography: Policy and Algorithms, International Conference, Brisbane, Queensland, Australia, July 3-5, 1995, Proceedings. Springer 1995, ISBN 3-540-60759-5
Contents
1030: Franz Pichler, Roberto Moreno-Díaz, Rudolf F. Albrecht (Eds.): Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings. Springer 1996, ISBN 3-540-60748-X
Contents
1031: Marcel Toussaint (Ed.): Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings. Springer 1996, ISBN 3-540-60757-9
Contents
1032: Patrice Godefroid: Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem. Lecture Notes in Computer Science Vol. 1032 Springer 1996, ISBN 3-540-60761-7
1033: Chua-Huang Huang, P. Sadayappan, Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua (Eds.): Languages and Compilers for Parallel Computing, 8th International Workshop, LCPC'95, Columbus, Ohio, USA, August 10-12, 1995, Proceedings. Springer 1996, ISBN 3-540-60765-X
Contents
1034: Gabriel M. Kuper, Mark Wallace (Eds.): Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings. Springer 1996, ISBN 3-540-60794-3
Contents
1035: Stan Z. Li, Dinesh P. Mital, Eam Khwang Teoh, Han Wang (Eds.): Recent Developments in Computer Vision, Second Asian Conference on Computer Vision, ACCV '95, Singapore, December 5-8, 1995, Invited Session Papers. Springer 1996, ISBN 3-540-60793-5
Contents
1036: Giovanni Adorni, Michael Zock (Eds.): Trends in Natural Language Generation, An Artificial Intelligence Perspective, Fourth European Workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993, Selected Papers. Springer 1996, ISBN 3-540-60800-1
Contents
1037: Michael Wooldridge, Jörg P. Müller, Milind Tambe (Eds.): Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings. Springer 1996, ISBN 3-540-60805-2
Contents
1038: Walter Van de Velde, John W. Perram (Eds.): Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Eindhoven, The Netherlands, January 22-25, 1996, Proceedings. Springer 1996, ISBN 3-540-60852-4
Contents
1039: Dieter Gollmann (Ed.): Fast Software Encryption, Third International Workshop, Cambridge, UK, February 21-23, 1996, Proceedings. Springer 1996, ISBN 3-540-60865-6
Contents
1040: Stefan Wermter, Ellen Riloff, Gabriele Scheler (Eds.): Connectionist, Statistical, and Symbolic Approaches to Learning for Natural Language Processing. Springer 1996, ISBN 3-540-60925-3
Contents
1041: Jack Dongarra, Kaj Madsen, Jerzy Wasniewski (Eds.): Applied Parallel Computing, Computations in Physics, Chemistry and Engineering Science, Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995, Proceedings. Springer 1996, ISBN 3-540-60902-4
Contents
1042: Gerhard Weiß, Sandip Sen (Eds.): Adaption and Learning in Multi-Agent Systems, IJCAI'95 Workshop, Monréal, Canada, August 21, 1995, Proceedings. Springer 1996, ISBN 3-540-60923-7
Contents
1043: Faron Moller, Graham M. Birtwistle (Eds.): Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings). Springer 1996, ISBN 3-540-60915-6
Contents
1044: Bernhard Plattner (Ed.): Broadband Communications - Networks, Services, Applications, Future Directions, 1996 International Zurich Seminar on Digital Communications, IZS'96, Zurich, Switzerland, February 21-23, 1996, Proceedings. Springer 1996, ISBN 3-540-60895-8
Contents
1045: Berthold Butscher, Eckhard Moeller, Herwart Pusch (Eds.): Interactive Distributed Multimedia Systems and Services, European Workshop IDMS '96, Berlin, Germany, March 4-6, 1996, Proceedings. Springer 1996, ISBN 3-540-60938-5
Contents
1046: Claude Puech, Rüdiger Reischuk (Eds.): STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings. Springer 1996, ISBN 3-540-60922-9
Contents
1047: Elzbieta Hajnicz: Time Structures - Formal Description and Algorithmic Representation. Lecture Notes in Computer Science Vol. 1047 Springer 1996, ISBN 3-540-60941-5
1048: Maurizio Proietti (Ed.): Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings. Springer 1996, ISBN 3-540-60939-3
Contents
1049: Kokichi Futatsugi, Satoshi Matsuoka (Eds.): Object Technologies for Advanced Software, Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996, Proceedings. Springer 1996, ISBN 3-540-60954-7
Contents
1050: Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (Eds.): Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings. Springer 1996, ISBN 3-540-60983-0
Contents
1051: Marie-Claude Gaudel, Jim Woodcock (Eds.): FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. Springer 1996, ISBN 3-540-60973-3
Contents
1052: David Hutchison, Henning Christiansen, Geoff Coulson, André A. S. Danthine (Eds.): Teleservices and Multimedia Communications, Second International COST 237 Workshop, Copenhagen, Denmark, November 20-22, 1995, Proceedings. Springer 1996, ISBN 3-540-61028-6
Contents
1053: Peter Graf: Term Indexing. Lecture Notes in Computer Science Vol. 1053 Springer 1996, ISBN 3-540-61040-5
1054: Afonso Ferreira, Panos M. Pardalos (Eds.): Solving Combinatorial Optimization Problems in Parallel - Methods and Techniques. Springer 1996, ISBN 3-540-61043-X
Contents
1055: Tiziana Margaria, Bernhard Steffen (Eds.): Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings. Springer 1996, ISBN 3-540-61042-1
Contents
1056: Afsaneh Haddadi: Communication and Cooperation in Agent Systems, A Pragmatic Theory. Lecture Notes in Computer Science Vol. 1056 Springer 1995, ISBN 3-540-61044-8
1057: Peter M. G. Apers, Mokrane Bouzeghoub, Georges Gardarin (Eds.): Advances in Database Technology - EDBT'96, 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996, Proceedings. Springer 1996, ISBN 3-540-61057-X
Contents
1058: Hanne Riis Nielson (Ed.): Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings. Springer 1996, ISBN 3-540-61055-3
Contents
1059: Hélène Kirchner (Ed.): Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings. Springer 1996, ISBN 3-540-61064-2
Contents
1060: Tibor Gyimóthy (Ed.): Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings. Springer 1996, ISBN 3-540-61053-7
Contents
1061: Paolo Ciancarini, Chris Hankin (Eds.): Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings. Springer 1996, ISBN 3-540-61052-9
Contents
1062: Eduardo Sanchez, Marco Tomassini (Eds.): Towards Evolvable Hardware, The Evolutionary Engineering Approach, Papers from an international workshop, Lausanne, Switzerland, October 2-3, 1995. Springer 1996, ISBN 3-540-61093-6
Contents
1063: Jean-Marc Alliot, Evelyne Lutton, Edmund M. A. Ronald, Marc Schoenauer, Dominique Snyers (Eds.): Artificial Evolution, European Conference, AE 95, Brest, France, September 4-6, 1995, Selected Papers. Springer 1996, ISBN 3-540-61108-8
Contents
1064: Bernard F. Buxton, Roberto Cipolla (Eds.): Computer Vision - ECCV'96, 4th European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996, Proceedings, Volume I. Springer 1996, ISBN 3-540-61122-3
Contents
1065: Bernard F. Buxton, Roberto Cipolla (Eds.): Computer Vision - ECCV'96, 4th European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996, Proceedings, Volume II. Springer 1996, ISBN 3-540-61123-1
Contents
1066: Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (Eds.): Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Springer 1996, ISBN 3-540-61155-X
Contents
1067: Heather M. Liddell, Adrian Colbrook, Louis O. Hertzberger, Peter M. A. Sloot (Eds.): High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1996, Brussels, Belgium, April 15-19, 1996, Proceedings. Springer 1996, ISBN 3-540-61142-8
Contents
1068: Takayasu Ito, Robert H. Halstead Jr., Christian Queinnec (Eds.): Parallel Symbolic Languages and Systems, International Workshop PSLS'95, Beaune, France, October 2-4, 1995, Proceedings. Springer 1996, ISBN 3-540-61143-6
Contents
1069: John W. Perram, Jean-Pierre Müller (Eds.): Distributed Software Agents and Applications, 6th European Workshop on Modelling Autonomous Agents, MAAMAW '94, Odense, Denmark, August 3-5, 1994, Proceedings. Springer 1996, ISBN 3-540-61157-6
Contents
1070: Ueli M. Maurer (Ed.): Advances in Cryptology - EUROCRYPT '96, International Conference on the Theory and Application of Cryptographic Techniques, Saragossa, Spain, May 12-16, 1996, Proceeding. Springer 1996, ISBN 3-540-61186-X
Contents
1071: Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi (Eds.): Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings. Springer 1996, ISBN 3-540-61208-4
Contents
1072: Rangachar Kasturi, Karl Tombre (Eds.): Graphics Recognition, Methods and Applications, First International Workshop, University Park, PA, USA, August 10-11, 1995, Selected Papers. Springer 1996, ISBN 3-540-61226-2
Contents
1073: Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg (Eds.): Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers. Springer 1996, ISBN 3-540-61228-9
Contents
1074: Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (Eds.): Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers. Springer 1996, ISBN 3-540-61254-8
Contents
1075: Daniel S. Hirschberg, Eugene W. Myers (Eds.): Combinatorial Pattern Matching, 7th Annual Symposium, CPM 96, Laguna Beach, California, USA, June 10-12, 1996, Proceedings. Springer 1996, ISBN 3-540-61258-0
Contents
1076: Nigel Shadbolt, Kieron O'Hara, Guus Schreiber (Eds.): Advances in Knowledge Acquisition, 9th European Knowledge Acquisition Workshop, EKAW'96, Nottingham, UK, May 14-17, 1996, Proceedings. Springer 1996, ISBN 3-540-61273-4
Contents
1077: Peter Brutsilosky, Piet Kommers, Norbert A. Streitz (Eds.): Multimedia, Hypermedia, and Virtual Reality: Models, Systems, and Applications, First International Conference, MHVR '94, Moscow, Russia, September 14-16, 1994, Selected Papers. Springer 1996, ISBN 3-540-61282-3
Contents
1078: David Alex Lamb (Ed.): Studies of Software Design, ICSE'93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993, Selected Papers. Springer 1996, ISBN 3-540-61285-8
Contents
1079: Zbigniew W. Ras, Maciej Michalewicz (Eds.): Foundations of Intelligent Systems, 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings. Springer 1996, ISBN 3-540-61286-6
Contents
1080: Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou (Eds.): Advances Information System Engineering, 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings. Springer 1996, ISBN 3-540-61292-0
Contents
1081: Gordon I. McCalla (Ed.): Advances in Artificial Intelligence, 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96, Toronto, Ontario, Canada, May 21-24, 1996, Proceedings. Springer 1996, ISBN 3-540-61291-2
Contents
1082: Nabil R. Adam, Bharat K. Bhargava, Milton Halem, Yelena Yesha (Eds.): Digital Libraries, Research and Technology Advances, ADL '95 Forum, McLean, Virginia, USA, May 15-17, 1995, Selected Papers. Springer 1996, ISBN 3-540-61410-9
Contents
1083: Karen Sparck Jones, Julia Rose Galliers (Eds.): Evaluating Natural Language Processing Systems, An Analysis and Review. Lecture Notes in Computer Science Vol. 1083 Springer 1996, ISBN 3-540-61309-9
1084: William H. Cunningham, S. Thomas McCormick, Maurice Queyranne (Eds.): Integer Programming and Combinatorial Optimization, 5th International IPCO Conference, Vancouver, British Columbia, Canada, June 3-5, 1996, Proceedings. Springer 1996, ISBN 3-540-61310-2
Contents
1085: Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.): Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings. Springer 1996, ISBN 3-540-61313-7
Contents
1086: Claude Frasson, Gilles Gauthier, Alan M. Lesgold (Eds.): Intelligent Tutoring Systems, Third International Conference, ITS '96, Montréal, Canada, June 12-14, 1996, Proceedings. Springer 1996, ISBN 3-540-61327-7
Contents
1087: Chengqi Zhang, Dickson Lukose (Eds.): Distributed Artificial Intelligence: Architecture and Modelling, First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995, Proceedings. Springer 1996, ISBN 3-540-61314-5
Contents
1088: Alfred Strohmeier (Ed.): Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings. Springer 1996, ISBN 3-540-61317-X
Contents
1089: G. Ramalingam: Bounded Incremental Computation. Lecture Notes in Computer Science Vol. 1089 Springer 1996, ISBN 3-540-61320-X
1090: Jin-yi Cai, C. K. Wong (Eds.): Computing and Combinatorics, Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996, Proceedings. Springer 1996, ISBN 3-540-61332-3
Contents
1091: Jonathan Billington, Wolfgang Reisig (Eds.): Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Springer 1996, ISBN 3-540-61363-3
Contents
1092: Hans Kleine Büning (Ed.): Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers. Springer 1996, ISBN 3-540-61377-3
Contents
1093: Leo Dorst, Michiel van Lambalgen, Frans Voorbraak (Eds.): Reasoning with Uncertainty in Robotics, International Workshop, RUR '95, Amsterdam, The Netherlands, December 4-6, 1995, Proceedings. Springer 1996, ISBN 3-540-61376-5
Contents
1094: Ronald Morrison, Jessie B. Kennedy (Eds.): Advances in Databases, 14th British National Conferenc on Databases, BNCOD 14, Edinburgh, UK, July 3-5, 1996, Proceedings. Springer 1996, ISBN 3-540-61442-7
Contents
1095: William McCune, R. Padmanabhan: Automated Deduction in Equational Logic and Cubic Curves. Lecture Notes in Computer Science Vol. 1095 Springer 1996, ISBN 3-540-61398-6
1096: Thomas Schael: Workflow Management Systems for Process Organisations. Lecture Notes in Computer Science Vol. 1096 Springer 1996, ISBN 3-540-61401-X
1097: Rolf G. Karlsson, Andrzej Lingas (Eds.): Algorithm Theory - SWAT '96, 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996, Proceedings. Springer 1996, ISBN 3-540-61422-2
Contents
1098: Pierre Cointe (Ed.): ECCOP'96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, Proceedings. Springer 1996, ISBN 3-540-61439-7
Contents
1099: Friedhelm Meyer auf der Heide, Burkhard Monien (Eds.): Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings. Springer 1996, ISBN 3-540-61440-0
Contents