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影響因子(影響力)學(xué)科排名




書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications網(wǎng)絡(luò)公開度




書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications被引頻次




書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications被引頻次學(xué)科排名




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




書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications年度引用學(xué)科排名




書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications讀者反饋




書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications讀者反饋學(xué)科排名

改正

有惡意

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.

不如屎殼郎