శోధన ఫలితాలు

She was a minor double, a perfect double that a young lady had arranged to accompany him. She could suppress her feelings for him, but how could someone as astute as him remain in the dark?... మరిన్ని

She was a minor double, a perfect double that a young lady had arranged to accompany him. She could suppress her feelings for him, but how could someone as astute as him remain in the dark?... మరిన్ని

She was a minor double, a perfect double that a young lady had arranged to accompany him. She could suppress her feelings for him, but how could someone as astute as him remain in the dark?... మరిన్ని

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submiss... మరిన్ని

This book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi’an, China, in October 2020, but was held virtually instead. The 19 full papers and 1 short paper presente... మరిన్ని

This book highlights the mathematical models and solutions of the generalized dynamics of soft-matter quasicrystals (SMQ) and introduces possible applications of the theory and methods. Based on the theory of quasiperiodic symmetry and symmetry breaking, the book treats the dynamics of individual qu... మరిన్ని