Electronic Books

Total Books: 101 - 120 /421

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Computer Aided Verification (vol. # 3576)

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...

Computer Algebra in Scientific Computing

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...

Computer Organization and Design : The hardwrae /software interface / David A. Patterson, John L. Hennessy

Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational ...

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 Science -- Theory and Applications

This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...

Computer Science – Theory and Applications

This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...

Computer Science – Theory and Applications

This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...

Computer Security – ESORICS 2006

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

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

Contributions to Ubiquitous Computing

This book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems ...

Cooperation in Wireless Networks: Principles and Applications

Cooperation in Wireless Networks: Principles and Applications covers the underlying principles of cooperative techniques ...

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

Correct Hardware Design and Verification Methods

Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design ...

Creating Cool MINDSTORMS® NXT Robots

Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. ...

Creating Web-based Laboratories

Remote web-based experimentation, enabling students and researchers to access the laboratory anytime via the Internet, is ...

Total Books: 101 - 120 /421