Lecture Notes in Computer Science (LNCS), Volumes 2200-2299
2200George 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 ]- 2201Gregory 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 ]
- 2202Antonio 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 ]
- 2203Andrea 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 ]
- 2204Andreas 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 ]
- 2205Daniel 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 ]
- 2206Bernd 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 ]
- 2207Ian 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 ]
- 2208Wiro 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 ]
- 2209Willem 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 ]
- 2210Yong 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 ]
- 2211Thomas 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 ]
- 2212Wenke 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 ]
- 2213Marten 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 ]
- 2214Oliver 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 ]
- 2215Naoki 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 ]
- 2216Ehab 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 ]
- 2217Takashi 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 ]
- 2218Rachid 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 ]
- 2219S. 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. Springer 2001 ISBN 3-540-43038-5
- 2220Chris 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 ]
- 2221Dror 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 ]
- 2222Michael 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 ]
- 2223Peter 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 ]
- 2224Hideko 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 ]
- 2225Naoki 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 ]
- 2226Klaus 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 ]
- 2227Serdar 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 ]
- 2228Burkhard 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 ]
- 2229Sihan 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 ]
- 2230Toivo 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 ]
- 2231Alessandro Pasetti: Software Frameworks and Embedded Control Systems. Springer 2002 ISBN 3-540-43189-6
- 2232Ludger 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 ]
- 2233Jon 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 ]
- 2234Leszek 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 ]
- 2235Cristian 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 ]
- 2236Khalil 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 ]
- 2237Philippe 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 ]
- 2238Gregory 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 ]
- 2239Toby 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 ]
- 2240Gian 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 ]
- 2241Michael 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 ]
- 2242Craig 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 ]
- 2243Gilles 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 ]
- 2244Dines 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 ]
- 2245Ramesh 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 ]
- 2246Rino 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 ]
- 2247C. 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 ]
- 2248Colin 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 ]
- 2249Khaled Nagi: Transactional Agents: Towards a Robust Multi-Agent System. Springer 2001 ISBN 3-540-43046-6
- 2250Robert 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 ]
- 2251Yuan 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 ]
- 2252Jiming 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 ]
- 2253Takao 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 ]
- 2254Murray 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 ]
- 2255John 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 ]
- 2256Markus 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 ]
- 2257Shriram 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 ]
- 2258Pavel 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 ]
- 2259Serge 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 ]
- 2260Bahram Honary (Ed.): Cryptography and Coding, 8th IMA International Conference, Cirencester, UK, December 17-19, 2001, Proceedings. Springer 2001 ISBN 3-540-43026-1 [ contents ]
- 2261Felix Naumann: Quality-Driven Query Answering for Integrated Information Systems. Springer 2002 ISBN 3-540-43349-X
- 2262Peter Müller: Modular Specification and Verification of Object-Oriented Programs. Springer 2002 ISBN 3-540-43167-5
- 2263Tony Clark, Jos Warmer (Eds.): Object Modeling with the OCL, The Rationale behind the Object Constraint Language. Springer 2002 ISBN 3-540-43169-1 [ contents ]
- 2264Kathleen 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 ]
- 2265Petra 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 ]
- 2266Siegfried 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 ]
- 2267Maura 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 ]
- 2268Ed 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 ]
- 2269Stephan Diehl (Ed.): Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures. Springer 2002 ISBN 3-540-43323-6 [ contents ]
- 2270Matthias Pflanz: On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors. Springer 2002 ISBN 3-540-43318-X
- 2271Bart 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 ]
- 2272Didier 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 ]
- 2273Anni 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 ]
- 2274David 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 ]
- 2275Nikhil 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 ]
- 2276Alexander 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 ]
- 2277Paul 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 ]
- 2278James 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 ]
- 2279Stefano 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 ]
- 2280Joost-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 ]
- 2281Setsuo Arikawa, Ayumi Shinohara (Eds.): Progress in Discovery Science, Final Report of the Japanese Discovery Science Project. Springer 2002 ISBN 3-540-43338-4 [ contents ]
- 2282Domenico Ursino: Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources: Semi-Automatic Approaches and Tools. Springer 2002 ISBN 3-540-43347-3
- 2283Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel: Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Springer 2002 ISBN 3-540-43376-7
- 2284Thomas 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 ]
- 2285Helmut 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 ]
- 2286Sergio 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 ]
- 2287Christian 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 ]
- 2288Kwangjo 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 ]
- 2289Claire 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 ]
- 2290Frank 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 ]
- 2291Fabio 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 ]
- 2292Gholamreza 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 ]
- 2293Jochen Renz: Qualitative Spatial Reasoning with Topological Information. Springer 2002 ISBN 3-540-43346-5
- 2294Agostino 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 ]
- 2295Werner 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 ]
- 2296Barbara 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 ]
- 2297Roland 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 ]
- 2298Ipke 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 ]
- 2299Hartmut 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 ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team