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