This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and ...
Lee masThis book constitutes the refereed proceedings of the 9thInternational Conference on Cloud Computing, CloudComp 2019, and ...
Lee masThis book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, ...
Lee masRather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program ...
Lee masThis book illustrates the benefits to be gained from digitally networked communication for health, education and transitioning ...
Lee masillustrates the benefits to be gained from digitally networked communication for health, education and transitioning economies ...
Lee masThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee masThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee masThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee masThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee masThis book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Lee masThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Lee masThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lee masThis book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...
Lee masThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee masThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee masThis book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
Lee masThis book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
Lee masThis book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
Lee masThis book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
Lee mas