Christian Lengauer, Martin Griebl, Sergei Gorlatch (Eds.): Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings. Springer 1997 ISBN 3-540-63440-1 [ contents ]
1301
Mehdi Jazayeri, Helmut Schauer (Eds.): Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings. Springer 1997 ISBN 3-540-63531-9 [ contents ]
1302
Pascal Van Hentenryck (Ed.): Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings. Springer 1997 ISBN 3-540-63468-1 [ contents ]
1303
Gerhard Brewka, Christopher Habel, Bernhard Nebel (Eds.): KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings. Springer 1997 ISBN 3-540-63493-2 [ contents ]
1304
Wayne Luk, Peter Y. K. Cheung, Manfred Glesner (Eds.): Field-Programmable Logic and Applications, 7th International Workshop, FPL '97, London, UK, September 1-3, 1997, Proceedings. Springer 1997 ISBN 3-540-63465-7 [ contents ]
1305
David Corne, Jonathan L. Shapiro (Eds.): Evolutionary Computing, AISB International Workshop, Manchester, UK, April 7-8, 1997, Selected Papers. Springer 1997 ISBN 3-540-63476-2 [ contents ]
Ralf Kompe: Prosody in Speech Understanding Systems. Springer 1997 ISBN 3-540-63580-7
1308
Abdelkader Hameurlain, A. Min Tjoa (Eds.): Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings. Springer 1997 ISBN 3-540-63478-9 [ contents ]
1309
Ralf Steinmetz, Lars C. Wolf (Eds.): Interactive Distributed Multimedia Systems and Telecommunication Services, 4th International Workshop, IDMS '97, Darmstadt, Germany, September 10-12, 1997, Proceedings. Springer 1997 ISBN 3-540-63519-X [ contents ]
1310
Alberto Del Bimbo (Ed.): Image Analysis and Processing, 9th International Conference, ICIAP '97, Florence, Italy, September 17-19, 1997, Proceedings, Volume I. Springer 1997 ISBN 3-540-63507-6 [ contents ]
1311
Alberto Del Bimbo (Ed.): Image Analysis and Processing, 9th International Conference, ICIAP '97, Florence, Italy, September 17-19, 1997, Proceedings, Volume II. Springer 1997 ISBN 3-540-63508-4 [ contents ]
1312
Andreas Geppert, Mikael Berndtsson (Eds.): Rules in Database Systems, Third International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997, Proceedings. Springer 1997 ISBN 3-540-63516-5 [ contents ]
1313
John S. Fitzgerald, Cliff B. Jones, Peter Lucas (Eds.): FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings. Springer 1997 ISBN 3-540-63533-5 [ contents ]
1314
Stephen Muggleton (Ed.): Inductive Logic Programming, 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers. Springer 1997 ISBN 3-540-63494-0 [ contents ]
1315
Gerald Sommer, Jan J. Koenderink (Eds.): Algebraic Frames for the Perception-Action Cycle, International Workshop, AFPAC'97, Kiel, Germany, September 8-9, 1997, Proceedings. Springer 1997 ISBN 3-540-63517-3 [ contents ]
1316
Ming Li, Akira Maruoka (Eds.): Algorithmic Learning Theory, 8th International Conference, ALT '97, Sendai, Japan, October 6-8, 1997, Proceedings. Springer 1997 ISBN 3-540-63577-7 [ contents ]
1317
Marc Leman (Ed.): Music, Gestalt, and Computing - Studies in Cognitive and Systematic Musicology. Springer 1997 ISBN 3-540-63526-2 [ contents ]
1318
Rafael Hirschfeld (Ed.): Financial Cryptography, First International Conference, FC '97, Anguilla, British West Indies, February 24-28, 1997, Proceedings. Springer 1997 ISBN 3-540-63594-7 [ contents ]
1319
Enric Plaza, V. Richard Benjamins (Eds.): Knowledge Acquisition, Modeling and Management, 10th European Workshop, EKAW'97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997, Proceedings. Springer 1997 ISBN 3-540-63592-0 [ contents ]
1320
Marios Mavronicolas, Philippas Tsigas (Eds.): Distributed Algorithms, 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings. Springer 1997 ISBN 3-540-63575-0 [ contents ]
1321
Maurizio Lenzerini (Ed.): AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings. Springer 1997 ISBN 3-540-63576-9 [ contents ]
1322
Heinrich Hußmann: Formal Foundations for Software Engineeing Methods. Springer 1997 ISBN 3-540-63613-7
1323
Ernesto Costa, Amílcar Cardoso (Eds.): Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings. Springer 1997 ISBN 3-540-63586-6 [ contents ]
1324
Carol Peters, Costantino Thanos (Eds.): Research and Advanced Technology for Digital Libraries. First European Conference, ECDL '97, Pisa, Italy, 1-3 September, Proceedings. Springer 1997 ISBN 3-540-63554-8 [ contents ]
1325
Zbigniew W. Ras, Andrzej Skowron (Eds.): Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings. Springer 1997 ISBN 3-540-63614-5 [ contents ]
Christian Retoré (Ed.): Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers. Springer 1997 ISBN 3-540-63700-1 [ contents ]
1329
Stephen C. Hirtle, Andrew U. Frank (Eds.): Spatial Information Theory: A Theoretical Basis for GIS, International Conference COSIT '97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997, Proceedings. Springer 1997 ISBN 3-540-63623-4 [ contents ]
1330
Gert Smolka (Ed.): Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings. Springer 1997 [ contents ]
1331
David W. Embley, Robert C. Goldstein (Eds.): Conceptual Modeling - ER '97, 16th International Conference on Conceptual Modeling, Los Angeles, California, USA, November 3-5, 1997, Proceedings. Springer 1997 ISBN 3-540-63699-4 [ contents ]
1332
Marian Bubak, Jack Dongarra, Jerzy Wasniewski (Eds.): Recent Advances in Parallel Virtual Machine and Message Passing Interface, 4th European PVM/MPI Users' Group Meeting, Cracow, Poland, November 3-5, 1997, Proceedings. Springer 1997 ISBN 3-540-63697-8 [ contents ]
1333
Franz Pichler, Roberto Moreno-Díaz (Eds.): Computer Aided Systems Theory - EUROCAST'97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings. Springer 1997 ISBN 3-540-63811-3 [ contents ]
1334
Yongfei Han, Tatsuaki Okamoto, Sihan Qing (Eds.): Information and Communication Security, First International Conference, ICICS'97, Beijing, China, November 11-14, 1997, Proceedings. Springer 1997 ISBN 3-540-63696-X [ contents ]
1335
Rolf H. Möhring (Ed.): Graph-Theoretic Concepts in Computer Science, 23rd International Workshop, WG '97, Berlin, Germany, June 18-20, 1997, Proceedings. Springer 1997 ISBN 3-540-63757-5 [ contents ]
Christian Freksa, Matthias Jantzen, Rüdiger Valk (Eds.): Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday. Springer 1997 ISBN 3-540-63746-X [ contents ]
1338
Frantisek Plasil, Keith G. Jeffery (Eds.): SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings. Springer 1997 ISBN 3-540-63774-5 [ contents ]
1339
Nabeel A. Murshed, Flávio Bortolozzi (Eds.): Advances in Document Image Analysis, First Brazilian Symposium, BSDIA'97, Curitiba, Brazil, November 2-5, 1997, Proceedings. Springer 1997 ISBN 3-540-63791-5 [ contents ]
1340
Marc J. van Kreveld, Jürg Nievergelt, Thomas Roos, Peter Widmayer (Eds.): Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996. Springer 1997 ISBN 3-540-63818-0 [ contents ]
Abdul Sattar (Ed.): Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings. Springer 1997 ISBN 3-540-63797-4 [ contents ]
R. K. Shyamasundar, Kazunori Ueda (Eds.): Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings. Springer 1997 ISBN 3-540-63875-X [ contents ]
1346
S. Ramesh, G. Sivakumar (Eds.): Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings. Springer 1997 ISBN 3-540-63876-8 [ contents ]
1347
Ehoud Ahronovitz, Christophe Fiorio (Eds.): Discrete Geometry for Computer Imagery, 7th International Workshop, DCGI'97, Montpellier, France, Secember 3-5, 1997, Proceedings. Springer 1997 ISBN 3-540-63884-9 [ contents ]
1348
Sam Steel, Rachid Alami (Eds.): Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings. Springer 1997 ISBN 3-540-63912-8 [ contents ]
1349
Michael Johnson (Ed.): Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings. Springer 1997 ISBN 3-540-63888-1 [ contents ]
1350
Hon Wai Leong, Hiroshi Imai, Sanjay Jain (Eds.): Algorithms and Computation, 8th International Symposium, ISAAC '97, Singapore, December 17-19, 1997, Proceedings. Springer 1997 ISBN 3-540-63890-3 [ contents ]
1351
Roland T. Chin, Ting-Chuen Pong (Eds.): Computer Vision - ACCV'98, Third Asian Conference on Computer Vision, Hong Kong, China, January 8-10, 1998, Proceedings, Volume I. Springer 1997 ISBN 3-540-63930-6 [ contents ]
1352
Roland T. Chin, Ting-Chuen Pong (Eds.): Computer Vision - ACCV'98, Third Asian Conference on Computer Vision, Hong Kong, China, January 8-10, 1998, Proceedings, Volume II. Springer 1997 ISBN 3-540-63931-4 [ contents ]
1353
Giuseppe Di Battista (Ed.): Graph Drawing, 5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997, Proceedings. Springer 1997 ISBN 3-540-63938-1 [ contents ]
1354
Olaf Burkart: Automatic Verification of Sequential Infinite-State Processes. Springer 1997 ISBN 3-540-63982-9
1355
Michael Darnell (Ed.): Cryptography and Coding, 6th IMA International Conference, Cirencester, UK, December 17-19, 1997, Proceedings. Springer 1997 ISBN 3-540-63927-6 [ contents ]
1356
André Dantine, Christophe Diot (Eds.): From Multimedia Services to Network Services, 4th International COST 237 Workshop, Lisboa, Portugal, December 15-19, 1997, Proceedings. Springer 1997 ISBN 3-540-63935-7 [ contents ]
1357
Jan Bosch, Stuart Mitchell (Eds.): Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997. Springer 1998 ISBN 3-540-64039-8 [ contents ]
1358
Leonid Libkin, Bernhard Thalheim (Eds.): Semantics in Databases, Selected Papers from a Workshop, Prague, Czech Republic, 1995. Springer 1998 ISBN 3-540-64199-8 [ contents ]
1359
Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczynski (Eds.): Learning and Reasoning with Complex Representations, PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996, Selected Papers. Springer 1998 ISBN 3-540-64413-X [ contents ]
1360
Dongming Wang (Ed.): Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers. Springer 1997 ISBN 3-540-64297-8 [ contents ]
Dhabaleswar K. Panda, Craig B. Stunkel (Eds.): Network-Based Parallel Computing: Communication, Architecture, and Applications, Second International Workshop, CANPC '98, Las Vegas, Nevada, USA, January 31 - February 1, 1998, Proceedings. Springer 1998 ISBN 3-540-64140-8 [ contents ]
Wolfram Conen, Gustaf Neumann (Eds.): Coordination Technology for Collaborative Applications - Organizations, Processes, and Agents [ASIAN 1996 Workshop]. Springer 1998 ISBN 3-540-64170-X [ contents ]
1365
Munindar P. Singh, Anand S. Rao, Michael Wooldridge (Eds.): Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings. Springer 1998 ISBN 3-540-64162-9 [ contents ]
Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (Eds.): Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997). Springer 1998 ISBN 3-540-64201-3 [ contents ]
1368
Yoshifumi Masunaga, Takuya Katayama, Michiharu Tsukamoto (Eds.): Worldwide Computing and Its Applications, International Conference, WWCA '98, Second International Conference, Tsukuba, Japan, March 4-5, 1998, Proceedings. Springer 1998 ISBN 3-540-64216-1 [ contents ]
1369
Sophie Cluet, Richard Hull (Eds.): Database Programming Languages, 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997, Proceedings. Springer 1998 ISBN 3-540-64823-2 [ contents ]
1370
Norbert A. Streitz, Shin'ichi Konomi, Heinz Jürgen Burkhardt (Eds.): Cooperative Buildings, Integrating Information, Organization, and Architecture, First International Workshop, CoBuild'98, Darmstadt, Germany, February 1998, Proceedings. Springer 1998 ISBN 3-540-64237-4 [ contents ]
1371
Ipke Wachsmuth, Martin Fröhlich (Eds.): Gesture and Sign Language in Human-Computer Interaction, International Gesture Workshop, Bielefeld, Germany, September 17-19, 1997, Proceedings. Springer 1998 ISBN 3-540-64424-5 [ contents ]
1372
Serge Vaudenay (Ed.): Fast Software Encryption, 5th International Workshop, FSE '98, Paris, France, March 23-25, 1998, Proceedings. Springer 1998 ISBN 3-540-64265-X [ contents ]
1373
Michel Morvan, Christoph Meinel, Daniel Krob (Eds.): STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings. Springer 1998 ISBN 3-540-64230-7 [ contents ]
Roger D. Hersch, Jacques André, Heather Brown (Eds.): Electronic Publishing, Artistic Imaging, and Digital Typography, 7th International Conference on Electronic Publishing, EP '98, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo, France, March 30 - April 3, 1998, Proceedings. Springer 1998 ISBN 3-540-64298-6 [ contents ]
1376
Francesco Parisi-Presicce (Ed.): Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers. Springer 1997 ISBN 3-540-64299-4 [ contents ]
1377
Hans-Jörg Schek, Fèlix Saltor, Isidro Ramos, Gustavo Alonso (Eds.): Advances in Database Technology - EDBT'98, 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998, Proceedings. Springer 1998 ISBN 3-540-64264-1 [ contents ]
1378
Maurice Nivat (Ed.): Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 ISBN 3-540-64300-1 [ contents ]
1379
Tobias Nipkow (Ed.): Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings. Springer 1998 ISBN 3-540-64301-X [ contents ]
1380
Claudio L. Lucchesi, Arnaldo V. Moura (Eds.): LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings. Springer 1998 ISBN 3-540-64275-7 [ contents ]
1381
Chris Hankin (Ed.): Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 ISBN 3-540-64302-8 [ contents ]
1382
Egidio Astesiano (Ed.): Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 ISBN 3-540-64303-6 [ contents ]
1383
Kai Koskimies (Ed.): Compiler Construction, 7th International Conference, CC'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 ISBN 3-540-64304-4 [ contents ]
1384
Bernhard Steffen (Ed.): Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 ISBN 3-540-64356-7 [ contents ]
Thomas A. Henzinger, Shankar Sastry (Eds.): Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Springer 1998 ISBN 3-540-64358-3 [ contents ]
1387
C. Lee Giles, Marco Gori (Eds.): Adaptive Processing of Sequences and Data Structures, International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures. Springer 1998 ISBN 3-540-64341-9 [ contents ]
1388
José D. P. Rolim (Ed.): Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings. Springer 1998 ISBN 3-540-64359-1 [ contents ]
1389
Karl Tombre, Atul K. Chhabra (Eds.): Graphics Recognition, Algorithms and Systems, Second International Workshop, GREC'97, Nancy, France, August 22-23, 1997, Selected Papers. Springer 1998 ISBN 3-540-64381-8 [ contents ]
1390
Christian Scheideler: Universal Routing Strategies for Interconnection Networks. Springer 1998 ISBN 3-540-64505-5
Didier Bert (Ed.): B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings. Springer 1998 ISBN 3-540-64405-9 [ contents ]
1394
Xindong Wu, Kotagiri Ramamohanarao, Kevin B. Korb (Eds.): Research and Development in Knowledge Discovery and Data Mining, Second Pacific-Asia Conference, PAKDD-98, Melbourne, Australia, April 15-17, 1998, Proceedings. Springer 1998 ISBN 3-540-64383-4 [ contents ]
1395
Hiroaki Kitano (Ed.): RoboCup-97: Robot Soccer World Cup I. Springer 1998 ISBN 3-540-64473-3 [ contents ]
1396
Eiji Okamoto, George I. Davida, Masahiro Mambo (Eds.): Information Security, First International Workshop, ISW '97, Tatsunokuchi, Japan, September 17-19, 1997, Proceedings. Springer 1998 ISBN 3-540-64382-6 [ contents ]
1397
Harrie C. M. de Swart (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings. Springer 1998 ISBN 3-540-64406-7 [ contents ]
1398
Claire Nedellec, Céline Rouveirol (Eds.): Machine Learning: ECML-98, 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings. Springer 1998 ISBN 3-540-64417-2 [ contents ]