Lecture Notes in Computer Science (LNCS), Volumes 2000-2099
2000Reinhard Wilhelm (Ed.): Informatics - 10 Years Back. 10 Years Ahead. Springer 2001 ISBN 3-540-41635-8 [ contents ]- 2001Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg (Eds.): Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Springer 2001 ISBN 3-540-41942-X [ contents ]
- 2002Hubert Comon, Claude Marché, Ralf Treinen (Eds.): Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures. Springer 2001 ISBN 3-540-41950-0 [ contents ]
- 2003Frank Dignum, Ulises Cortés (Eds.): Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop). Springer 2001 ISBN 3-540-41749-4 [ contents ]
- 2004Alexander F. Gelbukh (Ed.): Computational Linguistics and Intelligent Text Processing, Second International Conference, CICLing 2001, Mexico-City, Mexico, February 18-24, 2001, Proceedings. Springer 2001 ISBN 3-540-41687-0 [ contents ]
- 2005Wojciech Ziarko, Y. Y. Yao (Eds.): Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers. Springer 2001 ISBN 3-540-43074-1 [ contents ]
- 2006Reiner R. Dumke, Alain Abran (Eds.): New Approaches in Software Measurement, 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000, Proceedings. Springer 2001 ISBN 3-540-41727-3 [ contents ]
- 2007John F. Roddick, Kathleen Hornsby (Eds.): Temporal, Spatial, and Spatio-Temporal Data Mining, First International Workshop TSDM 2000 Lyon, France, September 12, 2000, Revised Papers. Springer 2001 ISBN 3-540-41773-7 [ contents ]
- 2008Babak Falsafi, T. N. Vijaykumar (Eds.): Power-Aware Computer Systems, First International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000, Revised Papers. Springer 2001 ISBN 3-540-42329-X [ contents ]
- 2009Hannes Federrath (Ed.): Designing Privacy Enhancing Technologies, International Workshop on Design Issues in Anonymity and Unobservability, Berkeley, CA, USA, July 25-26, 2000, Proceedings. Springer 2001 ISBN 3-540-41724-9 [ contents ]
- 2010Afonso Ferreira, Horst Reichel (Eds.): STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings. Springer 2001 ISBN 3-540-41695-1 [ contents ]
- 2011Markus Mohnen, Pieter W. M. Koopman (Eds.): Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers. Springer 2001 ISBN 3-540-41919-5 [ contents ]
- 2012Douglas R. Stinson, Stafford E. Tavares (Eds.): Selected Areas in Cryptography, 7th Annual International Workshop, SAC 2000, Waterloo, Ontario, Canada, August 14-15, 2000, Proceedings. Springer 2001 ISBN 3-540-42069-X [ contents ]
- 2013Sameer Singh, Nabeel A. Murshed, Walter G. Kropatsch (Eds.): Advances in Pattern Recognition - ICAPR 2001, Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001, Proceedings. Springer 2001 ISBN 3-540-41767-2 [ contents ]
- 2014Michael Moortgat (Ed.): Logical Aspects of Computational Linguistics, Third International Conference, LACL'98, Grenoble, France, December 14-16, 1998, Selected Papers. Springer 2001 ISBN 3-540-42251-X [ contents ]
- 2015Dongho Won (Ed.): Information Security and Cryptology - ICISC 2000, Third International Conference, Seoul, Korea, December 8-9, 2000, Proceedings. Springer 2001 ISBN 3-540-41782-6 [ contents ]
- 2016San Murugesan, Yogesh Deshpande (Eds.): Web Engineering, Software Engineering and Web Application Development. Springer 2001 ISBN 3-540-42130-0 [ contents ]
- 2017Samuel P. Midkiff, José E. Moreira, Manish Gupta, Siddhartha Chatterjee, Jeanne Ferrante, Jan Prins, William Pugh, Chau-Wen Tseng (Eds.): Languages and Compilers for Parallel Computing, 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers. Springer 2001 ISBN 3-540-42862-3 [ contents ]
- 2018Marc Pollefeys, Luc J. Van Gool, Andrew Zisserman, Andrew W. Fitzgibbon (Eds.): 3D Structure from Images - SMILE 2000, Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Ireland, July 12, 2000, Revised Papers. Springer 2001 ISBN 3-540-41845-8 [ contents ]
- 2019Peter Stone, Tucker R. Balch, Gerhard K. Kraetzschmar (Eds.): RoboCup 2000: Robot Soccer World Cup IV. Springer 2001 ISBN 3-540-42185-8 [ contents ]
- 2020David Naccache (Ed.): Topics in Cryptology - CT-RSA 2001, The Cryptographer's Track at RSA Conference 2001, San Francisco, CA, USA, April 8-12, 2001, Proceedings. Springer 2001 ISBN 3-540-41898-9 [ contents ]
- 2021José Nuno Oliveira, Pamela Zave (Eds.): FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Springer 2001 ISBN 3-540-41791-5 [ contents ]
- 2022Alexander B. Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi (Eds.): Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop). Springer 2001 ISBN 3-540-41952-7 [ contents ]
- 2023Peter R. King, Ethan V. Munson (Eds.): Digital Documents: Systems and Principles, 8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000, 5th International Workshop on the Principles of Digital Document Processing, PODDP 2000, Munich, Germany, September 13-15, 2000, Revised Papers. Springer 2004 ISBN 3-540-21070-9 [ contents ]
- 2024Herbert Kuchen, Kazunori Ueda (Eds.): Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings. Springer 2001 ISBN 3-540-41739-7 [ contents ]
- 2025Michael Kaufmann, Dorothea Wagner (Eds.): Drawing Graphs, Methods and Models (the book grow out of a Dagstuhl Seminar, April 1999). Springer 2001 ISBN 3-540-42062-2 [ contents ]
- 2026Frank Mueller (Ed.): High-Level Parallel Programming Models and Supportive Environments, 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001, Proceedings. Springer 2001 ISBN 3-540-41944-6 [ contents ]
- 2027Reinhard Wilhelm (Ed.): Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001 ISBN 3-540-41861-X [ contents ]
- 2028David Sands (Ed.): Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001 ISBN 3-540-41862-8 [ contents ]
- 2029Heinrich Hußmann (Ed.): Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001 ISBN 3-540-41863-6 [ contents ]
- 2030Furio Honsell, Marino Miculan (Eds.): Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001 ISBN 3-540-41864-4 [ contents ]
- 2031Tiziana Margaria, Wang Yi (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001 ISBN 3-540-41865-2 [ contents ]
- 2032Reinhard Klette, Thomas S. Huang, Georgy L. Gimel'farb (Eds.): Multi-Image Analysis, 10th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, March 12-17, 2000, Revised Papers. Springer 2001 ISBN 3-540-42122-X [ contents ]
- 2033Jiming Liu, Yiming Ye (Eds.): E-Commerce Agents, Marketplace Solutions, Security Issues, and Supply and Demand. Springer 2001 ISBN 3-540-41934-9 [ contents ]
- 2034Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli (Eds.): Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings. Springer 2001 ISBN 3-540-41866-0 [ contents ]
- 2035David Wai-Lok Cheung, Graham J. Williams, Qing Li (Eds.): Knowledge Discovery and Data Mining - PAKDD 2001, 5th Pacific-Asia Conference, Hong Kong, China, April 16-18, 2001, Proceedings. Springer 2001 ISBN 3-540-41910-1 [ contents ]
- 2036Stefan Wermter, Jim Austin, David J. Willshaw (Eds.): Emergent Neural Computational Architectures Based on Neuroscience - Towards Neuroscience-Inspired Computing. Springer 2001 ISBN 3-540-42363-X [ contents ]
- 2037Egbert J. W. Boers, Jens Gottlieb, Pier Luca Lanzi, Robert E. Smith, Stefano Cagnoni, Emma Hart, Günther R. Raidl, H. Tijink (Eds.): Applications of Evolutionary Computing, EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001, Proceedings. Springer 2001 ISBN 3-540-41920-9 [ contents ]
- 2038Julian F. Miller, Marco Tomassini, Pier Luca Lanzi, Conor Ryan, Andrea Tettamanzi, William B. Langdon (Eds.): Genetic Programming, 4th European Conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001, Proceedings. Springer 2001 ISBN 3-540-41899-7 [ contents ]
- 2039Michael Schumacher: Objective Coordination in Multi-Agent System Engineering - Design and Implementation. Springer 2001 ISBN 3-540-41982-9
- 2040Weidong Kou, Yelena Yesha, Chung-Jen Tan (Eds.): Topics in Electronic Commerce, Second International Symposium, ISEC 2001 Hong Kong, China, April 26-28, 2001, Proceedings. Springer 2001 ISBN 3-540-41963-2 [ contents ]
- 2041Isabelle Attali, Thomas P. Jensen (Eds.): Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers. Springer 2001 ISBN 3-540-42167-X [ contents ]
- 2042Kung-Kiu Lau (Ed.): Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. Springer 2001 ISBN 3-540-42127-0 [ contents ]
- 2043Dirk Craeynest, Alfred Strohmeier (Eds.): Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings. Springer 2001 ISBN 3-540-42123-8 [ contents ]
- 2044Samson Abramsky (Ed.): Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings. Springer 2001 ISBN 3-540-41960-8 [ contents ]
- 2045Birgit Pfitzmann (Ed.): Advances in Cryptology - EUROCRYPT 2001, International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001, Proceeding. Springer 2001 ISBN 3-540-42070-3 [ contents ]
- 2046Hans Daduna: Queueing Networks with Discrete Time Scale - Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks. Springer 2001 ISBN 3-540-42357-5
- 2047Reiner R. Dumke, Claus Rautenstrauch, Andreas Schmietendorf, André Scholz (Eds.): Performance Engineering, State of the Art and Current Trends. Springer 2001 ISBN 3-540-42145-9 [ contents ]
- 2048Josef Pauli: Learning-Based Robot Vision, Principles and Applications. Springer 2001 ISBN 3-540-42108-4
- 2049Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos (Eds.): Machine Learning and Its Applications, Advanced Lectures. Springer 2001 ISBN 3-540-42490-3 [ contents ]
- 2050Jean-Yves Le Boudec, Patrick Thiran: Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer 2001 ISBN 3-540-42184-X
- 2051Aart Middeldorp (Ed.): Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings. Springer 2001 ISBN 3-540-42117-3 [ contents ]
- 2052Vladimir I. Gorodetski, Victor A. Skormin, Leonard J. Popyack (Eds.): Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security, International Workshop MMM-ACNS 2001, St. Petersburg, Russia, May 21-23, 2001, Proceedings. Springer 2001 ISBN 3-540-42103-3 [ contents ]
- 2053Olivier Danvy, Andrzej Filinski (Eds.): Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings. Springer 2001 ISBN 3-540-42068-1 [ contents ]
- 2054Anne Condon, Grzegorz Rozenberg (Eds.): DNA Computing, 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers. Springer 2001 ISBN 3-540-42076-2 [ contents ]
- 2055Maurice Margenstern, Yurii Rogozhin (Eds.): Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldavia, May 23-27, 2001, Proceedings. Springer 2001 ISBN 3-540-42121-1 [ contents ]
- 2056Eleni Stroulia, Stan Matwin (Eds.): Advances in Artificial Intelligence, 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001, Proceedings. Springer 2001 ISBN 3-540-42144-0 [ contents ]
- 2057Matthew B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings. Springer 2001 ISBN 3-540-42124-6 [ contents ]
- 2058Stephen A. Brewster, Roderick Murray-Smith (Eds.): Haptic Human-Computer Interaction, First International Workshop, Glasgow, UK, August 31 - September 1, 2000, Proceedings. Springer 2001 ISBN 3-540-42356-7 [ contents ]
- 2059Carlo Arcelli, Luigi P. Cordella, Gabriella Sanniti di Baja (Eds.): Visual Form 2001, 4th International Workshop on Visual Form, IWVF-4, Capri, Italy, May 28-30, 2001, Proceedings. Springer 2001 ISBN 3-540-42120-3 [ contents ]
- 2060Thomas Böhme, Herwig Unger (Eds.): Innovative Internet Computing Systems, International Workshop IICS 2001, Ilmenau, Germany, June 21-22, 2001, Proceedings. Springer 2001 ISBN 3-540-42275-7 [ contents ]
- 2061Jürgen Richter-Gebert, Dongming Wang (Eds.): Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers. Springer 2001 ISBN 3-540-42598-5 [ contents ]
- 2062Alexander Nareyek: Constraint-Based Agents. Springer 2001 ISBN 3-540-42258-7
- 2063T. Anthony Marsland, Ian Frank (Eds.): Computers and Games, Second International Conference, CG 2000, Hamamatsu, Japan, October 26-28, 2000, Revised Papers. Springer 2002 ISBN 3-540-43080-6 [ contents ]
- 2064Jens Blanck, Vasco Brattka, Peter Hertling (Eds.): Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers. Springer 2001 ISBN 3-540-42197-1 [ contents ]
- 2065Herman Balsters, Bert O. de Brock, Stefan Conrad (Eds.): Database Schema Evolution and Meta-Modeling, 9th International Workshop on Foundations of Models and Languages for Data and Objects, FoMLaDO/DEMM 2000, Dagstuhl Castle, Germany, September 18-21, 2000, Selected Papers. Springer 2001 ISBN 3-540-42272-2 [ contents ]
- 2066Olivier Gascuel, Marie-France Sagot (Eds.): Computational Biology, First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, Montpellier, France, May 3-5, 2000, Selected Papers. Springer 2001 ISBN 3-540-42242-0 [ contents ]
- 2067Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (Eds.): Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Springer 2001 ISBN 3-540-42787-2 [ contents ]
- 2068Klaus R. Dittrich, Andreas Geppert, Moira C. Norrie (Eds.): Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings. Springer 2001 ISBN 3-540-42215-3 [ contents ]
- 2069Carol Peters (Ed.): Cross-Language Information Retrieval and Evaluation, Workshop of Cross-Language Evaluation Forum, CLEF 2000, Lisbon, Portugal, September 21-22, 2000, Revised Papers. Springer 2001 ISBN 3-540-42446-6 [ contents ]
- 2070Laszlo Monostori, József Váncza, Moonis Ali (Eds.): Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings. Springer 2001 ISBN 3-540-42219-6 [ contents ]
- 2071Robert Harper (Ed.): Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers. Springer 2001 ISBN 3-540-42196-3 [ contents ]
- 2072Jørgen Lindskov Knudsen (Ed.): ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings. Springer 2001 ISBN 3-540-42206-4 [ contents ]
- 2073Vassil N. Alexandrov, Jack Dongarra, Benjoe A. Juliano, René S. Renner, Chih Jeng Kenneth Tan (Eds.): Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I. Springer 2001 ISBN 3-540-42232-3 [ contents ]
- 2074Vassil N. Alexandrov, Jack Dongarra, Benjoe A. Juliano, René S. Renner, Chih Jeng Kenneth Tan (Eds.): Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II. Springer 2001 ISBN 3-540-42233-1 [ contents ]
- 2075José Manuel Colom, Maciej Koutny (Eds.): Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Springer 2001 ISBN 3-540-42252-8 [ contents ]
- 2076Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (Eds.): Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings. Springer 2001 ISBN 3-540-42287-0 [ contents ]
- 2077Vincenzo Ambriola (Ed.): Software Process Technology, 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001, Proceedings. Springer 2001 ISBN 3-540-42264-1 [ contents ]
- 2078Rick Reed, Jeanne Reed (Eds.): SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings. Springer 2001 ISBN 3-540-42281-1 [ contents ]
- 2079Edmund K. Burke, Wilhelm Erben (Eds.): Practice and Theory of Automated Timetabling III, Third International Conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000, Selected Papers. Springer 2001 ISBN 3-540-42421-0 [ contents ]
- 2080David W. Aha, Ian Watson (Eds.): Case-Based Reasoning Research and Development, 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30 - August 2, 2001, Proceedings. Springer 2001 ISBN 3-540-42358-3 [ contents ]
- 2081Karen Aardal, Bert Gerards (Eds.): Integer Programming and Combinatorial Optimization, 8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001, Proceedings. Springer 2001 ISBN 3-540-42225-0 [ contents ]
- 2082Michael F. Insana, Richard M. Leahy (Eds.): Information Processing in Medical Imaging, 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001, Proceedings. Springer 2001 ISBN 3-540-42245-5 [ contents ]
- 2083Rajeev Goré, Alexander Leitsch, Tobias Nipkow (Eds.): Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Springer 2001 ISBN 3-540-42254-4 [ contents ]
- 2084José Mira, Alberto Prieto (Eds.): Connectionist Models of Neurons, Learning Processes and Artificial Intelligence, 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I. Springer 2001 ISBN 3-540-42235-8 [ contents ]
- 2085José Mira, Alberto Prieto (Eds.): Bio-inspired Applications of Connectionism, 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part II. Springer 2001 ISBN 3-540-42237-4 [ contents ]
- 2086Michael Luck, Vladimír Marík, Olga Stepánková, Robert Trappl (Eds.): Multi-Agent Systems and Applications, 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001, Selected Tutorial Papers. Springer 2001 ISBN 3-540-42312-5 [ contents ]
- 2087Gabriele Kern-Isberner: Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents. Springer 2001 ISBN 3-540-42367-2
- 2088Sheng Yu, Andrei Paun (Eds.): Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers. Springer 2001 ISBN 3-540-42491-1 [ contents ]
- 2089Amihood Amir, Gad M. Landau (Eds.): Combinatorial Pattern Matching, 12th Annual Symposium, CPM 2001 Jerusalem, Israel, July 1-4, 2001 Proceedings. Springer 2001 ISBN 3-540-42271-4 [ contents ]
- 2090Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (Eds.): Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures. Springer 2001 ISBN 3-540-42479-2 [ contents ]
- 2091Josef Bigün, Fabrizio Smeraldi (Eds.): Audio- and Video-Based Biometric Person Authentication, Third International Conference, AVBPA 2001 Halmstad, Sweden, June 6-8, 2001, Proceedings. Springer 2001 ISBN 3-540-42216-1 [ contents ]
- 2092Lars C. Wolf, David Hutchison, Ralf Steinmetz (Eds.): Quality of Service - IWQoS 2001, 9th International Workshop Karlsruhe, Germany, June 6-8, 2001, Proceedings. Springer 2001 ISBN 3-540-42217-X [ contents ]
- 2093Pascal Lorenz (Ed.): Networking - ICN 2001, First International Conference, Colmar, France, July 9-13, 2001 Proceedings, Part 1. Springer 2001 ISBN 3-540-42302-8 [ contents ]
- 2094Pascal Lorenz (Ed.): Networking - ICN 2001, First International Conference, Colmar, France, July 9-13, 2001 Proceedings, Part 2. Springer 2001 ISBN 3-540-42303-6 [ contents ]
- 2095Bernt Schiele, Gerhard Sagerer (Eds.): Computer Vision Systems, Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001, Proceedings. Springer 2001 ISBN 3-540-42285-4 [ contents ]
- 2096Josef Kittler, Fabio Roli (Eds.): Multiple Classifier Systems, Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001, Proceedings. Springer 2001 ISBN 3-540-42284-6 [ contents ]
- 2097Brian J. Read (Ed.): Advances in Databases, 18th British National Conference on Databases, BNCOD 18, Chilton, UK, July 9-11, 2001, Proceedings. Springer 2001 ISBN 3-540-42265-X [ contents ]
- 2098Jin Akiyama, Mikio Kano, Masatsugu Urabe (Eds.): Discrete and Computational Geometry, Japanese Conference, JCDCG 2000, Tokyo, Japan, November, 22-25, 2000, Revised Papers. Springer 2001 ISBN 3-540-42306-0 [ contents ]
- 2099Philippe de Groote, Glyn Morrill, Christian Retoré (Eds.): Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings. Springer 2001 ISBN 3-540-42273-0 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team