This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Continue reading
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Continue reading
This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, ...
Continue reading
This book address issues such as data protection; security protocols; systems; web and network security; privacy; threat ...
Continue reading
This book address issues such as data protection; security protocols; systems; web and network security; privacy; threat ...
Continue reading
This book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
Continue reading
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...
Continue reading
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Continue reading
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Continue reading
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer ...
Continue reading
This book constitutes the refereed proceedings of the 6th International Conference on Computer Vision Systems, ICVS 2008, ...
Continue reading
The purpose of this book is to submit the workshop, “Computer Vision for Biomedical Image Applications: Current Techniques ...
Continue reading
This volume is the proceedings of the 12th International Conference of CAAD Futures, which took place in Sydney, Australia. ...
Continue reading
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. ...
Continue reading
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. ...
Continue reading
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
Conjoint behavioral consultation (CBC) strengthens collaboration between children’s most critical learning environments ...
Continue reading
This book presents a cross-disciplinary insight and policy analysis into the effects of European legal and political frameworks ...
Continue reading
The Symposia have become important, unique - casions in the international calendar of business research. The papers c- lected ...
Continue reading
Covers various aspects of the modern-day management of contact dermatitis. This title also covers irritant and allergic contact ...
Continue reading