This book constitutes the thoroughly refereed joint post-proceedings of the 15th International Conference on Applications of Declarative Programming a......
This book constitutes the thoroughly refereed and extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction an......
This book constitutes the refereed proceedings of the 15th International Workshop on Power and Timing Optimization and Simulation, PATMOS 2005, held i......
This book constitutes the refereed proceedings of the Second Asian Applied Computing Conference, AACC 2004, held in Kathmandu, Nepal in October 2004. ......
This book constitutes the refereed proceedings of the 16th European Conference on Machine Learning, ECML 2005, jointly held with PKDD 2005 in Porto, P......
This book constitutes the refereed proceedings of the First International Conference on High-Performance Computing and Communications, HPCC 2005, held......
This book constitutes the refereed proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP 2005, hel......
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations,......
This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS 2005, held at the Certosa di......
This book constitutes the thoroughly refereed post-proceedings of the Second Workshop on Intelligent Techniques in Web Personalization, ITWP 2003, hel......
This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verificati......
This book constitutes the refereed proceedings of the First International Symposium on Computational Life Sciences, CompLife 2005, held in Konstanz, G......
This book constitutes the refereed proceedings of the Third International Conference on Automated Technology for Verificaton and Analysis, ATVA 2005, ......
The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Sea......
The two-volume set LNCS 3749 and LNCS 3750 constitutes the refereed proceedings of the 8th International Conference on Medical Image Computing and Com......
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and ele......
This book constitutes the refereed proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods,......
This book constitutes the thoroughly refereed post-proceedings of the7th International Workshop on Information Hiding, IH 2005, held in Barcelona, Spa......
The two volume set LNCS 3767 and LNCS 3768 constitutes the refereed proceedings of the 6th Pacific Rim Conference on Multimedia, PCM 2005, held in Jej......
This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowiez......
