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