The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيدThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيدThis volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
اقرأ المزيدThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
اقرأ المزيدThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. ...
اقرأ المزيدThis book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
اقرأ المزيدThis book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
اقرأ المزيدThis book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
اقرأ المزيدThis book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
اقرأ المزيدCooperation in Wireless Networks: Principles and Applications covers the underlying principles of cooperative techniques ...
اقرأ المزيدThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
اقرأ المزيدConstitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design ...
اقرأ المزيدBuild and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. ...
اقرأ المزيدThis book covers the study of computational methods, computer arithmetic algorithms, and design improvement techniques needed ...
اقرأ المزيدConstitutes the refereed proceedings of the 7th International Workshop on Cryptographic Hardware and Embedded Systems, CHES ...
اقرأ المزيدThese are the proceedings of the Eighth Workshop on Cryptographic Hardware and Embedded Systems (CHES 2006) held in Yokohama, ...
اقرأ المزيد