Titlebook: Information and Communication Technologies in Education, Research, and Industrial Applications; 15th International C Vadim Ermolayev,Frédér

ALOOF

书目名称Information and Communication Technologies in Education, Research, and Industrial Applications影响因子(影响力)




书目名称Information and Communication Technologies in Education, Research, and Industrial Applications影响因子(影响力)学科排名




书目名称Information and Communication Technologies in Education, Research, and Industrial Applications网络公开度




书目名称Information and Communication Technologies in Education, Research, and Industrial Applications网络公开度学科排名




书目名称Information and Communication Technologies in Education, Research, and Industrial Applications被引频次




书目名称Information and Communication Technologies in Education, Research, and Industrial Applications被引频次学科排名




书目名称Information and Communication Technologies in Education, Research, and Industrial Applications年度引用




书目名称Information and Communication Technologies in Education, Research, and Industrial Applications年度引用学科排名




书目名称Information and Communication Technologies in Education, Research, and Industrial Applications读者反馈




书目名称Information and Communication Technologies in Education, Research, and Industrial Applications读者反馈学科排名

改正

有恶意

LATER

Expressibility in the Kleene Algebra of Partial Predicates with the Complement Compositionnvestigate the expressibility in the first-order Kleene algebra with predicate complement. The obtained results may be useful for software verification using an extension of the Floyd-Hoare logic for partial pre- and postconditions.

显而易见

他姓手中拿着

Pseudoephedrine

CBC471

1865-0929 es in ICT and IS research; ICT in teaching, learning, and education management; applications of ICT in industrial and public practice..978-3-030-39458-5978-3-030-39459-2Series ISSN 1865-0929 Series E-ISSN 1865-0937

freight

Automated Design of Parallel Programs for Heterogeneous Platforms Using Algebra-Algorithmic Toolsization and uses rewriting rules to transform programs. The application of the approach is illustrated by an example of developing an OpenCL interpolation program used in numerical weather forecasting. The results of the experiment consisting in executing the generated OpenCL program on a graphics processing unit are given.

不如屎壳郎