This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotl......
he LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and elec......
This book constitutes the proceedings of the 5th International Conference on Web Information Systems Engineering, WISE 2004, held in Brisbane, Austral......
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Aus......
Ad hoc and sensor networks are making their way from research to real-world deployments. Body and personal-area networks, intelligent homes, environme......
This book constitutes the joint refereed proceedings of the two workshops held in conjunction with the 5th International Conference on Web Information......
This book constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan ......
This book constitutes the strictly refereed post-proceedings of the 4th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA I......
LNBI is devoted to the publication of state-of-the-art research results in bio-informatics and computational biology, at a high level and in both prin......
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 thoroughly refereed post-proceedings of the 10th International Conference on Computer Aided Systems Theory, EUROCAST 2005, h......
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 contstitutes the refereed proceedings of the European Conference on Web Services, ECOWS 2004, held in Erfurt, Germany, in September 2004. ......
This book constitutes the refereed proceedings of the 12th International Conference on Discrete Geometry for Computer Imagery, DGCI 2005, held in Poit......
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-F......
This book constitutes the refereed proceedings of the 8th International Workshop on Artificial Neural Networks, IWANN 2005, held in Vilanova i la Gelt......
This book constitutes the joint thoroughly refereed post-proceedings of the 9th IFIP International Conference on Engineering for Human Computer Intera......
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 electr......
The four-volume set LNCS 3036, LNCS 3037, LNCS 3038 and LNCS 3039 constitutes the refereed proceedings of the 4th International Conference on Computat......
The four-volume set LNCS 3036, LNCS 3037, LNCS 3038 and LNCS 3039 constitutes the refereed proceedings of the 4th International Conference on Computat......
