This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lire la suiteThis volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lire la suiteThis volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Lire la suiteThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...
Lire la suiteContains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
Lire la suiteThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lire la suiteThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. ...
Lire la suiteThis book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
Lire la suiteThis book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
Lire la suiteThis book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
Lire la suiteThis book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
Lire la suiteThis book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems ...
Lire la suiteCooperation in Wireless Networks: Principles and Applications covers the underlying principles of cooperative techniques ...
Lire la suiteThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
Lire la suiteConstitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design ...
Lire la suiteBuild and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. ...
Lire la suiteRemote web-based experimentation, enabling students and researchers to access the laboratory anytime via the Internet, is ...
Lire la suite