Lecture Notes in Computer Science (LNCS), Volumes 1400-1499

1400

Mario Lenz, Brigitte Bartsch-Spörl, Hans-Dieter Burkhard, Stefan Wess (Eds.): Case-Based Reasoning Technology, From Foundations to Applications. Springer 1998, ISBN 3-540-64572-1
Contents

1401

Peter M. A. Sloot, Marian Bubak, Louis O. Hertzberger (Eds.): High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1998, Amsterdam, The Netherlands, April 21-23, 1998, Proceedings. Springer 1998, ISBN 3-540-64443-1
Contents

1402

Winfried Lamersdorf, Michael Merz (Eds.): Trends in Distributed Systems for Electronic Commerce, International IFIP/GI Working Conference, TREC'98, Hamburg, Germany, June 3-5, 1998, Proceedings. Springer 1998, ISBN 3-540-64564-0
Contents

1403

Kaisa Nyberg (Ed.): Advances in Cryptology - EUROCRYPT '98, International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceeding. Springer 1998, ISBN 3-540-64518-7
Contents

1404

Christian Freksa, Christopher Habel, Karl Friedrich Wender (Eds.): Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge. Springer 1998, ISBN 3-540-64603-5
Contents

1405

Suzanne M. Embury, N. J. Fiddian, W. A. Gray, Andrew C. Jones (Eds.): Advances in Databases, 16th British National Conferenc on Databases, BNCOD 16, Cardiff, Wales, U.K., July 6-8, 1998, Proceedings. Springer 1998, ISBN 3-540-64659-0
Contents

1406

Hans Burkhardt, Bernd Neumann (Eds.): Computer Vision - ECCV'98, 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume I. Springer 1998, ISBN 3-540-64569-1
Contents

1407

Hans Burkhardt, Bernd Neumann (Eds.): Computer Vision - ECCV'98, 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume II. Springer 1998, ISBN 3-540-64613-2
Contents

1408

Edmund K. Burke, Michael W. Carter (Eds.): Practice and Theory of Automated Timetabling II, Second International Conference, PATAT'97, Toronto, Canada, August 20-22, 1997, Selected Papers. Springer 1998, ISBN 3-540-64979-4
Contents

1409

Torsten Schaub: The Automation of Reasoning with Incomplete Information, From Semantic Foundations to Efficient Computation. Lecture Notes in Computer Science Vol. 1409 Springer 1998, ISBN 3-540-64515-2
Contents

1410

T. V. Raman: Audio System for Technical Readings. Lecture Notes in Computer Science Vol. 1410 Springer 1998, ISBN 3-540-65515-8
Contents

1411

Lars Asplund (Ed.): Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings. Springer 1998, ISBN 3-540-64536-5
Contents

1412

Robert E. Bixby, E. Andrew Boyd, Roger Z. Ríos-Mercado (Eds.): Integer Programming and Combinatorial Optimization, 6th International IPCO Conference, Houston, Texas, USA, June 22-24, 1998, Proceedings. Springer 1998, ISBN 3-540-64590-X
Contents

1413

Barbara Pernici, Costantino Thanos (Eds.): Advanced Information Systems Engineering, 10th International Conference CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings. Springer 1998, ISBN 3-540-64556-X
Contents

1414

Mogens Nielsen, Wolfgang Thomas (Eds.): Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers. Springer 1998, ISBN 3-540-64570-5
Contents

1415

José Mira, Angel P. Del Pobil (Eds.): Methodology and Tools in Knowledge-Based Systems, 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-98, Castellón, Spain, June 1-4, 1998, Proceedings, Volume I. Springer 1998, ISBN 3-540-64582-9
Contents

1416

Angel P. Del Pobil, José Mira, Moonis Ali (Eds.): Tasks and Methods in Applied Artificial Intelligence, 11th International Conference on Industrial and Engineering Applications of Artificial In telligence and Expert Systems, IEA/AIE-98, Castellón, Spain, June 1-4, 1998, Proceedings, Volume II. Springer 1998, ISBN 3-540-64574-8
Contents

1417

Sudhakar Yalamanchili, José Duato (Eds.): Parallel Computer Routing and Communication, Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, Proceedings. Springer 1998, ISBN 3-540-64571-3
Contents

1418

Robert E. Mercer, Eric Neufeld (Eds.): Advances in Artificial Intelligence, 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '98, Vancouver, BC, Canada, June 18-20, 1998, Proceedings. Springer 1998, ISBN 3-540-64575-6
Contents

1419

Giovanni Vigna (Ed.): Mobile Agents and Security. Springer 1998, ISBN 3-540-64792-9
Contents

1420

Jörg Desel, Manuel Silva (Eds.): Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings. Springer 1998, ISBN 3-540-64677-9
Contents

1421

Claude Kirchner, Hélène Kirchner (Eds.): Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings. Springer 1998, ISBN 3-540-64675-2
Contents

1422

Johan Jeuring (Ed.): Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings. Springer 1998, ISBN 3-540-64591-8
Contents

1423

Joe Buhler (Ed.): Algorithmic Number Theory, Third International Symposium, ANTS-III, Portland, Oregon, USA, June 21-25, 1998, Proceedings. Springer 1998, ISBN 3-540-64657-4
Contents

1424

Lech Polkowski, Andrzej Skowron (Eds.): Rough Sets and Current Trends in Computing, First International Conference, RSCTC'98, Warsaw, Poland, June 22-26, 1998, Proceedings. Springer 1998, ISBN 3-540-64655-8
Contents

1425

David Hutchison, Ralf Schäfer (Eds.): Multimedia Applications, Services and Techniques - ECMAST '98, Third European Conference, Berlin, Germany, May 26-28, 1998, Proceedings. Springer 1998, ISBN 3-540-64594-2
Contents

1426

Frédéric Geurts: Abstract Compositional Analysis of Iterated Relations, A Structural Approach to Complex State Transition Systems. Lecture Notes in Computer Science Vol. 1426 Springer 1998, ISBN 3-540-65506-9
Contents

1427

Alan J. Hu, Moshe Y. Vardi (Eds.): Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Springer 1998, ISBN 3-540-64608-6
Contents

1428

Jens Knoop: Optimal Interprocedural Program Optimization, A New Framework and Its Application. Lecture Notes in Computer Science Vol. 1428 Springer 1998, ISBN 3-540-65123-3
Contents

1429

Frank van der Linden (Ed.): Development and Evolution of Software Architectures for Product Families, Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings. Springer 1998, ISBN 3-540-64916-6
Contents

1430

Sebastiano Trigila, Alvin P. Mullery, Mário Campolargo, Hans Vanderstraeten, Marcel Mampaey (Eds.): Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 5th International Conference on Intelligence and Services in Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings. Springer 1998, ISBN 3-540-64598-5
Contents

1431

Hideki Imai, Yuliang Zheng (Eds.): Public Key Cryptography, First International Workshop on Practice and Theory in Public Key Cryptography, PKC '98, Pacifico Yokohama, Japan, February 5-6, 1998, Proceedings. Springer 1998, ISBN 3-540-64693-0
Contents

1432

Stefan Arnborg, Lars Ivansson (Eds.): Algorithm Theory - SWAT '98, 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July, 8-10, 1998, Proceedings. Springer 1998, ISBN 3-540-64682-5
Contents

1433

Vasant Honavar, Giora Slutzki (Eds.): Grammatical Inference, 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings. Springer 1998, ISBN 3-540-64776-7
Contents

1434

Jean-Claude Heudin (Ed.): Virtual Worlds, First International Conference, VW'98, Paris, France, July 1-3, 1998, Proceedings. Springer 1998, ISBN 3-540-64780-5
Contents

1435

Matthias Klusch, Gerhard Weiß (Eds.): Cooperative Information Agents II, Learning, Mobility and Electronic Commerce for Information Discovery on the Internet, Second International Workshop, CIA' 98, Paris, France, July 4-7, 1998, Proceedings. Springer 1998, ISBN 3-540-64676-0
Contents

1436

Derick Wood, Sheng Yu (Eds.): Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers. Springer 1998, ISBN 3-540-64694-9
Contents

1437

Sahin Albayrak, Francisco J. Garijo (Eds.): Intelligent Agents for Telecommunication Applications, Second International Workshop, IATA '98, Paris, France, July 1998, Proceedings. Springer 1998, ISBN 3-540-64720-1
Contents

1438

Colin Boyd, Ed Dawson (Eds.): Information Security and Privacy, Third Australasian Conference, ACISP'98, Brisbane, Queensland, Australia, July 1998, Proceedings. Springer 1998, ISBN 3-540-64732-5
Contents

1439

Boris Magnusson (Ed.): System Configuration Management, ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998, Proceedings. Springer 1998, ISBN 3-540-64733-3
Contents

1440

Kevin S. McCurley, Claus Dieter Ziegler (Eds.): Advances in Cryptology 1981-1997, Electronic Proceedings and Index of the CRYPTO and EUROCRYPT Conferences 1981-1997. Lecture Notes in Computer Science Vol. 1440 Springer 1998, ISBN 3-540-65069-5
Contents - Home Page of this Book/CD

1441

Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang (Eds.): Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997. Springer 1998, ISBN 3-540-64769-4
Contents

1442

Amos Fiat, Gerhard J. Woeginger (Eds.): Online Algorithms, The State of the Art (the book grow out of a Dagstuhl Seminar, June 1996). Springer 1998, ISBN 3-540-64917-4
Contents

1443

Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel (Eds.): Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings. Springer 1998, ISBN 3-540-64781-3
Contents

1444

Klaus Jansen, Dorit S. Hochbaum (Eds.): Approximation Algorithms for Combinatorial Optimization, International Workshop APPROX'98, Aalborg, Denmark, July 18-19, 1998, Proceedings. Springer 1998, ISBN 3-540-64736-8
Contents

1445

Eric Jul (Ed.): ECCOP'98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings. Springer 1998, ISBN 3-540-64737-6
Contents

1446

David Page (Ed.): Inductive Logic Programming, 8th International Workshop, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings. Springer 1998, ISBN 3-540-64738-4
Contents

1447

V. William Porto, N. Saravanan, Donald E. Waagen, A. E. Eiben (Eds.): Evolutionary Programming VII, 7th International Conference, EP98, San Diego, CA, USA, March 25-27, 1998, Proceedings. Springer 1998, ISBN 3-540-64891-7
Contents

1448

Martin Farach-Colton (Ed.): Combinatorial Pattern Matching, 9th Annual Symposium, CPM 98, Piscataway, New Jersey, USA, July 20-22, 1998, Proceedings. Springer 1998, ISBN 3-540-64739-2
Contents

1449

Wen-Lian Hsu, Ming-Yang Kao (Eds.): Computing and Combinatorics, 4th Annual International Conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998, Proceedings. Springer 1998, ISBN 3-540-64824-0
Contents

1450

Lubos Brim, Jozef Gruska, Jirí Zlatuska (Eds.): Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings. Springer 1998, ISBN 3-540-64827-5
Contents

1451

Adnan Amin, Dov Dori, Pavel Pudil, Herbert Freeman (Eds.): Advances in Pattern Recognition, Joint IAPR International Workshops SSPR '98 and SPR '98, Sydney, NSW, Australia, August 11-13, 1998, Proceedings. Springer 1998, ISBN 3-540-64858-5
Contents

1452

Barry P. Goettl, Henry M. Halff, Carol L. Redfield, Valerie J. Shute (Eds.): Intelligent Tutoring Systems, 4th International Conference, ITS '98, San Antonio, Texas, USA, August 16-19, 1998, Proceedings. Springer 1998, ISBN 3-540-64770-8
Contents

1453

Marie-Laure Mugnier, Michel Chein (Eds.): Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-12, 1998, Proceedings. Springer 1998, ISBN 3-540-64791-0
Contents

1454

Ian Smith (Ed.): Artificial Intelligence in Structural Engineering, Information Technology for Design, Collaboration, Maintenance, and Monitoring. Springer 1998, ISBN 3-540-64806-2
Contents

1455

Anthony Hunter, Simon Parsons (Eds.): Applications of Uncertainty Formalisms. Springer 1998, ISBN 3-540-65312-0
Contents

1456

Alexis Drogoul, Milind Tambe, Toshio Fukuda (Eds.): Collective Robotics, First International Workshop, CRW'98, Paris, France, July 4-5, 1998, Proceedings. Springer 1998, ISBN 3-540-64768-6
Contents

1457

Afonso Ferreira, José D. P. Rolim, Horst D. Simon, Shang-Hua Teng (Eds.): Solving Irregularly Structured Problems in Parallel, 5th International Symposium, IRREGULAR '98, Berkeley, California, USA, August 9-11, 1998, Proceedings. Springer 1998, ISBN 3-540-64809-7
Contents

1458

Vibhu O. Mittal, Holly A. Yanco, John M. Aronis, Richard C. Simpson (Eds.): Assistive Technology and Artificial Intelligence, Applications in Robotics, User Interfaces and Natural Language Processing. Springer 1998, ISBN 3-540-64790-2
Contents

1459

Dror G. Feitelson, Larry Rudolph (Eds.): Job Scheduling Strategies for Parallel Processing, IPPS/SPDP'98 Workshop, Orlando, Florida, USA, March 30, 1998, Proceedings. Springer 1998, ISBN 3-540-64825-9
Contents

1460

Gerald Quirchmayr, Erich Schweighofer, Trevor J. M. Bench-Capon (Eds.): Database and Expert Systems Applications, 9th International Conference, DEXA '98, Vienna, Austria, August 24-28, 1998, Proceedings. Springer 1998, ISBN 3-540-64950-6
Contents

1461

Gianfranco Bilardi, Giuseppe F. Italiano, Andrea Pietracaprina, Geppino Pucci (Eds.): Algorithms - ESA '98, 6th Annual European Symposium, Venice, Italy, August 24-26, 1998, Proceedings. Springer 1998, ISBN 3-540-64848-8
Contents

1462

Hugo Krawczyk (Ed.): Advances in Cryptology - CRYPTO '98, 18th Annual International Cryptology Conference, Santa Barbara, California, USA, August 23-27, 1998, Proceedings. Springer 1998, ISBN 3-540-64892-5
Contents

1463

Norbert E. Fuchs (Ed.): Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings. Springer 1998, ISBN 3-540-65074-1
Contents

1464

Horace Ho-Shing Ip, Arnold W. M. Smeulders (Eds.): Multimedia Information Analysis and Retrieval, IAPR International Workshop, MINAR'98, Hong Kong, China, August 13-14, 1998, Proceedings. Springer 1998, ISBN 3-540-64826-7
Contents

1465

Rafael Hirschfeld (Ed.): Financial Cryptography, Second International Conference, FC'98, Anguilla, British West Indies, February 23-25, 1998, Proceedings. Springer 1998, ISBN 3-540-64951-4
Contents

1466

Davide Sangiorgi, Robert de Simone (Eds.): CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings. Springer 1998, ISBN 3-540-64896-8
Contents

1467

Chris Clack, Kevin Hammond, Antony J. T. Davie (Eds.): Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers. Springer 1998, ISBN 3-540-64849-6
Contents

1468

Phil Husbands, Jean-Arcady Meyer (Eds.): Evolutionary Robotics, First European Workshop, EvoRbot98, Paris, France, April 16-17, 1998, Proceedings. Springer 1998, ISBN 3-540-64957-3
Contents

1469

Ramón Puigjaner, Nunzio N. Savino, Bartomeu Serra (Eds.): Computer Performance Evaluation: Modelling Techniques and Tools, 10th International Conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998, Proceedings. Springer 1998, ISBN 3-540-64949-2
Contents

1470

David J. Pritchard, Jeff Reeve (Eds.): Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings. Springer 1998, ISBN 3-540-64952-2
Contents

1471

Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (Eds.): Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers. Springer 1998, ISBN 3-540-64958-1
Contents

1472

Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (Eds.): Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers. Springer 1998, ISBN 3-540-65305-8
Contents

1473

Xavier Leroy, Atsushi Ohori (Eds.): Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings. Springer 1998, ISBN 3-540-64925-5
Contents

1474

Frank Mueller, Azer Bestavros (Eds.): Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES'98, Montreal, Canada, June 1998, Proceedings. Springer 1998, ISBN 3-540-65075-X
Contents

1475

Witold Litwin, Tadeusz Morzy, Gottfried Vossen (Eds.): Advances in Databases and Information Systems, Second East European Symposium, ADBIS'98, Poznan, Poland, Spetember 7-10, 1998, Proceedings. Springer 1998, ISBN 3-540-64924-7
Contents

1476

Jacques Calmet, Jan A. Plaza (Eds.): Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings. Springer 1998, ISBN 3-540-64960-3
Contents

1477

Kurt Rothermel, Fritz Hohl (Eds.): Mobile Agents, Second International Workshop, MA'98, Stuttgart, Germany, September 1998, Proceedings. Springer 1999, ISBN 3-540-64959-X
Contents

1478

Moshe Sipper, Daniel Mange, Andrés Pérez-Uribe (Eds.): Evolvable Systems: From Biology to Hardware, Second International Conference, ICES 98, Lausanne, Switzerland, September 23-25, 1998, Proceedings. Springer 1998, ISBN 3-540-64954-9
Contents

1479

Jim Grundy, Malcolm C. Newey (Eds.): Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. Springer 1998, ISBN 3-540-64987-5
Contents

1480

Fausto Giunchiglia (Ed.): Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings. Springer 1998, ISBN 3-540-64993-X
Contents

1481

Ethan V. Munson, Charles K. Nicholas, Derick Wood (Eds.): Principles of Digital Document Processing, 4th International Workshop, PODDP'98, Saint Malo, France, March 29-30, 1998, Proceedings. Springer 1998, ISBN 3-540-65086-5
Contents

1482

Reiner W. Hartenstein, Andres Keevallik (Eds.): Field-Programmable Logic and Applications, From FPGAs to Computing Paradigm, 8th International Workshop, FPL'98, Tallinn, Estonia, August 31 - September 3, 1998, Proceedings. Springer 1998, ISBN 3-540-64948-4
Contents

1483

Thomas Plagemann, Vera Goebel (Eds.): Interactive Distributed Multimedia Systems and Telecommunication Services, 5th International Workshop, IDMS '98, Oslo, Norway, September 8-11, 1998, Proceedings. Springer 1998, ISBN 3-540-64955-7
Contents

1484

Helder Coelho (Ed.): Progress in Artificial Intelligence - IBERAMIA 98, 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5-9, 1998, Proceedings. Springer 1998, ISBN 3-540-64992-1
Contents

1485

Jean-Jacques Quisquater, Yves Deswarte, Catherine Meadows, Dieter Gollmann (Eds.): Computer Security - ESORICS 98, 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings. Springer 1998, ISBN 3-540-65004-0
Contents

1486

Anders P. Ravn, Hans Rischel (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Springer 1998, ISBN 3-540-65003-2
Contents

1487

Volker Gruhn (Ed.): Software Process Technology, 6th European Workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998, Proceedings. Springer 1998, ISBN 3-540-64956-5
Contents

1488

Barry Smyth, Padraig Cunningham (Eds.): Advances in Case-Based Reasoning, 4th European Workshop, EWCBR-98, Dublin, Ireland, September 1998, Proceedings. Springer 1998, ISBN 3-540-64990-5
Contents

1489

Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Springer 1998, ISBN 3-540-65141-1
Contents

1490

Catuscia Palamidessi, Hugh Glaser, Karl Meinke (Eds.): Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings. Springer 1998, ISBN 3-540-65012-1
Contents

1491

Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996. Springer 1998, ISBN 3-540-65306-6
Contents

1492

Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996. Springer 1998, ISBN 3-540-65307-4
Contents

1493

Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (Eds.): ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings. Springer 1998, ISBN 3-540-65070-9
Contents

1494

Grzegorz Rozenberg, Frits W. Vaandrager (Eds.): Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996. Springer 1998, ISBN 3-540-65193-4
Contents

1495

Troels Andreasen, Henning Christiansen, Henrik Legind Larsen (Eds.): Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings. Springer 1998, ISBN 3-540-65082-2
Contents

1496

William M. Wells III, Alan C. F. Colchester, Scott L. Delp (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI'98, First International Conference, Cambridge, MA, USA, October 11-13, 1998, Proceedings. Springer 1998, ISBN 3-540-65136-5
Contents

1497

Vassil N. Alexandrov, Jack Dongarra (Eds.): Recent Advances in Parallel Virtual Machine and Message Passing Interface, 5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, Proceedings. Springer 1998, ISBN 3-540-65041-5
Contents

1498

A. E. Eiben, Thomas Bäck, Marc Schoenauer, Hans-Paul Schwefel (Eds.): Parallel Problem Solving from Nature - PPSN V, 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings. Springer 1998, ISBN 3-540-65078-4
Contents

1499

Shay Kutten (Ed.): Distributed Computing, 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998, Proceedings. Springer 1998, ISBN 3-540-65066-0
Contents