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