Electronic Books

Total Books: 41 - 60 /249

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

Collaboration Technologies and Social Computing : 26th International Conference, CollabTech 2020, Tartu, Estonia, September 8–11, 2020, Proceedings

This book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, ...

Command-Line Rust: A Project-Based Primer for Writing Rust CLIs / Ken Youens-Clark

Rather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program ...

Communicating, Networking: Interacting : The International Year of Global Understanding - IYGU

This book illustrates the benefits to be gained from digitally networked communication for health, education and transitioning ...

Communicating, Networking: Interacting : The International Year of Global Understanding - IYGU

illustrates the benefits to be gained from digitally networked communication for health, education and transitioning economies ...

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 : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

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 And Computing Technologies In Agriculture, Volume I : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Computer And Computing Technologies In Agriculture, Volume II : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

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 Vision and Graphics

This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...

Computing Science, Communication and Security

This book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...

Computing Science, Communication and Security

This book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...

Total Books: 41 - 60 /249