Electronic Books

Accelerator Programming Using Directives

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...

Advances in Information and Computer Security

This book constitutes the refereed proceedings of the 16th International Workshop on Security, IWSEC 2021, held in Tokyo, ...

Architecture of Computing Systems

This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...

Big Data – BigData 2020 : 9th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings

This book constitutes the proceedings of the 9th International Conference on Big Data, BigData 2020, held as part of SCF ...

Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15–19, 2019, Revised Selected Papers

Cloud Computing and Services Science

This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and ...

Cloud Computing, Smart Grid and Innovative Frontiers in Telecommunications : 9th EAI International Conference, CloudComp 2019, and 4th EAI International Conference, SmartGIFT 2019, Beijing, China, December 4-5, 2019, and December 21-22, 2019

This book constitutes the refereed proceedings of the 9thInternational Conference on Cloud Computing, CloudComp 2019, and ...

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

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

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 Algebra in Scientific Computing

This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...

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

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

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

Cryptology and Network Security

This book constitutes the refereed proceedings of the 19th International Conference on Cryptology and Network Security, CANS ...

Data Science : 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020, Taiyuan, China, September 18-21, 2020, Proceedings, Part I

This two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering ...

Data Science and Analytics : 5th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2019, Gurugram, India, November 15–16, 2019, Revised Selected Papers, Part II

This two-volume set (CCIS 1229 and CCIS 1230) constitutes the refereed proceedings of the 5th International Conference on ...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...