 |
 |
- 2000
- Reinhard Wilhelm (Ed.):
Informatics - 10 Years Back. 10 Years Ahead.
Springer 2001, ISBN 3-540-41635-8
Contents BibTeX
- 2001
- Gul 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 BibTeX
- 2002
- Hubert 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 BibTeX
- 2003
- Frank 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 BibTeX
- 2004
- Alexander 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 BibTeX
- 2005
- Wojciech 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 BibTeX
- 2006
- Reiner 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 BibTeX
- 2007
- John 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 BibTeX
- 2008
- Babak 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 BibTeX
- 2009
- Hannes 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 BibTeX
- 2010
- Afonso 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 BibTeX
- 2011
- Markus 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 BibTeX
- 2012
- Douglas 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 BibTeX
- 2013
- Sameer 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 BibTeX
- 2014
- Michael 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 BibTeX
- 2015
- Dongho 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 BibTeX
- 2016
- San Murugesan, Yogesh Deshpande (Eds.):
Web Engineering, Software Engineering and Web Application Development.
Springer 2001, ISBN 3-540-42130-0
Contents BibTeX
- 2017
- Samuel 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 BibTeX
- 2018
- Marc 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 BibTeX
- 2019
- Peter Stone, Tucker R. Balch, Gerhard K. Kraetzschmar (Eds.):
RoboCup 2000: Robot Soccer World Cup IV.
Springer 2001, ISBN 3-540-42185-8
Contents BibTeX
- 2020
- David 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 BibTeX
- 2021
- José 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 BibTeX
- 2022
- Alexander 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 BibTeX
- 2023
- Peter 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 BibTeX
- 2024
- Herbert 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 BibTeX
- 2025
- Michael 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 BibTeX
- 2026
- Frank 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 BibTeX
- 2027
- Reinhard 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 BibTeX
- 2028
- David 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 BibTeX
- 2029
- Heinrich 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 BibTeX
- 2030
- Furio 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 BibTeX
- 2031
- Tiziana 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 BibTeX
- 2032
- Reinhard 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 BibTeX
- 2033
- Jiming Liu, Yiming Ye (Eds.):
E-Commerce Agents, Marketplace Solutions, Security Issues, and Supply and Demand.
Springer 2001, ISBN 3-540-41934-9
Contents BibTeX
- 2034
- Maria 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 BibTeX
- 2035
- David 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 BibTeX
- 2036
- Stefan 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 BibTeX
- 2037
- Egbert 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 BibTeX
- 2038
- Julian 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 BibTeX
- 2039
- Michael Schumacher:
Objective Coordination in Multi-Agent System Engineering - Design and Implementation.
Lecture Notes in Computer Science Vol. 2039 Springer 2001, ISBN 3-540-41982-9
Contents BibTeX
- 2040
- Weidong 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 BibTeX
- 2041
- Isabelle 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 BibTeX
- 2042
- Kung-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 BibTeX
- 2043
- Dirk 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 BibTeX
- 2044
- Samson 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 BibTeX
- 2045
- Birgit 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 BibTeX
- 2046
- Hans Daduna:
Queueing Networks with Discrete Time Scale - Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks.
Lecture Notes in Computer Science Vol. 2046 Springer 2001, ISBN 3-540-42357-5
Contents BibTeX
- 2047
- Reiner 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 BibTeX
- 2048
- Josef Pauli:
Learning-Based Robot Vision, Principles and Applications.
Lecture Notes in Computer Science Vol. 2048 Springer 2001, ISBN 3-540-42108-4
Contents BibTeX
- 2049
- Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos (Eds.):
Machine Learning and Its Applications, Advanced Lectures.
Springer 2001, ISBN 3-540-42490-3
Contents BibTeX
- 2050
- Jean-Yves Le Boudec, Patrick Thiran:
Network Calculus: A Theory of Deterministic Queuing Systems for the Internet.
Lecture Notes in Computer Science Vol. 2050 Springer 2001, ISBN 3-540-42184-X
Contents BibTeX
- 2051
- Aart 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 BibTeX
- 2052
- Vladimir 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 BibTeX
- 2053
- Olivier 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 BibTeX
- 2054
- Anne 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 BibTeX
- 2055
- Maurice 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 BibTeX
- 2056
- Eleni 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 BibTeX
- 2057
- Matthew 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 BibTeX
- 2058
- Stephen 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 BibTeX
- 2059
- Carlo 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 BibTeX
- 2060
- Thomas 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 BibTeX
- 2061
- Jü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 BibTeX
- 2062
- Alexander Nareyek:
Constraint-Based Agents.
Lecture Notes in Computer Science Vol. 2062 Springer 2001, ISBN 3-540-42258-7
Contents BibTeX
- 2063
- T. 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 BibTeX
- 2064
- Jens 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 BibTeX
- 2065
- Herman 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 BibTeX
- 2066
- Olivier 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 BibTeX
- 2067
- Franck 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 BibTeX
- 2068
- Klaus 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 BibTeX
- 2069
- Carol 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 BibTeX
- 2070
- Laszlo 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 BibTeX
- 2071
- Robert 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 BibTeX
- 2072
- Jø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 BibTeX
- 2073
- Vassil 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 BibTeX
- 2074
- Vassil 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 BibTeX
- 2075
- José 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 BibTeX
- 2076
- Fernando 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 BibTeX
- 2077
- Vincenzo 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 BibTeX
- 2078
- Rick 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 BibTeX
- 2079
- Edmund 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 BibTeX
- 2080
- David 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 BibTeX
- 2081
- Karen 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 BibTeX
- 2082
- Michael 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 BibTeX
- 2083
- Rajeev 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 BibTeX
- 2084
- José 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 BibTeX
- 2085
- José 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 BibTeX
- 2086
- Michael 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 BibTeX
- 2087
- Gabriele Kern-Isberner:
Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents.
Lecture Notes in Computer Science Vol. 2087 Springer 2001, ISBN 3-540-42367-2
Contents BibTeX
- 2088
- Sheng 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 BibTeX
- 2089
- Amihood 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 BibTeX
- 2090
- Ed 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 BibTeX
- 2091
- Josef 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 BibTeX
- 2092
- Lars 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 BibTeX
- 2093
- Pascal 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 BibTeX
- 2094
- Pascal 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 BibTeX
- 2095
- Bernt 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 BibTeX
- 2096
- Josef 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 BibTeX
- 2097
- Brian 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 BibTeX
- 2098
- Jin 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 BibTeX
- 2099
- Philippe 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 BibTeX
Copyright © Sun May 17 00:32:13 2009
by Michael Ley (ley@uni-trier.de)