Lecture Notes in Computer Science (LNCS), Volumes 2200-2299

2200

George I. Davida, Yair Frankel (Eds.): Information Security, 4th International Conference, ISC 2001, Malaga, Spain, October 1-3, 2001, Proceedings. Springer 2001, ISBN 3-540-42662-0
Contents

2201

Gregory D. Abowd, Barry Brumitt, Steven A. Shafer (Eds.): Ubicomp 2001: Ubiquitous Computing, Third International Conference Atlanta, Georgia, USA, September 30 - October 2, 2001, Proceedings. Springer 2001, ISBN 3-540-42614-0
Contents

2202

Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (Eds.): Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings. Springer 2001, ISBN 3-540-42672-8
Contents

2203

Andrea Omicini, Paolo Petta, Robert Tolksdorf (Eds.): Engineering Societies in the Agents World II, Second International Workshop, ESAW 2001, Prague, Czech Republic, July 7, 2001, Revised Papers. Springer 2001, ISBN 3-540-43091-1
Contents

2204

Andreas Brandstädt, Van Bang Le (Eds.): Graph-Theoretic Concepts in Computer Science, 27th International Workshop, WG 2001, Boltenhagen, Germany, June 14-16, 2001, Proceedings. Springer 2001, ISBN 3-540-42707-4
Contents

2205

Daniel R. Montello (Ed.): Spatial Information Theory: Foundations of Geographic Information Science, International Conference, COSIT 2001, Morro Bay, CA, USA, September 19-23, 2001, Proceedings. Springer 2001, ISBN 3-540-42613-2
Contents

2206

Bernd Reusch (Ed.): Computational Intelligence, Theory and Applications, International Conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001, Proceedings. Springer 2001, ISBN 3-540-42732-5
Contents

2207

Ian W. Marshall, Scott Nettles, Naoki Wakamiya (Eds.): Active Networks, IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001, Proceedings. Springer 2001, ISBN 3-540-42678-7
Contents

2208

Wiro J. Niessen, Max A. Viergever (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2001, 4th International Conference, Utrecht, The Netherlands, October 14-17, 2001, Proceedings. Springer 2001, ISBN 3-540-42697-3
Contents

2209

Willem Jonker (Ed.): Databases in Telecommunications II, VLDB 2001 International Workshop, DBTel 2001 Rome, Italy, September 10, 2001, Proceedings. Springer 2001, ISBN 3-540-42623-X
Contents

2210

Yong Liu, Kiyoshi Tanaka, Masaya Iwata, Tetsuya Higuchi, Moritoshi Yasunaga (Eds.): Evolvable Systems: From Biology to Hardware, 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001, Proceedings. Springer 2001, ISBN 3-540-42671-X
Contents

2211

Thomas A. Henzinger, Christoph M. Kirsch (Eds.): Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings. Springer 2001, ISBN 3-540-42673-6
Contents

2212

Wenke Lee, Ludovic Mé, Andreas Wespi (Eds.): Recent Advances in Intrusion Detection, 4th International Symposium, RAID 2001 Davis, CA, USA, October 10-12, 2001, Proceedings. Springer 2001, ISBN 3-540-42702-3
Contents

2213

Marten van Sinderen, Lambert J. M. Nieuwenhuis (Eds.): Protocols for Multimedia Systems, 6th International Conference, PROMS 2001, Enschede, The Netherlands, October 17-19, 2001, Proceedings. Springer 2001, ISBN 3-540-42708-2
Contents

2214

Oliver Boldt, Helmut Jürgensen (Eds.): Automata Implementation, 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers. Springer 2001, ISBN 3-540-42812-7
Contents

2215

Naoki Kobayashi, Benjamin C. Pierce (Eds.): Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings. Springer 2001, ISBN 3-540-42736-8
Contents

2216

Ehab S. Al-Shaer, Giovanni Pacifici (Eds.): Management of Multimedia on the Internet, 4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2001, Chicago, IL, USA October 29 - November 1, 2001, Proceedings. Springer 2001, ISBN 3-540-42786-4
Contents

2217

Takashi Gomi (Ed.): Evolutionary Robotics From Intelligent Robotics to Artificial Life, International Symposium, ER 2001, Tokyo, Japan, October 18-19, 2001, Proceedings. Springer 2001, ISBN 3-540-42737-6
Contents

2218

Rachid Guerraoui (Ed.): Middleware 2001, IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings. Springer 2001, ISBN 3-540-42800-3
Contents

2219

S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder (Eds.): Consolidated Ada Reference Manual. Language and Standard Libraries, International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1. Lecture Notes in Computer Science Vol. 2219 Springer 2001, ISBN 3-540-43038-5
Contents

2220

Chris Johnson (Ed.): Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers. Springer 2001, ISBN 3-540-42807-0
Contents

2221

Dror G. Feitelson, Larry Rudolph (Eds.): Job Scheduling Strategies for Parallel Processing, 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers. Springer 2001, ISBN 3-540-42817-8
Contents

2222

Michael Wooldridge, Gerhard Weiß, Paolo Ciancarini (Eds.): Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions. Springer 2002, ISBN 3-540-43282-5
Contents

2223

Peter Eades, Tadao Takaoka (Eds.): Algorithms and Computation, 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001, Proceedings. Springer 2001, ISBN 3-540-42985-9
Contents

2224

Hideko S. Kunii, Sushil Jajodia, Arne Sølvberg (Eds.): Conceptual Modeling - ER 2001, 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings. Springer 2001, ISBN 3-540-42866-6
Contents

2225

Naoki Abe, Roni Khardon, Thomas Zeugmann (Eds.): Algorithmic Learning Theory, 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001, Proceedings. Springer 2001, ISBN 3-540-42875-5
Contents

2226

Klaus P. Jantke, Ayumi Shinohara (Eds.): Discovery Science, 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001, Proceedings. Springer 2001, ISBN 3-540-42956-5
Contents

2227

Serdar Boztas, Igor Shparlinski (Eds.): Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 14th International Symposium, AAECC-14, Melbourne, Australia November 26-30, 2001, Proceedings. Springer 2001, ISBN 3-540-42911-5
Contents

2228

Burkhard Monien, Viktor K. Prasanna, Sriram Vajapeyam (Eds.): High Performance Computing - HiPC 2001, 8th International Conference, Hyderabad, India, December, 17-20, 2001, Proceedings. Springer 2001, ISBN 3-540-43009-1
Contents

2229

Sihan Qing, Tatsuaki Okamoto, Jianying Zhou (Eds.): Information and Communications Security, Third International Conference, ICICS 2001, Xian, China, November 13-16, 2001. Springer 2001, ISBN 3-540-42880-1
Contents

2230

Toivo Katila, Isabelle E. Magnin, Patrick Clarysse, Johan Montagnat, Jukka Nenonen (Eds.): Functional Imaging and Modeling of the Heart, First International Workshop, Helsinki, Finland, November 15-16, 2001, Proceedings. Springer 2001, ISBN 3-540-42861-5
Contents

2231

Alessandro Pasetti: Software Frameworks and Embedded Control Systems. Lecture Notes in Computer Science Vol. 2231 Springer 2002, ISBN 3-540-43189-6
Contents

2232

Ludger Fiege, Gero Mühl, Uwe G. Wilhelm (Eds.): Electronic Commerce, Second International Workshop, WELCOM 2001 Heidelberg, Germany, November 16-17, 2001, Proceedings. Springer 2001, ISBN 3-540-42878-X
Contents

2233

Jon Crowcroft, Markus Hofmann (Eds.): Networked Group Communication, Third International COST264 Workshop, NGC 2001, London, UK, November 7-9, 2001, Proceedings. Springer 2001, ISBN 3-540-42824-0
Contents

2234

Leszek Pacholski, Peter Ruzicka (Eds.): SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001, Proceedings. Springer 2001, ISBN 3-540-42912-3
Contents

2235

Cristian Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (Eds.): Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View [Workshop on Multiset Processing, WMP 2000, Curtea de Arges, Romania, August 21-25, 2000]. Springer 2001, ISBN 3-540-43063-6
Contents

2236

Khalil Drira, Andrea Martelli, Thierry Villemur (Eds.): Cooperative Environments for Distributed Systems Engineering, The Distributed Systems Environment Report. Springer 2001, ISBN 3-540-43083-0
Contents

2237

Philippe Codognet (Ed.): Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Springer 2001, ISBN 3-540-42935-2
Contents

2238

Gregory D. Hager, Henrik I. Christensen, Horst Bunke, Rolf Klein (Eds.): Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, October 15-20, 2000, Selected Revised Papers. Springer 2002, ISBN 3-540-43399-6
Contents

2239

Toby Walsh (Ed.): Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Springer 2001, ISBN 3-540-42863-1
Contents

2240

Gian Pietro Picco (Ed.): Mobile Agents, 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001, Proceedings. Springer 2002, ISBN 3-540-42952-2
Contents

2241

Michael Jünger, Denis Naddef (Eds.): Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions [based on a Spring School, Schloß Dagstuhl, Germany, 15-19 May 2000]. Springer 2001, ISBN 3-540-42877-1
Contents

2242

Craig A. Lee (Ed.): Grid Computing - GRID 2001, Second International Workshop, Denver, CO, USA, November 12, 2001, Proceedings. Springer 2001, ISBN 3-540-42949-2
Contents

2243

Gilles Bertrand, Atsushi Imiya, Reinhard Klette (Eds.): Digital and Image Geometry, Advanced Lectures [based on a winter school held at Dagstuhl Castle, Germany in December 2000]. Springer 2001, ISBN 3-540-43079-2
Contents

2244

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.): Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers. Springer 2001, ISBN 3-540-43075-X
Contents

2245

Ramesh Hariharan, Madhavan Mukund, V. Vinay (Eds.): FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings. Springer 2001, ISBN 3-540-43002-4
Contents

2246

Rino Falcone, Munindar P. Singh, Yao-Hua Tan (Eds.): Trust in Cyber-societies, Integrating the Human and Artificial Perspectives [based on a workshop on Deception, Fraud, and Trust in Agent Societies held during the Autonomous Agents Conference in Barcelona, Spain in June 2000]. Springer 2001, ISBN 3-540-43069-5
Contents

2247

C. Pandu Rangan, Cunsheng Ding (Eds.): Progress in Cryptology - INDOCRYPT 2001, Second International Conference on Cryptology in India, Chennai, India, December 16-20, 2001, Proceedings. Springer 2001, ISBN 3-540-43010-5
Contents

2248

Colin Boyd (Ed.): Advances in Cryptology - ASIACRYPT 2001, 7th International Conference on the Theory and Application of Cryptology and Information Security, Gold Coast, Australia, December 9-13, 2001, Proceedings. Springer 2001, ISBN 3-540-42987-5
Contents

2249

Khaled Nagi: Transactional Agents: Towards a Robust Multi-Agent System. Lecture Notes in Computer Science Vol. 2249 Springer 2001, ISBN 3-540-43046-6
Contents

2250

Robert Nieuwenhuis, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Springer 2001, ISBN 3-540-42957-3
Contents

2251

Yuan Yan Tang, M. Victor Wickerhauser, Pong Chi Yuen, Chun Hung Li (Eds.): Wavelet Analysis and Its Applications, Second International Conference, WAA 2001, Hong Kong, China, December 18-20, 2001, Proceedings. Springer 2001, ISBN 3-540-43034-2
Contents

2252

Jiming Liu, Pong Chi Yuen, Chun Hung Li, Joseph Kee-Yin Ng, Toru Ishida (Eds.): Active Media Technology, 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001, Proceedings. Springer 2001, ISBN 3-540-43035-0
Contents

2253

Takao Terano, Toyoaki Nishida, Akira Namatame, Shusaku Tsumoto, Yukio Ohsawa, Takashi Washio (Eds.): New Frontiers in Artificial Intelligence, Joint JSAI 2001 Workshop Post-Proceedings. Springer 2001, ISBN 3-540-43070-9
Contents

2254

Murray Reed Little, Laurence Nigay (Eds.): Engineering for Human-Computer Interaction, 8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001, Revised Papers. Springer 2001, ISBN 3-540-43044-X
Contents

2255

John C. Dean, Andrée Gravel (Eds.): COTS-Based Software Systems, First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings. Springer 2002, ISBN 3-540-43100-4
Contents

2256

Markus Stumptner, Dan Corbett, Michael J. Brooks (Eds.): AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings. Springer 2001, ISBN 3-540-42960-3
Contents

2257

Shriram Krishnamurthi, C. R. Ramakrishnan (Eds.): Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings. Springer 2002, ISBN 3-540-43092-X
Contents

2258

Pavel Brazdil, Alípio Jorge (Eds.): Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings. Springer 2001, ISBN 3-540-43030-X
Contents

2259

Serge Vaudenay, Amr M. Youssef (Eds.): Selected Areas in Cryptography, 8th Annual International Workshop, SAC 2001 Toronto, Ontario, Canada, August 16-17, 2001, Revised Papers. Springer 2001, ISBN 3-540-43066-0
Contents

2260

Bahram Honary (Ed.): Cryptography and Coding, 8th IMA International Conference, Cirencester, UK, December 17-19, 2001, Proceedings. Springer 2001, ISBN 3-540-43026-1
Contents

2261

Felix Naumann: Quality-Driven Query Answering for Integrated Information Systems. Lecture Notes in Computer Science Vol. 2261 Springer 2002, ISBN 3-540-43349-X
Contents

2262

Peter Müller: Modular Specification and Verification of Object-Oriented Programs. Lecture Notes in Computer Science Vol. 2262 Springer 2002, ISBN 3-540-43167-5
Contents

2263

Tony Clark, Jos Warmer (Eds.): Object Modeling with the OCL, The Rationale behind the Object Constraint Language. Springer 2002, ISBN 3-540-43169-1
Contents

2264

Kathleen Steinhöfel (Ed.): Stochastic Algorithms: Foundations and Applications, International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001, Proceedings. Springer 2001, ISBN 3-540-43025-3
Contents

2265

Petra Mutzel, Michael Jünger, Sebastian Leipert (Eds.): Graph Drawing, 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers. Springer 2002, ISBN 3-540-43309-0
Contents

2266

Siegfried Reich, Manolis Tzagarakis, Paul De Bra (Eds.): Hypermedia: Openness, Structural Awareness, and Adaptivity, International Workshops OHS-7, SC-3, and AH-3, Aarhus, Denmark, August 14-18, 2001. Revised Papers. Springer 2002, ISBN 3-540-43293-0
Contents

2267

Maura Cerioli, Gianna Reggio (Eds.): Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Springer 2001, ISBN 3-540-43159-4
Contents

2268

Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis (Eds.): Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS. Springer 2002, ISBN 3-540-43322-8
Contents

2269

Stephan Diehl (Ed.): Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures. Springer 2002, ISBN 3-540-43323-6
Contents

2270

Matthias Pflanz: On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors. Lecture Notes in Computer Science Vol. 2270 Springer 2002, ISBN 3-540-43318-X
Contents

2271

Bart Preneel (Ed.): Topics in Cryptology - CT-RSA 2002, The Cryptographer's Track at the RSA Conference, 2002, San Jose, CA, USA, February 18-22, 2002, Proceedings. Springer 2002, ISBN 3-540-43224-8
Contents

2272

Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (Eds.): ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings. Springer 2002, ISBN 3-540-43166-7
Contents

2273

Anni Coden, Eric W. Brown, Savitha Srinivasan (Eds.): Information Retrieval Techniques for Speech Applications [this book is based on the workshop "Information Retrieval Techniques for Speech Applications", held as part of the 24th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval in New Orleans, USA, in September 2001]. Springer 2002, ISBN 3-540-43156-X
Contents

2274

David Naccache, Pascal Paillier (Eds.): Public Key Cryptography, 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002, Proceedings. Springer 2002, ISBN 3-540-43168-3
Contents

2275

Nikhil R. Pal, Michio Sugeno (Eds.): Advances in Soft Computing - AFSS 2002, 2002 AFSS International Conference on Fuzzy Systems. Calcutta, India, February 3-6, 2002, Proceedings. Springer 2002, ISBN 3-540-43150-0
Contents

2276

Alexander F. Gelbukh (Ed.): Computational Linguistics and Intelligent Text Processing, Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002, Proceedings. Springer 2002, ISBN 3-540-43219-1
Contents

2277

Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack (Eds.): Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Springer 2002, ISBN 3-540-43287-6
Contents

2278

James A. Foster, Evelyne Lutton, Julian F. Miller, Conor Ryan, Andrea Tettamanzi (Eds.): Genetic Programming, 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002, Proceedings. Springer 2002, ISBN 3-540-43378-3
Contents

2279

Stefano Cagnoni, Jens Gottlieb, Emma Hart, Martin Middendorf, Günther R. Raidl (Eds.): Applications of Evolutionary Computing, EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN, Kinsale, Ireland, April 3-4, 2002, Proceedings. Springer 2002, ISBN 3-540-43432-1
Contents

2280

Joost-Pieter Katoen, Perdita Stevens (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Springer 2002, ISBN 3-540-43419-4
Contents

2281

Setsuo Arikawa, Ayumi Shinohara (Eds.): Progress in Discovery Science, Final Report of the Japanese Discovery Science Project. Springer 2002, ISBN 3-540-43338-4
Contents

2282

Domenico Ursino: Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources: Semi-Automatic Approaches and Tools. Lecture Notes in Computer Science Vol. 2282 Springer 2002, ISBN 3-540-43347-3
Contents

2283

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel: Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Lecture Notes in Computer Science Vol. 2283 Springer 2002, ISBN 3-540-43376-7
Contents

2284

Thomas Eiter, Klaus-Dieter Schewe (Eds.): Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings. Springer 2002, ISBN 3-540-43220-5
Contents

2285

Helmut Alt, Afonso Ferreira (Eds.): STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings. Springer 2002, ISBN 3-540-43283-3
Contents

2286

Sergio Rajsbaum (Ed.): LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings. Springer 2002, ISBN 3-540-43400-3
Contents

2287

Christian S. Jensen, Keith G. Jeffery, Jaroslav Pokorný, Simonas Saltenis, Elisa Bertino, Klemens Böhm, Matthias Jarke (Eds.): Advances in Database Technology - EDBT 2002, 8th International Conference on Extending Database Technology, Prague, Czech Republic, March 25-27, Proceedings. Springer 2002, ISBN 3-540-43324-4
Contents

2288

Kwangjo Kim (Ed.): Information Security and Cryptology - ICISC 2001, 4th International Conference Seoul, Korea, December 6-7, 2001, Proceedings. Springer 2002, ISBN 3-540-43319-8
Contents

2289

Claire Tomlin, Mark R. Greenstreet (Eds.): Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings. Springer 2002, ISBN 3-540-43321-X
Contents

2290

Frank van der Linden (Ed.): Software Product-Family Engineering, 4th International Workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001, Revised Papers. Springer 2002, ISBN 3-540-43659-6
Contents

2291

Fabio Crestani, Mark Girolami, C. J. van Rijsbergen (Eds.): Advances in Information Retrieval, 24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25-27, 2002 Proceedings. Springer 2002, ISBN 3-540-43343-0
Contents

2292

Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Mohammad Amin Shokrollahi (Eds.): Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000). Springer 2002, ISBN 3-540-43328-7
Contents

2293

Jochen Renz: Qualitative Spatial Reasoning with Topological Information. Lecture Notes in Computer Science Vol. 2293 Springer 2002, ISBN 3-540-43346-5
Contents

2294

Agostino Cortesi (Ed.): Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Springer 2002, ISBN 3-540-43631-6
Contents

2295

Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (Eds.): Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers. Springer 2002, ISBN 3-540-43453-4
Contents

2296

Barbara Dunin-Keplicz, Edward Nawarecki (Eds.): From Theory to Practice in Multi-Agent Systems, Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers. Springer 2002, ISBN 3-540-43370-8
Contents

2297

Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons (Eds.): Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures. Springer 2002, ISBN 3-540-43613-8
Contents

2298

Ipke Wachsmuth, Timo Sowa (Eds.): Gesture and Sign Languages in Human-Computer Interaction, International Gesture Workshop, GW 2001, London, UK, April 18-20, 2001, Revised Papers. Springer 2002, ISBN 3-540-43678-2
Contents

2299

Hartmut Schmeck, Theo Ungerer, Lars C. Wolf (Eds.): Trends in Network and Pervasive Computing - ARCS 2002, International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002, Proceedings. Springer 2002, ISBN 3-540-43409-7
Contents