Ralf Küsters: Non-Standard Inferences in Description Logics. Springer 2001 ISBN 3-540-42397-4
2101
Silvana Quaglini, Pedro Barahona, Steen Andreassen (Eds.): Artificial Intelligence Medicine, 8th Conference on AI in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001, Proceedings. Springer 2001 ISBN 3-540-42294-3 [ contents ]
2102
Gérard Berry, Hubert Comon, Alain Finkel (Eds.): Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings. Springer 2001 ISBN 3-540-42345-1 [ contents ]
2103
Markus Hannebauer, Jan Wendler, Enrico Pagello (Eds.): Balancing Reactivity and Social Deliberation in Multi-Agent Systems, From RoboCup to Real-World Applications (selected papers from the ECAI 2000 Workshop and additional contributions). Springer 2001 ISBN 3-540-42327-3 [ contents ]
2104
Rudolf Eigenmann, Michael Voss (Eds.): OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings. Springer 2001 ISBN 3-540-42346-X [ contents ]
2105
Won Kim, Tok Wang Ling, Yoon-Joon Lee, Seung-Soo Park (Eds.): The Human Society and the Internet - Internet Related Socio-Economic Issues, First International Conference, Human.Society@Internet 2001, Seoul, Korea, July 4-6 2001, Proceedings. Springer 2001 ISBN 3-540-42313-3 [ contents ]
2106
Michael Kerckhove (Ed.): Scale-Space and Morphology in Computer Vision, Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001, Proceedings. Springer 2001 ISBN 3-540-42317-6 [ contents ]
Jie Wang (Ed.): Computing and Combinatorics, 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings. Springer 2001 ISBN 3-540-42494-6 [ contents ]
Louis O. Hertzberger, Alfons G. Hoekstra, Roy Williams (Eds.): High-Performance Computing and Networking, 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings. Springer 2001 ISBN 3-540-42293-5 [ contents ]
2111
David P. Helmbold, Bob Williamson (Eds.): Computational Learning Theory, 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings. Springer 2001 ISBN 3-540-42343-5 [ contents ]
2112
Ryszard Kowalczyk, Seng Wai Loke, Nancy E. Reed, Graham J. Williams (Eds.): Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader, Four Workshops held at PRICAI 2000, Melbourne, Australia, August 28 - September 1, 2000, Revised Papers. Springer 2001 ISBN 3-540-42597-7 [ contents ]
Yahiko Kambayashi, Werner Winiwarter, Masatoshi Arikawa (Eds.): Data Warehousing and Knowledge Discovery, Third International Conference, DaWaK 2001, Munich, Germany, September 5-7, 2001, Proceedings. Springer 2001 ISBN 3-540-42553-5 [ contents ]
2115
Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul (Eds.): Electronic Commerce and Web Technologies, Second International Conference, EC-Web 2001 Munich, Germany, September 4-6, 2001, Proceedings. Springer 2001 ISBN 3-540-42517-9 [ contents ]
Xiaoyang Sean Wang, Ge Yu, Hongjun Lu (Eds.): Advances in Web-Age Information Management, Second International Conference, WAIM 2001, Xi'an, China, July 9-11, 2001, Proceedings. Springer 2001 ISBN 3-540-42298-6 [ contents ]
2119
Vijay Varadharajan, Yi Mu (Eds.): Information Security and Privacy, 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001, Proceedings. Springer 2001 ISBN 3-540-42300-1 [ contents ]
2120
Harry S. Delugach, Gerd Stumme (Eds.): Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings. Springer 2001 ISBN 3-540-42344-3 [ contents ]
Helmut Alt (Ed.): Computational Discrete Mathematics, Advanced Lectures. Springer 2001 ISBN 3-540-42775-9 [ contents ]
2123
Petra Perner (Ed.): Machine Learning and Data Mining in Pattern Recognition, Second International Workshop, MLDM 2001, Leipzig, Germany, July 25-27, 2001, Proceedings. Springer 2001 ISBN 3-540-42359-1 [ contents ]
2124
Wladyslaw Skarbek (Ed.): Computer Analysis of Images and Patterns, 9th International Conference, CAIP 2001 Warsaw, Poland, September 5-7, 2001, Proceedings. Springer 2001 ISBN 3-540-42513-6 [ contents ]
Patrick Cousot (Ed.): Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Springer 2001 ISBN 3-540-42314-1 [ contents ]
2127
Victor E. Malyshkin (Ed.): Parallel Computing Technologies, 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings. Springer 2001 ISBN 3-540-42522-5 [ contents ]
Michel X. Goemans, Klaus Jansen, José D. P. Rolim, Luca Trevisan (Eds.): Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques, 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001 Berkeley, CA, USA, August 18-20, 2001, Proceedings. Springer 2001 ISBN 3-540-42470-9 [ contents ]
2130
Georg Dorffner, Horst Bischof, Kurt Hornik (Eds.): Artificial Neural Networks - ICANN 2001, International Conference Vienna, Austria, August 21-25, 2001 Proceedings. Springer 2001 ISBN 3-540-42486-5 [ contents ]
2131
Yannis Cotronis, Jack Dongarra (Eds.): Recent Advances in Parallel Virtual Machine and Message Passing Interface, 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001, Proceedings. Springer 2001 ISBN 3-540-42609-4 [ contents ]
2132
Soe-Tsyr Yuan, Makoto Yokoo (Eds.): Intelligent Agents: Specification, Modeling, and Applications, 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings. Springer 2001 ISBN 3-540-42434-2 [ contents ]
Mário A. T. Figueiredo, Josiane Zerubia, Anil K. Jain (Eds.): Energy Minimization Methods in Computer Vision and Pattern Recognition, Third International Workshop, EMMCVPR 2001, Sophia Antipolis, France, September 3-5, 2001, Proceedings. Springer 2001 ISBN 3-540-42523-3 [ contents ]
2135
Graham N. C. Kirby, Alan Dearle, Dag I. K. Sjøberg (Eds.): Persistent Object Systems, 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers. Springer 2001 ISBN 3-540-42735-X [ contents ]
2136
Jiri Sgall, Ales Pultr, Petr Kolman (Eds.): Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings. Springer 2001 ISBN 3-540-42496-2 [ contents ]
2137
Ira S. Moskowitz (Ed.): Information Hiding, 4th International Workshop, IHW 2001, Pittsburgh, PA, USA, April 25-27, 2001, Proceedings. Springer 2001 ISBN 3-540-42733-3 [ contents ]
2138
Rusins Freivalds (Ed.): Fundamentals of Computation Theory, 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001, Proceedings. Springer 2001 ISBN 3-540-42487-3 [ contents ]
2139
Joe Kilian (Ed.): Advances in Cryptology - CRYPTO 2001, 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings. Springer 2001 ISBN 3-540-42456-3 [ contents ]
2140
Isabelle Attali, Thomas P. Jensen (Eds.): Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings. Springer 2001 ISBN 3-540-42610-8 [ contents ]
Laurent Fribourg (Ed.): Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings. Springer 2001 ISBN 3-540-42554-3 [ contents ]
2143
Salem Benferhat, Philippe Besnard (Eds.): Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings. Springer 2001 ISBN 3-540-42464-4 [ contents ]
2144
Tiziana Margaria, Thomas F. Melham (Eds.): Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings. Springer 2001 ISBN 3-540-42541-1 [ contents ]
2145
Michael Leyton: A Generative Theory of Shape, Questioning Klein's Erlanger Program. Springer 2001 ISBN 3-540-42717-1
2146
Joseph H. Silverman (Ed.): Cryptography and Lattices, International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001, Revised Papers. Springer 2001 ISBN 3-540-42488-1 [ contents ]
2147
Gordon J. Brebner, Roger Woods (Eds.): Field-Programmable Logic and Applications, 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001, Proceedings. Springer 2001 ISBN 3-540-42499-7 [ contents ]
2148
Alexander Nareyek (Ed.): Local Search for Planning and Scheduling, ECAI 2000 Workshop, Berlin, Germany, August 21, 2000, Revised Papers. Springer 2001 ISBN 3-540-42898-4 [ contents ]
2149
Olivier Gascuel, Bernard M. E. Moret (Eds.): Algorithms in Bioinformatics, First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001, Proceedings. Springer 2001 ISBN 3-540-42516-0 [ contents ]
Albertas Caplinskas, Johann Eder (Eds.): Advances in Databases and Information Systems, 5th East European Conference, ADBIS 2001, Vilnius, Lithuania, September 25-28, 2001, Proceedings. Springer 2001 ISBN 3-540-42555-1 [ contents ]
2152
Richard J. Boulton, Paul B. Jackson (Eds.): Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. Springer 2001 ISBN 3-540-42525-X [ contents ]
2153
Adam L. Buchsbaum, Jack Snoeyink (Eds.): Algorithm Engineering and Experimentation, Third International Workshop, ALENEX 2001, Washington, DC, USA, January 5-6, 2001, Revised Papers. Springer 2001 ISBN 3-540-42560-8 [ contents ]
2154
Kim Guldstrand Larsen, Mogens Nielsen (Eds.): CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Springer 2001 ISBN 3-540-42497-0 [ contents ]
2155
Harry Bunt, Robbert-Jan Beun (Eds.): Cooperative Multimodal Communication, Second International Conference, CMC'98, Tilburg, The Netherlands, January 28-30, 1998, Revised Papers. Springer 2001 ISBN 3-540-42806-2 [ contents ]
Jozef Kelemen, Petr Sosík (Eds.): Advances in Artificial Life, 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001, Proceedings. Springer 2001 ISBN 3-540-42567-5 [ contents ]
2160
Ruqian Lu, Songmao Zhang: Automatic Generation of Computer Animation: Using AI for Movie Animation. Springer 2002 ISBN 3-540-43114-4
2161
Friedhelm Meyer auf der Heide (Ed.): Algorithms - ESA 2001, 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings. Springer 2001 ISBN 3-540-42493-8 [ contents ]
2162
Çetin Kaya Koç, David Naccache, Christof Paar (Eds.): Cryptographic Hardware and Embedded Systems - CHES 2001, Third International Workshop, Paris, France, May 14-16, 2001, Proceedings. Springer 2001 ISBN 3-540-42521-7 [ contents ]
2163
Panos Constantopoulos, Ingeborg Sølvberg (Eds.): Research and Advanced Technology for Digital Libraries, 5th European Conference, ECDL 2001, Darmstadt, Germany, September 4-9, 2001, Proceedings. Springer 2001 ISBN 3-540-42537-3 [ contents ]
2164
Samuel Pierre, Roch H. Glitho (Eds.): Mobile Agents for Telecommunication Applications, Third International Workshop, MATA 2001, Montreal, Canada, August 14-16, 2001, Proceedings. Springer 2001 ISBN 3-540-42460-1 [ contents ]
2165
Luca de Alfaro, Stephen Gilmore (Eds.): Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings. Springer 2001 ISBN 3-540-42556-X [ contents ]
Luc De Raedt, Peter A. Flach (Eds.): Machine Learning: EMCL 2001, 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001, Proceedings. Springer 2001 ISBN 3-540-42536-5 [ contents ]
2168
Luc De Raedt, Arno Siebes (Eds.): Principles of Data Mining and Knowledge Discovery, 5th European Conference, PKDD 2001, Freiburg, Germany, September 3-5, 2001, Proceedings. Springer 2001 ISBN 3-540-42534-9 [ contents ]
2169
Michael Jaedicke: New Concepts for Parallel Object-Relational Query Processing. Springer 2001 ISBN 3-540-42781-3
2170
Sergio Palazzo (Ed.): Evolutionary Trends of the Internet, Thyrrhenian International Workshop on Digital Communications, IWDC 2001, Taormina, Italy, September 17-20, 2001, Proceedings. Springer 2001 ISBN 3-540-42592-6 [ contents ]
2171
Riccardo Focardi, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000]. Springer 2001 ISBN 3-540-42896-8 [ contents ]
Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski (Eds.): Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Springer 2001 ISBN 3-540-42593-4 [ contents ]
2174
Franz Baader, Gerhard Brewka, Thomas Eiter (Eds.): KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings. Springer 2001 ISBN 3-540-42612-4 [ contents ]
2175
Floriana Esposito (Ed.): AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001, Proceedings. Springer 2001 ISBN 3-540-42601-9 [ contents ]
2176
Klaus-Dieter Althoff, Raimund L. Feldmann, Wolfgang Müller (Eds.): Advances in Learning Software Organizations, Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001, Proceedings. Springer 2001 ISBN 3-540-42574-8 [ contents ]
2177
Gregory Butler, Stan Jarzabek (Eds.): Generative and Component-Based Software Engineering, Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000, Revised Papers. Springer 2001 ISBN 3-540-42578-0 [ contents ]
Jennifer L. Welch (Ed.): Distributed Computing, 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001, Proceedings. Springer 2001 ISBN 3-540-42605-1 [ contents ]
2181
Caroline Y. Westort (Ed.): Digital Earth Moving, First International Symposium, DEM 2001, Manno, Switzerland, September 5-7, 2001, Proceedings. Springer 2001 ISBN 3-540-42586-1 [ contents ]
2182
Matthias Klusch, Franco Zambonelli (Eds.): Cooperative Information Agents V, 5th International Workshop, CIA 2001, Modena, Italy, September 6-8, 2001, Proceedings. Springer 2001 ISBN 3-540-42545-4 [ contents ]
Maurizio Tucci (Ed.): Multimedia Databases and Image Communication, Second International Workshop, MDIC 2001, Amalfi, Italy, September 17-18, 2001, Proceedings. Springer 2001 ISBN 3-540-42587-X [ contents ]
2185
Martin Gogolla, Cris Kobryn (Eds.): «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings. Springer 2001 ISBN 3-540-42667-1 [ contents ]
2186
Jan Bosch (Ed.): Generative and Component-Based Software Engineering, Third International Conference, GCSE 2001, Erfurt, Germany, September 9-13, 2001, Proceedings. Springer 2001 ISBN 3-540-42546-2 [ contents ]
2187
Udo Voges (Ed.): Computer Safety, Reliability and Security, 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001, Proceedings. Springer 2001 ISBN 3-540-42607-8 [ contents ]
2188
Frank Bomarius, Seija Komi-Sirviö (Eds.): Product Focused Software Process Improvement, Third International Conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001, Proceedings. Springer 2001 ISBN 3-540-42571-3 [ contents ]
Angélica de Antonio, Ruth Aylett, Daniel Ballin (Eds.): Intelligent Virtual Agents, Third International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001, Proceedings. Springer 2001 ISBN 3-540-42570-5 [ contents ]
2191
Bernd Radig, Stefan Florczyk (Eds.): Pattern Recognition, 23rd DAGM-Symposium, Munich, Germany, September 12-14, 2001, Proceedings. Springer 2001 ISBN 3-540-42596-9 [ contents ]
2192
Akinori Yonezawa, Satoshi Matsuoka (Eds.): Metalevel Architectures and Separation of Crosscutting Concerns, Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001, Proceedings. Springer 2001 ISBN 3-540-42618-3 [ contents ]
Ajoy Kumar Datta, Ted Herman (Eds.): Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings. Springer 2001 ISBN 3-540-42653-1 [ contents ]
2195
Heung-Yeung Shum, Mark Liao, Shih-Fu Chang (Eds.): Advances in Multimedia Information Processing - PCM 2001, Second IEEE Pacific Rim Conference on Multimedia, Bejing, China, October 24-26, 2001, Proceedings. Springer 2001 ISBN 3-540-42680-9 [ contents ]
2196
Walid Taha (Ed.): Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings. Springer 2001 ISBN 3-540-42558-6 [ contents ]
2197
Olivier Balet, Gérard Subsol, Patrice Torguet (Eds.): Virtual Storytelling: Using Virtual Reality Technologies for Storytelling, International Conference, ICVS 2001, Avignon, France, September 27-28, 2001, Proceedings. Springer 2001 ISBN 3-540-42611-6 [ contents ]
2198
Ning Zhong, Yiyu Yao, Jiming Liu, Setsuo Ohsuga (Eds.): Web Intelligence: Research and Development, First Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001, Proceedings. Springer 2001 ISBN 3-540-42730-9 [ contents ]
2199
José Crespo, Victor Maojo, Fernando Martin (Eds.): Medical Data Analysis, Second International Symposium, ISMDA 2001, Madrid, Spain, October 8-9, 2001, Proceedings. Springer 2001 ISBN 3-540-42734-1 [ contents ]