Lecture Notes in Computer Science (LNCS), Volumes 1200-1299

1200: Rüdiger Reischuk, Michel Morvan (Eds.): STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997, Proceedings. Springer 1997, ISBN 3-540-62616-6
Contents
1201: Oded Maler (Ed.): Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings. Springer 1997, ISBN 3-540-62600-X
Contents
1202: Peter Kandzia, Matthias Klusch (Eds.): Cooperative Information Agents, First International Workshop, CIA' 97, Kiel, Germany, February 26-28, 1997, Proceedings. Springer 1997, ISBN 3-540-62591-7
Contents
1203: Gian Carlo Bongiovanni, Daniel P. Bovet, Giuseppe Di Battista (Eds.): Algorithms and Complexity, Third Italian Conference, CIAC '97, Rome, Italy, March 12-14, 1997, Proceedings. Springer 1997, ISBN 3-540-62592-5
Contents
1204: Hanspeter Mössenböck (Ed.): Modular Programming Languages, Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997, Proceedings. Springer 1997, ISBN 3-540-62599-2
Contents
1205: Jocelyne Troccaz, W. Eric L. Grimson, Ralf Mösges (Eds.): CVRMed-MRCAS'97, First Joint Conference Computer Vision, Virtual Reality and Robotics in Medicine and Medial Robotics and Computer-Assisted Surgery, Grenoble, France, March 19-22, 1997, Proceedings. Springer 1997, ISBN 3-540-62734-0
Contents
1206: Josef Bigün, Gérard Chollet, Gunilla Borgefors (Eds.): Audio- and Video-Based Biometric Person Authentication, First International Conference, AVBPA '97, Crans-Montana, Switzerland, March 12-14, 1997, Proceedings. Springer 1997, ISBN 3-540-62660-3
Contents
1207: John P. Gallagher (Ed.): Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings. Springer 1997, ISBN 3-540-62718-9
Contents
1208: Shai Ben-David (Ed.): Computational Learning Theory, Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997, Proceedings. Springer 1997, ISBN 3-540-62685-9
Contents
1209: Lawrence Cavedon, Anand S. Rao, Wayne Wobcke (Eds.): Intelligent Agent Systems, Theoretical and Practical Issues, Based on a Workshop Held at PRICAI'96, Cairns, Australia, August 26-30, 1996. Springer 1997, ISBN 3-540-62686-7
Contents
1210: Philippe de Groote (Ed.): Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings. Springer 1997, ISBN 3-540-62688-3
Contents
1211: Elpida T. Keravnou, Catherine Garbay, Robert H. Baud, Jeremy C. Wyatt (Eds.): Artificial Intelligence Medicine, 6th Conference on Artificial Intelligence in Medicine in Europe, AIME'97, Grenoble, France, March 23-26, 1997, Proceedings. Springer 1997, ISBN 3-540-62709-X
Contents
1212: Jonathan P. Bowen, Michael G. Hinchey, David Till (Eds.): ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings. Springer 1997, ISBN 3-540-62717-0
Contents
1213: Peter J. Angeline, Robert G. Reynolds, John R. McDonnell, Russell C. Eberhart (Eds.): Evolutionary Programming VI, 6th International Conference, EP97, Indianapolis, Indiana, USA, April 13-16, 1997, Proceedings. Springer 1997, ISBN 3-540-62788-X
Contents
1214: Michel Bidoit, Max Dauchet (Eds.): TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings. Springer 1997, ISBN 3-540-62781-2
Contents
1215: José M. Laginha M. Palma, Jack Dongarra (Eds.): Vector and Parallel Processing - VECPAR'96, Second International Conference, Porto, Portugal, September 25-27, Selected Papers. Springer 1997, ISBN 3-540-62828-2
Contents
1216: Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (Eds.): Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers. Springer 1997, ISBN 3-540-62843-6
Contents
1217: Ed Brinksma (Ed.): Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Springer 1997, ISBN 3-540-62790-1
Contents
1218: Gheorghe Paun, Arto Salomaa (Eds.): New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday). Springer 1997, ISBN 3-540-62844-4
Contents
1219: Kurt Rothermel, Radu Popescu-Zeletin (Eds.): Mobile Agents, First International Workshop, MA'97, Berlin, Germany, April 7-8, 1997, Proceedings. Springer 1997, ISBN 3-540-62803-7
Contents
1220: Peter Brezany: Input/Output Intensive Massively Parallel Computing - Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems. Lecture Notes in Computer Science Vol. 1220 Springer 1997, ISBN 3-540-62840-1
1221: Gerhard Weiß (Ed.): Distributed Artificial Intelligence Meets Machine Learning, Learning in Multi-Agent Environments, ECAI'96 Workshop LDAIS, Budapest, Hungary, August 13, 1996, ICMAS'96 Workshop LIOME, Kyoto, Japan December 10, 1996, Selected Papers. Springer 1997, ISBN 3-540-62934-3
Contents
1222: Jan Vitek, Christian F. Tschudin (Eds.): Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS'96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers. Springer 1997, ISBN 3-540-62852-5
Contents
1223: Marcello Pelillo, Edwin R. Hancock (Eds.): Energy Minimization Methods in Computer Vision and Pattern Recognition, First International Workshop, EMMCVPR'97, Venice, Italy, May 21-23, 1997, Proceedings. Springer 1997, ISBN 3-540-62909-2
Contents
1224: Maarten van Someren, Gerhard Widmer (Eds.): Machine Learning: ECML-97, 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997, Proceedings. Springer 1997, ISBN 3-540-62858-4
Contents
1225: Louis O. Hertzberger, Peter M. A. Sloot (Eds.): High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1997, Vienna, Austria, April 28-30, 1997, Proceedings. Springer 1997, ISBN 3-540-62898-3
Contents
1226: Bernd Reusch (Ed.): Computational Intelligence, Theory and Applications, International Conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30, 1997, Proceedings. Springer 1997, ISBN 3-540-62868-1
Contents
1227: Didier Galmiche (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings. Springer 1997, ISBN 3-540-62920-3
Contents
1228: Shan-Hwei Nienhuys-Cheng, Ronald de Wolf (Eds.): Foundations of Inductive Logic Programming. Lecture Notes in Computer Science Vol. 1228 Springer 1997, ISBN 3-540-62927-0
1229: Gerhard K. Kraetzschmar: Distributed Reason Maintenance for Multiagent Systems. Lecture Notes in Computer Science Vol. 1229 Springer 1997, ISBN 3-540-63606-4
1230: James S. Duncan, Gene Gindi (Eds.): Information Processing in Medical Imaging, 15th International Conference, IPMI'97, Poultney, Vermont, USA, June 9-13, 1997, Proceedings. Springer 1997, ISBN 3-540-63046-5
Contents
1231: Miquel Bertran, Teodor Rus (Eds.): Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings. Springer 1997, ISBN 3-540-63010-4
Contents
1232: Hubert Comon (Ed.): Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings. Springer 1997, ISBN 3-540-62950-5
Contents
1233: Walter Fumy (Ed.): Advances in Cryptology - EUROCRYPT '97, International Conference on the Theory and Application of Cryptographic Techniques, Konstanz, Germany, May 11-15, 1997, Proceeding. Springer 1997, ISBN 3-540-62975-0
Contents
1234: Sergei I. Adian, Anil Nerode (Eds.): Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings. Springer 1997, ISBN 3-540-63045-7
Contents
1235: Reidar Conradi (Ed.): System Configuration Management, ICSE'97 SCM-7 Workshop, Boston, MA, USA, May 18-19, 1997, Proceedings. Springer 1997, ISBN 3-540-63014-7
Contents
1236: Elisabeth Maier, Marion Mast, Susann LuperFoy (Eds.): Dialogue Processing in Spoken Language Systems, ECAI'96 Workshop, Budapest, Hungary, August 13, 1996, Revised Papers. Springer 1997, ISBN 3-540-63175-5
Contents
1237: Magnus Boman, Walter Van de Velde (Eds.): Multi-Agent Rationality, 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Ronneby, Sweden, May 13-16, 1997, Proceedings. Springer 1997, ISBN 3-540-63077-5
Contents
1238: Alvin P. Mullery, Michel Besson, Mário Campolargo, Roberta Gobbi, Rick Reed (Eds.): Intelligence in Services and Networks: Technology for Cooperative Competition, Fourth International Conference on Intelligence and Services in Networks, IS&N'97, Cernobbio, Italy, May 27-29, 1997, Proceedings. Springer 1997, ISBN 3-540-63135-6
Contents
1239: David C. Sehr, Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua (Eds.): Languages and Compilers for Parallel Computing, 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings. Springer 1997, ISBN 3-540-63091-0
Contents
1240: José Mira, Roberto Moreno-Díaz, Joan Cabestany (Eds.): Biological and Artificial Computation: From Neuroscience to Technology, International Work-Conference on Artificial and Natural Neural Networks, IWANN '97, Lanzarote, Canary Islands, Spain, June 4-6, 1997, Proceedings. Springer 1997, ISBN 3-540-63047-3
Contents
1241: Mehmet Aksit, Satoshi Matsuoka (Eds.): ECOOP'97 - Object-Oriented Programming, 11th European Conference, Jyväskylä, Finland, June 9-13, 1997, Proceedings. Springer 1997, ISBN 3-540-63089-9
Contents
1242: Serge Fdida, Michele Morganti (Eds.): Multimedia Applications, Services and Techniques - ECMAST '97, Second European Conference, Milan, Italy, May 21-23, 1997, Proceedings. Springer 1997, ISBN 3-540-63078-3
Contents
1243: Antoni W. Mazurkiewicz, Józef Winkowski (Eds.): CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings. Springer 1997, ISBN 3-540-63141-0
Contents
1244: Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (Eds.): Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Springer 1997, ISBN 3-540-63095-3
Contents
1245: Raymond A. Marie, Brigitte Plateau, Maria Calzarossa, Gerardo Rubino (Eds.): Computer Performance Evaluation: Modelling Techniques and Tools, 9th International Conference, St. Malo, France, June 3-6, 1997, Proceedings. Springer 1997, ISBN 3-540-63101-1
Contents
1246: S. Tucker Taft, Robert A. Duff (Eds.): Ada 95 Reference Manual, Language and Standard Libraries, International Standard ISO/IEC 8652: 1995(E). Lecture Notes in Computer Science Vol. 1246 Springer 1997, ISBN 3-540-63144-5
1247: John G. P. Barnes (Ed.): Ada 95 Rationale, The Language, The Standard Libraries. Lecture Notes in Computer Science Vol. 1247 Springer 1997, ISBN 3-540-63143-7
1248: Pierre Azéma, Gianfranco Balbo (Eds.): Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings. Springer 1997, ISBN 3-540-63139-9
Contents
1249: William McCune (Ed.): Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings. Springer 1997, ISBN 3-540-63104-6
Contents
1250: Antoni Olivé, Joan Antoni Pastor (Eds.): Advanced Information Systems Engineering, 9th International Conference CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings. Springer 1997, ISBN 3-540-63107-0
Contents
1251: Keith Hardy, James S. Briggs (Eds.): Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings. Springer 1997, ISBN 3-540-63114-3
Contents
1252: Bart M. ter Haar Romeny, Luc Florack, Jan J. Koenderink, Max A. Viergever (Eds.): Scale-Space Theory in Computer Vision, First International Conference, Scale-Space'97, Utrecht, The Netherlands, July 2-4, 1997, Proceedings. Springer 1997, ISBN 3-540-63167-4
Contents
1253: Gianfranco Bilardi, Afonso Ferreira, Reinhard Lüling, José D. P. Rolim (Eds.): Solving Irregularly Structured Problems in Parallel, 4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997, Proceedings. Springer 1997, ISBN 3-540-63138-0
Contents
1254: Orna Grumberg (Ed.): Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings. Springer 1997, ISBN 3-540-63166-6
Contents
1255: Teo Mora, Harold F. Mattson (Eds.): Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 12th International Symposium, AAECC-12, Toulouse, France, June 23-27, 1997, Proceedings. Springer 1997, ISBN 3-540-63163-1
Contents
1256: Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (Eds.): Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings. Springer 1997, ISBN 3-540-63165-8
Contents
1257: Dickson Lukose, Harry S. Delugach, Mary Keeler, Leroy Searle, John F. Sowa (Eds.): Conceptual Structures: Fulfilling Peirce's Dream, Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997, Proceedings. Springer 1997, ISBN 3-540-63308-1
Contents
1258: Dirk van Dalen, Marc Bezem (Eds.): Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers. Springer 1997, ISBN 3-540-63172-0
Contents
1259: Tetsuya Higuchi, Masaya Iwata, Weixin Liu (Eds.): Evolvable Systems: From Biology to Hardware, First International Conference, ICES 96, Tsukuba, Japan, October 7-8, 1996, Proceedings. Springer 1996, ISBN 3-540-63173-9
Contents
1260: Darrell R. Raymond, Derick Wood, Sheng Yu (Eds.): Automata Implementation, First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996, Revised Papers. Springer 1997, ISBN 3-540-63174-7
Contents
1261: Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (Eds.): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Springer 1997, ISBN 3-540-63246-8
Contents
1262: Michel Scholl, Agnès Voisard (Eds.): Advances in Spatial Databases, 5th International Symposium, SSD'97, Berlin, Germany, July 15-18, 1997, Proceedings. Springer 1997, ISBN 3-540-63238-7
Contents
1263: Henryk Jan Komorowski, Jan M. Zytkow (Eds.): Principles of Data Mining and Knowledge Discovery, First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997, Proceedings. Springer 1997, ISBN 3-540-63223-9
Contents
1264: Alberto Apostolico, Jotun Hein (Eds.): Combinatorial Pattern Matching, 8th Annual Symposium, CPM 97, Aarhus, Denmark, June 30 - July 2, 1997, Proceedings. Springer 1997, ISBN 3-540-63220-4
Contents
1265: Jürgen Dix, Ulrich Furbach, Anil Nerode (Eds.): Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Springer 1997, ISBN 3-540-63255-7
Contents
1266: David B. Leake, Enric Plaza (Eds.): Case-Based Reasoning Research and Development, Second International Conference, ICCBR-97, Providence, Rhode Island, USA, July 25-27, 1997, Proceedings. Springer 1997, ISBN 3-540-63233-6
Contents
1267: Eli Biham (Ed.): Fast Software Encryption, 4th International Workshop, FSE '97, Haifa, Israel, January 20-22, 1997, Proceedings. Springer 1997, ISBN 3-540-63247-6
Contents
1268: Werner E. Kluge (Ed.): Implementation of Functional Languages, 8th International Workshop, IFL'96, Bad Godesberg, Germany, September 16-18, 1996, Selected Papers. Springer 1997, ISBN 3-540-63237-9
Contents
1269: José D. P. Rolim (Ed.): Randomization and Approximation Techniques in Computer Science, International Workshop, RANDOM'97, Bolognna, Italy, July 11-12. 1997, Proceedings. Springer 1997, ISBN 3-540-63248-4
Contents
1270: Vijay Varadharajan, Josef Pieprzyk, Yi Mu (Eds.): Information Security and Privacy, Second Australasian Conference, ACISP'97, Syndey, NSW, Australia, July 7-9, 1997, Proceedings. Springer 1997, ISBN 3-540-63232-8
Contents
1271: Carol Small, Paul Douglas, Roger G. Johnson, Peter J. H. King, G. Nigel Martin (Eds.): Advances in Databases, 15th British National Conferenc on Databases, BNCOD 15, London, United Kindom, July 7-9, 1997, Proceedings. Springer 1997, ISBN 3-540-63263-8
Contents
1272: Frank K. H. A. Dehne, Andrew Rau-Chaplin, Jörg-Rüdiger Sack, Roberto Tamassia (Eds.): Algorithms and Data Structures, 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997, Proceedings. Springer 1997, ISBN 3-540-63307-3
Contents
1273: Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.): Hybrid Systems IV. Springer 1997, ISBN 3-540-63358-8
Contents
1274: Takashi Masuda, Yoshifumi Masunaga, Michiharu Tsukamoto (Eds.): Worldwide Computing and Its Applications, International Conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997, Proceedings. Springer 1997, ISBN 3-540-63343-X
Contents
1275: Elsa L. Gunter, Amy P. Felty (Eds.): Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings. Springer 1997, ISBN 3-540-63379-0
Contents
1276: Tao Jiang, D. T. Lee (Eds.): Computing and Combinatorics, Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997, Proceedings. Springer 1997, ISBN 3-540-63357-X
Contents
1277: Victor E. Malyshkin (Ed.): Parallel Computing Technologies, 4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997, Proceedings. Springer 1997, ISBN 3-540-63371-5
Contents
1278: Ralf Hofestädt, Thomas Lengauer, Markus Löffler, Dietmar Schomburg (Eds.): Bioinformatics, German Conference on Bioinformatics, Leipzig, Germany, September 30 - October 2, 1996, Selected Papers. Springer 1997, ISBN 3-540-63370-7
Contents
1279: Bogdan S. Chlebus, Ludwik Czaja (Eds.): Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings. Springer 1997, ISBN 3-540-63386-3
Contents
1280: Xiaohui Liu, Paul R. Cohen, Michael R. Berthold (Eds.): Advances in Intelligent Data Analysis, Reasoning about Data, Second International Symposium, IDA-97, London, UK, August 4-6, 1997, Proceedings. Springer 1997, ISBN 3-540-63346-4
Contents
1281: Martín Abadi, Takayasu Ito (Eds.): Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings. Springer 1997, ISBN 3-540-63388-X
Contents
1282: David Garlan, Daniel Le Métayer (Eds.): Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings. Springer 1997, ISBN 3-540-63383-9
Contents
1283: Markus Müller-Olm: Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction. Lecture Notes in Computer Science Vol. 1283 Springer 1997, ISBN 3-540-63406-1
1284: Rainer E. Burkard, Gerhard J. Woeginger (Eds.): Algorithms - ESA '97, 5th Annual European Symposium, Graz, Austria, September 15-17, 1997, Proceedings. Springer 1997, ISBN 3-540-63397-9
Contents
1285: Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi (Eds.): Simulated Evolution and Learning, First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996, Selected Papers. Springer 1997, ISBN 3-540-63399-5
Contents
1286: Chengqi Zhang, Dickson Lukose (Eds.): Multi-Agent Systems: Methodologies and Applications, Second Australian Workshop on Distributed Artificial Intelligence, Cairns, Queensland, Australia, August 27, 1996, Revised Papers. Springer 1997, ISBN 3-540-63412-6
Contents
1287: Thomas Kropf (Ed.): Formal Hardware Verification - Methods and Systems in Comparison. Springer 1997, ISBN 3-540-63475-4
Contents
1288: Markus Schneider: Spatial Data Types for Database Systems, Finite Resolution Geometry for Geographic Information Systems. Lecture Notes in Computer Science Vol. 1288 Springer 1997, ISBN 3-540-63454-1
1289: Georg Gottlob, Alexander Leitsch, Daniele Mundici (Eds.): Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings. Springer 1997, ISBN 3-540-63385-5
Contents
1290: Eugenio Moggi, Giuseppe Rosolini (Eds.): Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings. Springer 1997, ISBN 3-540-63455-X
Contents
1291: Dror G. Feitelson, Larry Rudolph (Eds.): Job Scheduling Strategies for Parallel Processing, IPPS'97 Workshop, Geneva, Switerland, April 5, 1997, Proceedings. Springer 1997, ISBN 3-540-63574-2
Contents
1292: Hugh Glaser, Pieter H. Hartel, Herbert Kuchen (Eds.): Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings. Springer 1997, ISBN 3-540-63398-7
Contents
1293: Charles K. Nicholas, Derick Wood (Eds.): Principles of Document Processing, Third International Workshop, PODP'96, Palo Alto, California, USA, September 23, 1996, Proceedings. Springer 1997, ISBN 3-540-63620-X
Contents
1294: Burton S. Kaliski Jr. (Ed.): Advances in Cryptology - CRYPTO '97, 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997, Proceedings. Springer 1997, ISBN 3-540-63384-7
Contents
1295: Igor Prívara, Peter Ruzicka (Eds.): Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Springer 1997, ISBN 3-540-63437-1
Contents
1296: Gerald Sommer, Konstantinos Daniilidis, Josef Pauli (Eds.): Computer Analysis of Images and Patterns, 7th International Conference, CAIP'97, Kiel, Germany, September 10-12, 1997, Proceedings. Springer 1997, ISBN 3-540-63460-6
Contents
1297: Nada Lavrac, Saso Dzeroski (Eds.): Inductive Logic Programming, 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings. Springer 1997, ISBN 3-540-63514-9
Contents
1298: Michael Hanus, Jan Heering, Karl Meinke (Eds.): Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings. Springer 1997, ISBN 3-540-63459-2
Contents
1299: Maria Teresa Pazienza (Ed.): Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology, International Summer School, SCIE-97, Frascati, Italy, 14-18, 1997. Springer 1997, ISBN 3-540-63438-X
Contents