The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
اقرأ المزيدThe conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...
اقرأ المزيدCoverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
اقرأ المزيدACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer vision is ...
اقرأ المزيدThe privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
اقرأ المزيدThe privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
اقرأ المزيدThe four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
اقرأ المزيدThe four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
اقرأ المزيدThe four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
اقرأ المزيدThe four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
اقرأ المزيدConstitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...
اقرأ المزيدConstitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...
اقرأ المزيدHuman-Computer Interaction (HCI) lies at the crossroads of many scienti?c areas including arti?cial intelligence, computer ...
اقرأ المزيدThis volume presents the proceedings of the HCI 2006 Workshop, held in conjunction with ECCV 2006 (European Conference on ...
اقرأ المزيدthis book is essential reading for primatologists, biologists, and conservationists searching for both a current assessment ...
اقرأ المزيدEffective risk management is a vital component of all successful construction projects. Although quantitative tools for evaluating ...
اقرأ المزيدThis book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
اقرأ المزيدThis book presents an overview and step-by-step explanation of process management. It starts with the individual participants’ ...
اقرأ المزيدThe book addresses advanced engineering students, developers and researchers that have a specific interest in control reconfiguration. ...
اقرأ المزيد