Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue reading
Computer Algebra in Scientific Computing
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...
Continue reading
Computer Networking: A Top-Down Approach / James F. Kurose, Keith W. Ross
The text works its way from theapplication layer down toward the physical layer, motivating students by exposing them to ...
Continue reading
Computer Networking: A Top-Down Approach / James Kurose, Keith Ross
The text works its way from the application layer down toward the physical layer, motivating students by exposing them to ...
Continue reading
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
Continue reading
Computer Science – Theory and Applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
Continue reading
Computer Security Principles and Practice / William Stallings & Lawrie Brown
Provides an up-to-date survey of developments in computer security. Central problems that confront security designers and ...
Continue reading
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 ...
Continue reading
Computer Vision and Graphics
This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
Continue reading
Computers Helping People with Special Needs
The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers ...
Continue reading
Computers Helping People with Special Needs
The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers ...
Continue reading
Computing Science, Communication and Security
This book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
Continue reading
Computing Science, Communication and Security
This book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
Continue reading
Cooperative Design, Visualization, and Engineering
This book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, ...
Continue reading
Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
Continue reading
Coordination Models and Languages :22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
Continue reading
Cryptography and Network Security: principles and practices / W. Stallings
Introduces students to the compelling and evolving field of cryptography and network security. In an age of viruses and hackers, ...
Continue reading
Cyber Security 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of the 16th International Annual Conference on Cyber Security, CNCERT 2020, ...
Continue readingCyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20–21, 2021, Revised Selected Papers
This book constitutes the refereed proceedings of the 17th International Annual Conference on Cyber Security, CNCERT 2021, ...
Continue readingCyber Security : Critical Infrastructure Protection / Martti Lehto, Pekka Neittaanmäki
Focus on critical infrastructure protection. The chapters present detailed analysis of the issues and challenges in cyberspace ...
Continue reading
