Search Results - Panchenko, T.V.
- Showing 1 - 18 results of 18
-
1
-
2
Representing dynamic dimensions in OLAP cubes by Panchenko, T.V.
Published 2015Get full text
Article -
3
Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.
Published 2018Get full text
Article -
4
-
5
-
6
Optical absorption of Bi₁₂SiO₂₀:Sn crystals by Panchenko, T.V., Diachenko, A.A.
Published in Functional Materials (2015)Get full text
Article -
7
-
8
Real-time health monitoring via ECG analysis by Budichenko, V.O., Panchenko, T.V.
Published in Штучний інтелект (2016)Get full text
Article -
9
-
10
-
11
-
12
Contact Center Load Forecasting and Operator Schedule Planning by Chernichenko, K.O., Kapkanets, A.M., Panchenko, T.V.
Published 2018Get full text
Article -
13
-
14
-
15
-
16
-
17
-
18
Search Tools:
Related Subjects
54-19
544-971
Characterization and properties
IPCL
UDC 662.769.21
composition-nominative languages
concurrent program
condenser
cooling pipes
corrosion
formal verification
interleaving
safety property proof
software correctness
steam turbine
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
конденсатор
коректність програмного забезпечення
корозія
корректность программного обеспечения
коррозия
охлаждающие трубы
охолоджуючі труби
параллельная программа
парова турбіна
паровая турбина
формальна верифікація