dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
2231
Alessandro Pasetti: Software Frameworks and Embedded Control Systems. Lecture Notes in Computer Science Vol. 2231 Springer 2002, ISBN 3-540-43189-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
2293
Jochen Renz: Qualitative Spatial Reasoning with Topological Information. Lecture Notes in Computer Science Vol. 2293 Springer 2002, ISBN 3-540-43346-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Fri Mar 12 17:34:37 2010 by Michael Ley (ley@uni-trier.de)