 |
 |
- 2100
- Ralf Küsters:
Non-Standard Inferences in Description Logics.
Lecture Notes in Computer Science Vol. 2100 Springer 2001, ISBN 3-540-42397-4
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2107
- Frederic T. Chong, Christoforos E. Kozyrakis, Mark Oskin (Eds.):
Intelligent Memory Systems, Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000, Revised Papers.
Springer 2001, ISBN 3-540-42328-1
Contents BibTeX
- 2108
- 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 BibTeX
- 2109
- Mathias Bauer, Piotr J. Gmytrasiewicz, Julita Vassileva (Eds.):
User Modeling 2001, 8th International Conference, UM 2001, Sonthofen, Germany, July 13-17, 2001, Proceedings.
Springer 2001, ISBN 3-540-42325-7
Contents BibTeX
- 2110
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2113
- Heinrich C. Mayr, Jirí Lazanský, Gerald Quirchmayr, Pavel Vogel (Eds.):
Database and Expert Systems Applications, 12th International Conference, DEXA 2001 Munich, Germany, September 3-5, 2001, Proceedings.
Springer 2001, ISBN 3-540-42527-6
Contents BibTeX
- 2114
- 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 BibTeX
- 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 BibTeX
- 2116
- Varol Akman, Paolo Bouquet, Richmond H. Thomason, Roger A. Young (Eds.):
Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings.
Springer 2001, ISBN 3-540-42379-6
Contents BibTeX
- 2117
- Meurig Beynon, Chrystopher L. Nehaniv, Kerstin Dautenhahn (Eds.):
Cognitive Technology: Instruments of Mind, 4th International Conference, CT 2001, Warwick, UK, August 6-9, 2001, Proceedings.
Springer 2001, ISBN 3-540-42406-7
Contents BibTeX
- 2118
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2121
- Christian S. Jensen, Markus Schneider, Bernhard Seeger, Vassilis J. Tsotras (Eds.):
Advances in Spatial and Temporal Databases, 7th International Symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001, Proceedings.
Springer 2001, ISBN 3-540-42301-X
Contents BibTeX
- 2122
- Helmut Alt (Ed.):
Computational Discrete Mathematics, Advanced Lectures.
Springer 2001, ISBN 3-540-42775-9
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 2125
- Frank K. H. A. Dehne, Jörg-Rüdiger Sack, Roberto Tamassia (Eds.):
Algorithms and Data Structures, 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001, Proceedings.
Springer 2001, ISBN 3-540-42423-7
Contents BibTeX
- 2126
- 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 BibTeX
- 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 BibTeX
- 2128
- Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg (Eds.):
Unifying Petri Nets, Advances in Petri Nets.
Springer 2001, ISBN 3-540-43067-9
Contents BibTeX
- 2129
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2133
- Bruce Christianson, Bruno Crispo, Michael Roe (Eds.):
Security Protocols, 8th International Workshop, Cambridge, UK, April 3-5, 2000, Revised Papers.
Springer 2001, ISBN 3-540-42566-7
Contents BibTeX
- 2134
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2141
- Gerth Stølting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela (Eds.):
Algorithm Engineering, 5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001, Proceedings.
Springer 2001, ISBN 3-540-42500-4
Contents BibTeX
- 2142
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2145
- Michael Leyton:
A Generative Theory of Shape, Questioning Klein's Erlanger Program.
Lecture Notes in Computer Science Vol. 2145 Springer 2001, ISBN 3-540-42717-1
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2150
- Rizos Sakellariou, John A. Keane, John R. Gurd, Len Freeman (Eds.):
Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference Manchester, UK August 28-31, 2001, Proceedings.
Springer 2001, ISBN 3-540-42495-4
Contents BibTeX
- 2151
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2156
- Mikhail I. Smirnov, Jon Crowcroft, James Roberts, Fernando Boavida (Eds.):
Quality of Future Internet Services, Second COST 263 International Workshop, Qofis 2001, Coimbra, Portugal, September 24-26, 2001, Proceedings.
Springer 2001, ISBN 3-540-42602-7
Contents BibTeX
- 2157
- Céline Rouveirol, Michèle Sebag (Eds.):
Inductive Logic Programming, 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001, Proceedings.
Springer 2001, ISBN 3-540-42538-1
Contents BibTeX
- 2158
- Doug Shepherd, Joe Finney, Laurent Mathy, Nicholas J. P. Race (Eds.):
Interactive Distributed Multimedia Systems, 8th International Workshop,IDMS 2001, Lancaster, UK, September 4-7, 2001, Proceedings.
Springer 2001, ISBN 3-540-42530-6
Contents BibTeX
- 2159
- 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 BibTeX
- 2160
- Ruqian Lu, Songmao Zhang:
Automatic Generation of Computer Animation: Using AI for Movie Animation.
Lecture Notes in Computer Science Vol. 2160 Springer 2002, ISBN 3-540-43114-4
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2166
- Václav Matousek, Pavel Mautner, Roman Moucek, Karel Tauser (Eds.):
Text, Speech and Dialogue, 4th International Conference, TSD 2001, Zelezna Ruda, Czech Republic, September 11-13, 2001, Proceedings.
Springer 2001, ISBN 3-540-42557-8
Contents BibTeX
- 2167
- 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 BibTeX
- 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 BibTeX
- 2169
- Michael Jaedicke:
New Concepts for Parallel Object-Relational Query Processing.
Lecture Notes in Computer Science Vol. 2169 Springer 2001, ISBN 3-540-42781-3
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 2172
- Carlo Batini, Fausto Giunchiglia, Paolo Giorgini, Massimo Mecella (Eds.):
Cooperative Information Systems, 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001, Proceedings.
Springer 2001, ISBN 3-540-42524-1
Contents BibTeX
- 2173
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2178
- Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (Eds.):
Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers.
Springer 2001, ISBN 3-540-42959-X
Contents BibTeX
- 2179
- Svetozar Margenov, Jerzy Wasniewski, Plamen Y. Yalamov (Eds.):
Large-Scale Scientific Computing, Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001, Revised Papers.
Springer 2001, ISBN 3-540-43043-1
Contents BibTeX
- 2180
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2183
- Reinhard Kahle, Peter Schroeder-Heister, Robert F. Stärk (Eds.):
Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings.
Springer 2001, ISBN 3-540-42752-X
Contents BibTeX
- 2184
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2189
- Frank Hoffmann, David J. Hand, Niall M. Adams, Douglas H. Fisher, Gabriela Guimarães (Eds.):
Advances in Intelligent Data Analysis, 4th International Conference, IDA 2001, Cascais, Portugal, September 13-15, 2001, Proceedings.
Springer 2001, ISBN 3-540-42581-0
Contents BibTeX
- 2190
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 2193
- Fabio Casati, Dimitrios Georgakopoulos, Ming-Chien Shan (Eds.):
Technologies for E-Services, Second International Workshop, TES 2001, Rome, Italy, September 14-15, 2001, Proceedings.
Springer 2001, ISBN 3-540-42565-9
Contents BibTeX
- 2194
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
Copyright © Sun May 17 00:32:14 2009
by Michael Ley (ley@uni-trier.de)