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