Francesca Toni, Paolo Torroni (Eds.):
Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers.
Springer 2006, ISBN 3-540-33996-5 Contents
3901
Patricia M. Hill (Ed.):
Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-32654-5 Contents
3902
Richard Kronland-Martinet, Thierry Voinier, Sølvi Ystad (Eds.):
Computer Music Modeling and Retrieval, Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005, Revised Papers.
Springer 2006, ISBN 3-540-34027-0 Contents
3903
Kefei Chen, Robert H. Deng, Xuejia Lai, Jianying Zhou (Eds.):
Information Security Practice and Experience, Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006, Proceedings.
Springer 2006, ISBN 3-540-33052-6 Contents
3904
Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni (Eds.):
Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers.
Springer 2006, ISBN 3-540-33106-9 Contents
Jens Gottlieb, Günther R. Raidl (Eds.):
Evolutionary Computation in Combinatorial Optimization, 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings.
Springer 2006, ISBN 3-540-33178-6 Contents
Alain Bui, Marc Bui, Thomas Böhme, Herwig Unger (Eds.):
Innovative Internet Community Systems, 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005, Revised Papers.
Springer 2006, ISBN 3-540-33973-6 Contents
Richi Nayak, Mohammed Javeed Zaki (Eds.):
Knowledge Discovery from XML Documents, First International Workshop, KDXD 2006, Singapore, April 9, 2006, Proceedings.
Springer 2006, ISBN 3-540-33180-8 Contents
3916
Jinyan Li, Qiang Yang, Ah-Hwee Tan (Eds.):
Data Mining for Biomedical Applications, PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006, Proceedings.
Springer 2006, ISBN 3-540-33104-2 Contents
Reihaneh Safavi-Naini, Moti Yung (Eds.):
Digital Rights Management: Technologies, Issues, Challenges and Systems, First International Conference, DRMTICS 2005, Sydney, Australia, October 31 - November 2, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-35998-2 Contents
3920
Holger Hermanns, Jens Palsberg (Eds.):
Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings.
Springer 2006, ISBN 3-540-33056-9 Contents
3921
Luca Aceto, Anna Ingólfsdóttir (Eds.):
Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings.
Springer 2006, ISBN 3-540-33045-3 Contents
3922
Luciano Baresi, Reiko Heckel (Eds.):
Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings.
Springer 2006, ISBN 3-540-33093-3 Contents
3923
Alan Mycroft, Andreas Zeller (Eds.):
Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings.
Springer 2006, ISBN 3-540-33050-X Contents
3924
Peter Sestoft (Ed.):
Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings.
Springer 2006, ISBN 3-540-33095-X Contents
3925
Antti Valmari (Ed.):
Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings.
Springer 2006, ISBN 3-540-33102-6 Contents
3926
Wenyin Liu, Josep Lladós (Eds.):
Graphics Recognition. Ten Years Review and Future Perspectives, 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers.
Springer 2006, ISBN 978-3-540-34711-8 Contents
3927
João P. Hespanha, Ashish Tiwari (Eds.):
Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings.
Springer 2006, ISBN 3-540-33170-0 Contents
3928
Josep Domingo-Ferrer, Joachim Posegga, Daniel Schreckling (Eds.):
Smart Card Research and Advanced Applications, 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, Proceedings.
Springer 2006, ISBN 3-540-33311-8 Contents
3929
Wendy MacCaull, Michael Winter, Ivo Düntsch (Eds.):
Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers.
Springer 2006, ISBN 3-540-33339-8 Contents
3930
Daniel S. Yeung, Zhi-Qiang Liu, Xizhao Wang, Hong Yan (Eds.):
Advances in Machine Learning and Cybernetics, 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-33584-6 Contents
3931
Bruno Apolloni, Maria Marinaro, Giuseppe Nicosia, Roberto Tagliaferri (Eds.):
Neural Nets, 16th Italian Workshop on Neural Nets, WIRN 2005, and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-33183-2 Contents
3932
Bamshad Mobasher, Olfa Nasraoui, Bing Liu, Brij M. Masand (Eds.):
Advances in Web Mining and Web Usage Analysis, 6th International Workshop on Knowledge Discovery on the Web, WebKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers.
Springer 2006, ISBN 978-3-540-47127-1 Contents
3933
Francesco Bonchi, Jean-François Boulicaut (Eds.):
Knowledge Discovery in Inductive Databases, 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers.
Springer 2006, ISBN 3-540-33292-8 Contents
Dongho Won, Seungjoo Kim (Eds.):
Information Security and Cryptology - ICISC 2005, 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-33354-1 Contents
Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (Eds.):
Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers.
Springer 2006, ISBN 3-540-35800-5 Contents
Craig Saunders, Marko Grobelnik, Steve R. Gunn, John Shawe-Taylor (Eds.):
Subspace, Latent Structure and Feature Selection, Statistical and Optimization, Perspectives Workshop, SLSFS 2005, Bohinj, Slovenia, February 23-25, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-34137-4 Contents
3941
Stephen W. Gilroy, Michael D. Harrison (Eds.):
Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers.
Springer 2006, ISBN 3-540-34145-5 Contents
Nicolas Guelfi, Anthony Savidis (Eds.):
Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-34063-7 Contents
Masami Hagiya, Philip Wadler (Eds.):
Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings.
Springer 2006, ISBN 3-540-33438-6 Contents
3946
Thomas Roth-Berghofer, Stefan Schulz, David B. Leake (Eds.):
Modeling and Retrieval of Context, Second International Workshop, MRC 2005, Edinburgh, UK, July 31 - August 1, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-33587-0 Contents
3947
Yeh-Ching Chung, José E. Moreira (Eds.):
Advances in Grid and Pervasive Computing, First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings.
Springer 2006, ISBN 3-540-33809-8 Contents
3948
Henrik I. Christensen, Hans-Hellmut Nagel (Eds.):
Cognitive Vision Systems, Sampling the Spectrum of Approaches [based on a Dagstuhl seminar].
Springer 2006, ISBN 978-3-540-33971-7 Contents
3949
F. Acar Savaci (Ed.):
Artificial Intelligence and Neural Networks, 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-36713-6 Contents
3950
Jörg P. Müller, Franco Zambonelli (Eds.):
Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers.
Springer 2006, ISBN 3-540-34097-1 Contents
3951
Ales Leonardis, Horst Bischof, Axel Pinz (Eds.):
Computer Vision - ECCV 2006, 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part I.
Springer 2006, ISBN 3-540-33832-2 Contents
3952
Ales Leonardis, Horst Bischof, Axel Pinz (Eds.):
Computer Vision - ECCV 2006, 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part II.
Springer 2006, ISBN 3-540-33834-9 Contents
3953
Ales Leonardis, Horst Bischof, Axel Pinz (Eds.):
Computer Vision - ECCV 2006, 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III.
Springer 2006, ISBN 3-540-33836-5 Contents
3954
Ales Leonardis, Horst Bischof, Axel Pinz (Eds.):
Computer Vision - ECCV 2006, 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV.
Springer 2006, ISBN 3-540-33838-1 Contents
Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (Eds.):
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-33689-3 Contents
Moti Yung, Yevgeniy Dodis, Aggelos Kiayias, Tal Malkin (Eds.):
Public Key Cryptography - PKC 2006, 9th International Conference on Theory and Practice of Public-Key Cryptography, New York, NY, USA, April 24-26, 2006, Proceedings.
Springer 2006, ISBN 3-540-33851-9 Contents
3959
Jin-yi Cai, S. Barry Cooper, Angsheng Li (Eds.):
Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings.
Springer 2006, ISBN 3-540-34021-1 Contents
Ilyoung Chong, Kenji Kawahara (Eds.):
Information Networking, Advances in Data Communications and Wireless Networks, International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers.
Springer/Springer 2006, ISBN 3-540-48563-5 Contents
Oguz Dikenelli, Marie Pierre Gleizes, Alessandro Ricci (Eds.):
Engineering Societies in the Agents World VI, 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers.
Springer 2006, ISBN 3-540-34451-9 Contents
3964
M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (Eds.):
Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings.
Springer 2006, ISBN 3-540-34184-6 Contents
3965
Marco Bernardo, Alessandro Cimatti (Eds.):
Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures.
Springer 2006, ISBN 978-3-540-34304-2 Contents
3966
Qing Wang, Dietmar Pfahl, David M. Raffo, Paul Wernick (Eds.):
Software Process Change, International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings.
Springer 2006, ISBN 3-540-34199-4 Contents
3967
Dima Grigoriev, John Harrison, Edward A. Hirsch (Eds.):
Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings.
Springer 2006, ISBN 3-540-34166-8 Contents
Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Hujun Yin (Eds.):
Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I.
Springer 2006, ISBN 3-540-34439-X Contents
3972
Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Hujun Yin (Eds.):
Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II.
Springer 2006, ISBN 3-540-34437-3 Contents
3973
Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Hujun Yin (Eds.):
Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III.
Springer 2006, ISBN 3-540-34482-9 Contents
3974
James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer (Eds.):
Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-36321-1 Contents
Fernando Boavida, Thomas Plagemann, Burkhard Stiller, Cédric Westphal, Edmundo Monteiro (Eds.):
NETWORKING 2006 - Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems, 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006, Proceedings.
Springer 2006, ISBN 3-540-34192-7 Contents
3977
Norbert Fuhr, Mounia Lalmas, Saadia Malik, Gabriella Kazai (Eds.):
Advances in XML Information Retrieval and Evaluation, 4th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2005, Dagstuhl Castle, Germany, November 28-30, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-34962-6 Contents
3978
Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi (Eds.):
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers.
Springer 2006, ISBN 3-540-34215-X Contents
Koen Bertels, João M. P. Cardoso, Stamatis Vassiliadis (Eds.):
Reconfigurable Computing: Architectures and Applications, Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers.
Springer 2006 Contents
Mike Hazas, John Krumm, Thomas Strang (Eds.):
Location- and Context-Awareness, Second International Workshop, LoCA 2006, Dublin, Ireland, May 10-11, 2006, Proceedings.
Springer 2006, ISBN 3-540-34150-1 Contents
3988
Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (Eds.):
Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings.
Springer 2006, ISBN 3-540-35466-2 Contents
3989
Jianying Zhou, Moti Yung, Feng Bao (Eds.):
Applied Cryptography and Network Security, 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings.
2006, ISBN 3-540-34703-8 Contents
3990
J. Christopher Beck, Barbara M. Smith (Eds.):
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings.
Springer 2006, ISBN 3-540-34306-7 Contents
Günter Müller (Ed.):
Emerging Trends in Information and Communication Security, International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006, Proceedings.
Springer 2006, ISBN 3-540-34640-6 Contents
3996
Alexander Keller, Jean-Philippe Martin-Flatin (Eds.):
Self-Managed Networks, Systems, and Services, Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006, Proceedings.
Springer 2006, ISBN 3-540-34739-9 Contents
3997
Wolfgang Grieskamp, Carsten Weise (Eds.):
Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers.
Springer 2006, ISBN 3-540-34454-3 Contents
Christian Kop, Günther Fliedl, Heinrich C. Mayr, Elisabeth Métais (Eds.):
Natural Language Processing and Information Systems, 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceeding.
Springer 2006, ISBN 3-540-34616-3 Contents
data released under the ODC-BY 1.0 license
