Результати пошуку - Panchenko, S.V.
- Показ 1 - 18 результатів із 18
-
1
Rapid vs. Qualitative Development за авторством Panchenko, T.V.
Опубліковано 2025Отримати повний текст
Стаття -
2
Representing dynamic dimensions in OLAP cubes за авторством Panchenko, T.V.
Опубліковано 2015Отримати повний текст
Стаття -
3
Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.
Опубліковано 2018Отримати повний текст
Стаття -
4
-
5
Photochromic effect and photoconductivity in undoped and doped Bi₁₂SiO₂₀ crystals за авторством Panchenko, T.V., Strelets, K.Yu.
Опубліковано в: Condensed Matter Physics (2007)Отримати повний текст
Стаття -
6
Optical absorption of Bi₁₂SiO₂₀:Sn crystals за авторством Panchenko, T.V., Diachenko, A.A.
Опубліковано в: Functional Materials (2015)Отримати повний текст
Стаття -
7
Optical and thermal reducing of photochromic effect in Al doped Bi₁₂SiO₂₀ crystals за авторством Dyachenko, A.A., Panchenko, T.V.
Опубліковано в: Functional Materials (2016)Отримати повний текст
Стаття -
8
Real-time health monitoring via ECG analysis за авторством Budichenko, V.O., Panchenko, T.V.
Опубліковано в: Штучний інтелект (2016)Отримати повний текст
Стаття -
9
Thermally induced relaxation of optical absorption and photochromic effect in Bi₁₂SiO₂₀:Cu crystals за авторством Panchenko, T.V., Strelets, K.Yu.
Опубліковано в: Functional Materials (2007)Отримати повний текст
Стаття -
10
On the nature of magnetic anomalies over the bodies of ore gabbroides of the Korosten pluton (Ukrainian Shield) за авторством Zeigelman, M. S., Mikheeva, T. L., Panchenko, N. V.
Опубліковано 2011Отримати повний текст
Стаття -
11
-
12
Contact Center Load Forecasting and Operator Schedule Planning за авторством Chernichenko, K.O., Kapkanets, A.M., Panchenko, T.V.
Опубліковано 2018Отримати повний текст
Стаття -
13
-
14
Correctness Property Proof for the Banking System for Money Transfer Payments за авторством Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.
Опубліковано 2018Отримати повний текст
Стаття -
15
Features of data processing and storage using the virtual file system за авторством Popereshnyak, S.V., Panchenko, S.V., Fedorchenko, O.D., Ilyin, S.A.
Опубліковано 2024Отримати повний текст
Стаття -
16
THE RESEARCH OF THE OPERATION MODES OF THE DIESEL LOCOMOTIVE CHME3 ON THE IMITATION MODEL за авторством Buriakovskyi, S. G., Maslii, A. S., Panchenko, V. V., Pomazan, D. P., Denis, I. V.
Опубліковано 2018Отримати повний текст
Стаття -
17
New Generation 'Block-Modular' Condenser for K-1000-60 / 1500-2 Turbine Units in Zaporozhskaya NPP за авторством Uss, A. N., Patsiuk, S. T., Panchenko, A. V., Shavlakov, A. V., Kharlampidi, D. Kh.
Опубліковано 2018Отримати повний текст
Стаття -
18
New Generation 'Block-Modular' Condenser for K-1000-60 / 1500-2 Turbine Units in Zaporozhskaya NPP за авторством Uss, A. N., Patsiuk, S. T., Panchenko, A. V., Shavlakov, A. V., Kharlampidi, D. Kh.
Опубліковано 2018Отримати повний текст
Стаття
Інструменти для пошуку:
Пов'язані теми
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
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
конденсатор
коректність програмного забезпечення
корозія
корректность программного обеспечения
коррозия
охлаждающие трубы
охолоджуючі труби
параллельная программа
парова турбіна
паровая турбина
формальна верифікація