Suchergebnisse - Panchenko, T.V.
- Treffer 1 - 17 von 17
-
1
-
2
Representing dynamic dimensions in OLAP cubes von Panchenko, T.V.
Veröffentlicht 2015Volltext
Artikel -
3
Equivalence of two parallel execution systems von Panchenko, T.V., Fabunmi, S.
Veröffentlicht 2018Volltext
Artikel -
4
-
5
Optical absorption of Bi₁₂SiO₂₀:Sn crystals von Panchenko, T.V., Diachenko, A.A.
Veröffentlicht in Functional Materials (2015)Volltext
Artikel -
6
Optical and thermal reducing of photochromic effect in Al doped Bi₁₂SiO₂₀ crystals von Dyachenko, A.A., Panchenko, T.V.
Veröffentlicht in Functional Materials (2016)Volltext
Artikel -
7
Real-time health monitoring via ECG analysis von Budichenko, V.O., Panchenko, T.V.
Veröffentlicht in Штучний інтелект (2016)Volltext
Artikel -
8
Thermally induced relaxation of optical absorption and photochromic effect in Bi₁₂SiO₂₀:Cu crystals von Panchenko, T.V., Strelets, K.Yu.
Veröffentlicht in Functional Materials (2007)Volltext
Artikel -
9
-
10
-
11
Contact Center Load Forecasting and Operator Schedule Planning von Chernichenko, K.O., Kapkanets, A.M., Panchenko, T.V.
Veröffentlicht 2018Volltext
Artikel -
12
-
13
Correctness Property Proof for the Banking System for Money Transfer Payments von Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.
Veröffentlicht 2018Volltext
Artikel -
14
Features of data processing and storage using the virtual file system von Popereshnyak, S.V., Panchenko, S.V., Fedorchenko, O.D., Ilyin, S.A.
Veröffentlicht 2024Volltext
Artikel -
15
-
16
-
17
Suchwerkzeuge:
Ähnliche Schlagworte
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
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
конденсатор
коректність програмного забезпечення
корозія
корректность программного обеспечения
коррозия
охлаждающие трубы
охолоджуючі труби
параллельная программа
парова турбіна
паровая турбина
формальна верифікація