Gabriele Kern-Isberner, Wilhelm Rödder, Friedhelm Kulmann (Eds.):
Conditionals, Information, and Inference, International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers.
Springer 2005, ISBN 978-3-540-25332-7 Contents
3302
Wei-Ngan Chin (Ed.):
Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings.
Springer 2004, ISBN 3-540-23724-0 Contents
3303
Jesús A. López, Emilio Benfenati, Werner Dubitzky (Eds.):
Knowledge Exploration in Life Science Informatics, International Symposium,KELSI 2004, Milan, Italy, November 25-26, 2004, Proceedings.
Springer 2004, ISBN 3-540-23927-8 Contents
3304
Ingemar J. Cox, Ton Kalker, Heung-Kyu Lee (Eds.):
Digital Watermarking, Third InternationalWorkshop, IWDW 2004, Seoul, SouthKorea, October 30 - November 1, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-24839-0 Contents
3305
Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra (Eds.):
Cellular Automata, 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004, Proceedings.
Springer 2004, ISBN 3-540-23596-5 Contents
Jim Davies, Wolfram Schulte, Michael Barnett (Eds.):
Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings.
Springer 2004, ISBN 3-540-23841-7 Contents
3309
Chi-Hung Chi, Kwok-Yan Lam (Eds.):
Content Computing, Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004, Proceedings.
Springer 2004, ISBN 3-540-23898-0 Contents
3310
Uffe Kock Wiil (Ed.):
Computer Music Modeling and Retrieval: Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers.
Springer 2005, ISBN 3-540-24458-1 Contents
3311
Vincent Roca, Franck Rousseau (Eds.):
Interactive Multimedia and Next Generation Networks: Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 2004. Proceedings.
Springer 2004, ISBN 3-540-23928-6 Contents
3312
Alan J. Hu, Andrew K. Martin (Eds.):
Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings.
Springer 2004, ISBN 3-540-23738-0 Contents
Jun Zhang, Ji-Huan He, Yuxi Fu (Eds.):
Computational and Information Science, First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings.
Springer 2004, ISBN 3-540-24127-2 Contents
Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu (Eds.):
Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers.
Springer 2004, ISBN 3-540-24318-6 Contents
3318
Eleazar Eskin, Christopher T. Workman (Eds.):
Regulatory Genomics, RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-24456-5 Contents
3319
Daniel Amyot, Alan W. Williams (Eds.):
System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-24561-8 Contents
Michael J. Maher (Ed.):
Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings.
Springer 2004, ISBN 3-540-24087-X Contents
3322
Reinhard Klette, Jovisa D. Zunic (Eds.):
Combinatorial Image Analysis, 10th InternationalWorkshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings.
Springer 2004, ISBN 3-540-23942-1 Contents
3323
Grigoris Antoniou, Harold Boley (Eds.):
Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings.
Springer 2004, ISBN 3-540-23842-5 Contents
3324
Ming-Chien Shan, Umeshwar Dayal, Meichun Hsu (Eds.):
Technologies for E-Services, 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-25049-2 Contents
3325
Chae Hoon Lim, Moti Yung (Eds.):
Information Security Applications, 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers.
Springer 2004, ISBN 3-540-24015-2 Contents
Yong Shi, Weixuan Xu, Zhengxin Chen (Eds.):
Data Mining and Knowledge Management, Chinese Academy of Sciences Symposium, CASDMKM 2004, Beijing, China, July 12-14, 2004, Revised Papers.
Springer 2004, ISBN 3-540-23987-1 Contents
3328
Kamal Lodaya, Meena Mahajan (Eds.):
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings.
Springer 2004, ISBN 3-540-24058-6 Contents
3329
Pil Joong Lee (Ed.):
Advances in Cryptology - ASIACRYPT 2004, 10th International Conference on the Theory and Application of Cryptology and Information Security, Jeju Island, Korea, December 5-9, 2004, Proceedings.
Springer 2004, ISBN 3-540-23975-8 Contents
3330
Jin Akiyama, Edy Tri Baskoro, Mikio Kano (Eds.):
Combinatorial Geometry and Graph Theory, Indonesia-Japan Joint Conference,IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers.
Springer 2005, ISBN 3-540-24401-8 Contents
3331
Kiyoharu Aizawa, Yuichi Nakamura, Shin'ichi Satoh (Eds.):
Advances in Multimedia Information Processing - PCM 2004, 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part I.
Springer 2004, ISBN 3-540-23974-X Contents
3332
Kiyoharu Aizawa, Yuichi Nakamura, Shin'ichi Satoh (Eds.):
Advances in Multimedia Information Processing - PCM 2004, 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part II.
Springer 2004, ISBN 3-540-23977-4 Contents
3333
Kiyoharu Aizawa, Yuichi Nakamura, Shin'ichi Satoh (Eds.):
Advances in Multimedia Information Processing - PCM 2004, 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part III.
Springer 2004, ISBN 3-540-23985-5 Contents
3334
Zhaoneng Chen, Hsinchun Chen, Qihao Miao, Yuxi Fu, Edward A. Fox, Ee-Peng Lim (Eds.):
Digital Libraries: International Collaboration and Cross-Fertilization, 7th International Conference on Asian Digital Libraries, ICADL 2004, Shanghai, China, December 13-17, 2004, Proceedings.
Springer 2004, ISBN 3-540-24030-6 Contents
3335
Miroslaw Malek, Manfred Reitenspieß, Jörg Kaiser (Eds.):
Service Availability, First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-24420-4 Contents
3336
Dimitris Karagiannis, Ulrich Reimer (Eds.):
Practical Aspects of Knowledge Management, 5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings.
Springer 2004, ISBN 3-540-24088-8 Contents
Stan Z. Li, Jian-Huang Lai, Tieniu Tan, Guo-Can Feng, Yangsheng Wang (Eds.):
Advances in Biometric Person Authentication, 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004, Proceedings.
Springer 2004, ISBN 3-540-24029-2 Contents
3339
Geoffrey I. Webb, Xinghuo Yu (Eds.):
AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings.
Springer 2004, ISBN 3-540-24059-4 Contents
3340
Cristian Calude, Elena Calude, Michael J. Dinneen (Eds.):
Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings.
Springer 2004, ISBN 3-540-24014-4 Contents
3341
Rudolf Fleischer, Gerhard Trippen (Eds.):
Algorithms and Computation, 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings.
Springer 2004, ISBN 3-540-24131-0 Contents
3342
Erol Sahin, William M. Spears (Eds.):
Swarm Robotics, SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-24296-1 Contents
Jacques Malenfant, Bjarte M. Østvold (Eds.):
Object-Oriented Technology: ECOOP 2004 Workshop Reader, ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports.
Springer 2005, ISBN 3-540-23988-X Contents
3345
Yang Cai (Ed.):
Ambient Intelligence for Scientific Discovery - Foundations, Theories, andSystems [outcome of the SIGCHI Workshop, Vienna, April 25, 2004].
Springer 2005, ISBN 3-540-24466-2,3-540-23356-3 Contents
R. K. Ghosh, Hrushikesha Mohanty (Eds.):
Distributed Computing and Internet Technology, First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings.
Springer 2004, ISBN 3-540-24075-6 Contents
3348
Anne Canteaut, Kapalee Viswanathan (Eds.):
Progress in Cryptology - INDOCRYPT 2004, 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004, Proceedings.
Springer 2004, ISBN 3-540-24130-2 Contents
3349
Barbara M. Chapman (Ed.):
Shared Memory Parallel Programming with OpenMP, 5th International Workshopon OpenMP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004,Revised Selected Papers.
Springer 2005, ISBN 3-540-24560-X Contents
3350
Manuel V. Hermenegildo, Daniel Cabeza (Eds.):
Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings.
Springer 2005, ISBN 3-540-24362-3 Contents
3351
Giuseppe Persiano, Roberto Solis-Oba (Eds.):
Approximation and Online Algorithms, Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-24574-X Contents
3352
Carlo Blundo, Stelvio Cimato (Eds.):
Security in Communication Networks, 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-24301-1 Contents
3353
Juraj Hromkovic, Manfred Nagl, Bernhard Westfechtel (Eds.):
Graph-Theoretic Concepts in Computer Science, 30th International Workshop,WG 2004, Bad Honnef, Germany, June 21-23, 2004, Revised Papers.
Springer 2004, ISBN 3-540-24132-9 Contents
3354
Maurice Margenstern (Ed.):
Machines, Computations, and Universality, 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-25261-4 Contents
3355
Roderick Murray-Smith, Robert Shorten (Eds.):
Switching and Learning in Feedback Systems, European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers.
Springer 2005, ISBN 3-540-24457-3 Contents
3356
Gautam Das, Ved Prakash Gulati (Eds.):
Intelligent Information Technology, 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings.
Springer 2004, ISBN 3-540-24126-4 Contents
3357
Helena Handschuh, M. Anwar Hasan (Eds.):
Selected Areas in Cryptography, 11th International Workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers.
Springer 2004, ISBN 3-540-24327-5 Contents
Gunter Grieser, Yuzuru Tanaka (Eds.):
Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers.
Springer 2004, ISBN 3-540-24465-4 Contents
Thomas Eiter, Leonid Libkin (Eds.):
Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings.
Springer 2005, ISBN 3-540-24288-0 Contents
Iyad Rahwan, Pavlos Moraitis, Chris Reed (Eds.):
Argumentation in Multi-Agent Systems, First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers.
Springer 2005, ISBN 3-540-24526-X Contents
3367
Wee Siong Ng, Beng Chin Ooi, Aris M. Ouksel, Claudio Sartori (Eds.):
Databases, Information Systems, and Peer-to-Peer Computing - Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-25233-9 Contents
3368
Lucas Paletta, John K. Tsotsos, Erich Rome, Glyn W. Humphreys (Eds.):
Attention and Performance in Computational Vision, Second International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers.
Springer 2004, ISBN 3-540-24421-2 Contents
3369
V. Richard Benjamins, Pompeu Casanovas, Joost Breuker, Aldo Gangemi (Eds.):
Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications [outcome of the Workshop on Legal Ontologies and Web-Based Legal Information Management, June 28, 2003, Edinburgh, UK & International Seminar on Law and the Semantic Web, November 20-21, 2003, Barcelona, Spain].
2005, ISBN 3-540-25063-8 Contents
3370
Akihiko Konagaya, Kenji Satou (Eds.):
Grid Computing in Life Science, First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31 - June 1, 2004, Revised Selected andInvited Papers.
Springer 2005, ISBN 3-540-25208-8 Contents
3371
Mike Barley, Nikola K. Kasabov (Eds.):
Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-25340-8 Contents
3372
Christoph Bussler, Val Tannen, Irini Fundulaki (Eds.):
Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers.
2005, ISBN 3-540-24576-6 Contents
3373
Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa (Eds.):
Advanced Encryption Standard - AES, 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers.
Springer 2005, ISBN 3-540-26557-0 Contents
3374
Danny Weyns, H. Van Dyke Parunak, Fabien Michel (Eds.):
Environments for Multi-Agent Systems, First International Workshop, E4MAS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-24575-8 Contents
Alfred Menezes (Ed.):
Topics in Cryptology - CT-RSA 2005, The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings.
Springer 2005, ISBN 3-540-24399-2 Contents
3377
Bart Goethals, Arno Siebes (Eds.):
KDID 2004, Knowledge Discovery in Inductive Databases, Proceedings of the Third International Workshop on Knowledge Discovery inInductive Databases, Pisa, Italy, September 20, 2004, Revised Selected and Invited Papers.
Springer 2005, ISBN 3-540-25082-4 Contents
3378
Joe Kilian (Ed.):
Theory of Cryptography, Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005, Proceedings.
Springer 2005, ISBN 3-540-24573-1 Contents
3379
Matthias Hemmje, Claudia Niederée, Thomas Risse (Eds.):
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments, Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday.
Springer 2005, ISBN 3-540-24551-0 Contents
3380
Corrado Priami (Ed.):
Transactions on Computational Systems Biology I.
Springer 2005, ISBN 3-540-25422-6 Contents
3381
Peter Vojtás, Mária Bieliková, Bernadette Charron-Bost, Ondrej Sýkora (Eds.):
SOFSEM 2005: Theory and Practice of Computer Science, 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings.
Springer 2005, ISBN 3-540-24302-X Contents
3382
James Odell, Paolo Giorgini, Jörg P. Müller (Eds.):
Agent-Oriented Software Engineering V, 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers.
Springer 2004, ISBN 3-540-24286-4 Contents
3383
János Pach (Ed.):
Graph Drawing, 12th International Symposium, GD 2004, New York, NY, USA, September 29 - October 2, 2004, Revised Selected Papers.
Springer 2004, ISBN 3-540-24528-6 Contents
3384
Claudio Ferretti, Giancarlo Mauri, Claudio Zandron (Eds.):
DNA Computing, 10th International Workshop on DNA Computing, DNA 10, Milan, Italy, June 7-10, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-26174-5 Contents
3385
Radhia Cousot (Ed.):
Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings.
Springer 2005, ISBN 3-540-24297-X Contents
3386
Serge Vaudenay (Ed.):
Public Key Cryptography - PKC 2005, 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005, Proceedings.
Springer 2005, ISBN 3-540-24454-9 Contents
3387
Jorge Cardoso, Amit P. Sheth (Eds.):
Semantic Web Services and Web Process Composition, First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers.
Springer 2004, ISBN 3-540-24328-3 Contents
3388
Jens Lagergren (Ed.):
Comparative Genomics, RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-24455-7 Contents
3389
Peter Van Roy (Ed.):
Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers.
Springer 2005, ISBN 3-540-25079-4 Contents
Cheeha Kim (Ed.):
Information Networking, Convergence in Broadband and Mobile Networking, International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005, Proceedings.
Springer 2005, ISBN 3-540-24467-0 Contents
3392
Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (Eds.):
Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-25560-5 Contents
Jens Grabowski, Brian Nielsen (Eds.):
Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-25109-X Contents
3396
Rogier M. van Eijk, Marc-Philippe Huget, Frank Dignum (Eds.):
Agent Communication, International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers.
Springer 2005, ISBN 3-540-25015-8 Contents
3397
Tag Gon Kim (Ed.):
Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-24476-X Contents
3398
Doo-Kwon Baik (Ed.):
Systems Modeling and Simulation: Theory and Applications, Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers.
Springer 2005, ISBN 3-540-24477-8 Contents
data released under the ODC-BY 1.0 license
