Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Weiterlesen
Computer Safety, Reliability, and Security (vol. # 4166)
The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...
Weiterlesen
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Weiterlesen
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Weiterlesen
Computer Vision - ACCV 2006 (vol. # 3852)
ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer vision is ...
Weiterlesen
Computer Vision - ECCV 2002
The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
Weiterlesen
Computer Vision - ECCV 2002
The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
Weiterlesen
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Weiterlesen
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part II
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Weiterlesen
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Weiterlesen
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Weiterlesen
Computer Vision -- ECCV 2006 (vol. # 3953)
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...
Weiterlesen
Computer Vision -- ECCV 2006 (vol. # 3954)
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...
Weiterlesen
Computer Vision in Human-Computer Interaction (vol. # 3766)
Human-Computer Interaction (HCI) lies at the crossroads of many scienti?c areas including arti?cial intelligence, computer ...
Weiterlesen
Computer Vision in Human-Computer Interaction (vol. # 3979)
This volume presents the proceedings of the HCI 2006 Workshop, held in conjunction with ECCV 2006 (European Conference on ...
Weiterlesen
Conservation in the 21st Century: Gorillas as a Case Study
this book is essential reading for primatologists, biologists, and conservationists searching for both a current assessment ...
Weiterlesen
Construction Risk Management Decision Making: Understanding Current Practices / Alex C. Arthur
Effective risk management is a vital component of all successful construction projects. Although quantitative tools for evaluating ...
Weiterlesen
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
Weiterlesen
Contextual Process Digitalization Changing Perspectives – Design Thinking – Value-Led Design
This book presents an overview and step-by-step explanation of process management. It starts with the individual participants’ ...
Weiterlesen
Control Reconfiguration of Dynamical Systems
The book addresses advanced engineering students, developers and researchers that have a specific interest in control reconfiguration. ...
Weiterlesen
