This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Weiterlesen
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Weiterlesen
This collection of papers offers real-life application experiences, research results and methodological proposals of direct ...
Weiterlesen
Overviews of the basic knowledge and skills needed by CCNA and CCNP exam takers. Prior familiarity with Cisco routing and ...
Weiterlesen
Accurately diagnosing the myriad of diseases that can affect the mouth, guiding patients correctly, and offering treatment ...
Weiterlesen
This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and ...
Weiterlesen
This book constitutes the refereed proceedings of the 9thInternational Conference on Cloud Computing, CloudComp 2019, and ...
Weiterlesen
This book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, ...
Weiterlesen
Computer and communication networks are among society's most important infrastructures. The internet, in particular, is ...
Weiterlesen
This volume constitutes the refereed proceedings of the 12th International Conference on Computational Collective Intelligence, ...
Weiterlesen
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on ...
Weiterlesen
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on ...
Weiterlesen
This book constitutes the proceedings of the 4th International Conference on Computational Intelligence, Cyber Security, ...
Weiterlesen
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Weiterlesen
As society becomes increasingly dependent on computers and computer networks, computer problems continue to rise in number. ...
Weiterlesen
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...
Weiterlesen
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
Weiterlesen
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
Weiterlesen
These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security ...
Weiterlesen
This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, ...
Weiterlesen