Electronic Books

Total Books: 341 - 360 /1405

Computer Aided Systems Theory – EUROCAST 2007

This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...

Computer Aided Systems Theory – EUROCAST 2007

This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...

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; ...

Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...

Computer Network Security

This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...

Computer Network Security

This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...

Computer Safety, Reliability, and Security (vol. # 3688)

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...

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 ...

Computer Science - Theory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings

This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...

Computer Security - ESORICS 2008 : 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings

This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, ...

Computer Supported Cooperative Work and Social Computing : 15th CCF Conference, ChineseCSCW 2020, Shenzhen, China, November 7–9, 2020, Revised Selected Papers

This book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...

Computer Supported Cooperative Work in Design I

The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...

Computer Supported Cooperative Work in Design III

The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...

Computer Supported Cooperative Work in Design III

The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...

Computer Supported Cooperative Work in Design IV : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer ...

Computer Vision - ACCV 2006 (vol. # 3851)

proceedings. ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer ...

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 ...

Computer Vision Metrics : Survey, Taxonomy, and Analysis

Computer Vision Metrics provides an extensive survey and analysis of over 100 current and historical feature description ...

Computer Vision and Internet of Things : Technologies and Applications / Lavanya Sharma, Mukesh Carpenter

Explores the utilization of Internet of Things (IoT) with computer vision and its underlying technologies in different applications ...

Computer and Information Seciences - ISCIS 2006

Thesearetheproceedingsofthe21stInternationalSymposiumonComputerand ? Information Sciences (ISCIS 2006) held in Istanbul, ...

Total Books: 341 - 360 /1405