CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite
Certification and Security in Inter-Organizational E-Services
This collection of papers offers real-life application experiences, research results and methodological proposals of direct ...
Lire la suite
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 ...
Lire la suite
Clinical Decision-Making in Oral Medicine : A Concise Guide to Diagnosis and Treatment / Alan Roger Santos-Silva, Márcio Ajudarte Lopes, João Figueira Scarini, Pablo Agustin Vargas, Oslei Paes de Almeida
Accurately diagnosing the myriad of diseases that can affect the mouth, guiding patients correctly, and offering treatment ...
Lire la suite
Cloud Computing and Services Science
This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and ...
Lire la suite
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 ...
Lire la suite
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, ...
Lire la suite
Complex Dynamics in Communication Networks
Computer and communication networks are among society's most important infrastructures. The internet, in particular, is ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
Computer Network Security
As society becomes increasingly dependent on computers and computer networks, computer problems continue to rise in number. ...
Lire la suite
Computer Network Security (vol. # 3685)
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...
Lire la suite
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
Lire la suite
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, ...
Lire la suite
Computer Security - ESORICS 2005
These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security ...
Lire la suite
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, ...
Lire la suite
