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