CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد
Certification and Security in Inter-Organizational E-Services
This collection of papers offers real-life application experiences, research results and methodological proposals of direct ...
اقرأ المزيد
Cisco Networks : Engineers' Handbook of Routing, Switching, and Security with IOS, NX-OS, and ASA / Chris Carthern, William Wilson, Noel Rivera
Overviews of the basic knowledge and skills needed by CCNA and CCNP exam takers. Prior familiarity with Cisco routing and ...
اقرأ المزيد
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, ...
اقرأ المزيد
Complex Dynamics in Communication Networks
Computer and communication networks are among society's most important infrastructures. The internet, in particular, is ...
اقرأ المزيد
Computational Collective Intelligence : 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 – December 3, 2020, Proceedings
This volume constitutes the refereed proceedings of the 12th International Conference on Computational Collective Intelligence, ...
اقرأ المزيد
Computational Intelligence and Security (vol. # 3801)
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on ...
اقرأ المزيد
Computational Intelligence and Security (vol. # 3802)
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on ...
اقرأ المزيد
Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation : 4th International Conference, ICC3 2019, Coimbatore, India, December 19–21, 2019, Revised Selected Papers
This book constitutes the proceedings of the 4th International Conference on Computational Intelligence, Cyber Security, ...
اقرأ المزيد
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 Network Security
As society becomes increasingly dependent on computers and computer networks, computer problems continue to rise in number. ...
اقرأ المزيد
Computer Network Security (vol. # 3685)
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...
اقرأ المزيد
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
اقرأ المزيد
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, ...
اقرأ المزيد
Computer Security - ESORICS 2005
These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security ...
اقرأ المزيد
Computer Security - ESORICS 2008 : 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, ...
اقرأ المزيد
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 ...
اقرأ المزيد
