Пошуковий запит: (<.>K=комп’ютери<.>) |
Загальна кількість знайдених документів : 64
Показані документи с 1 за 30 |
|
1. 
|  004.946
C77
Cooper, Seth.
A Framework for Scientific Discovery through Video Games / S. Cooper. - New York : ACM Books, 2014. - 117 с. - (ACM Books series ; #3). - ISBN 978-1-62705-504-8 : Б. ц.
Переклад назви: Рамка для наукового відкриття за допомогою відеоігор
Рубрики: Комп’ютерне моделювання--Рамка --Наукові дослідження
Відеоігри--Наукові відкриття--Ігрові рамки
Кл.слова (ненормовані):
відеоігри -- винагороди -- структури
Анотація: Ця книга представляє основу для відображення відкритих наукових проблем у відеоігри. Ігрові рамки поєднують обчислювальну силу з вирішенням проблем людини та творчістю для вирішення наукових проблем, які ні комп’ютери, ні людина раніше не могли вирішити самостійно. Щоб максимально залучити потенційних учасників наукових відкриттів, рамки проектують гру, яку гратимуть люди, які не мають офіційного наукового досвіду, і стимулюють довгострокове залучення з безліччю спільних або конкурентних структур винагород. Рамка дозволяє здійснювати постійну коефіцієнтність гравців та гру один до одного: коли гравці здобувають досвід завдяки геймплею, гра змінюється, щоб стати кращим інструментом. Рамка перевірена, застосовуючись до проблем протеоміки з відеоіграми Foldit. Гравці Foldit внесли свій внесок у нові відкриття в алгоритмах прогнозування структури білка, дизайні білків та уточнення білкової структури. Коеволюція вирішення проблем людини та комп’ютерних інструментів у стимульованих ігрових рамках - це новий захоплюючий науковий шлях, який може призвести до відкриттів, які зараз недосяжні іншими методами.
Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)
Знайти схожі
|
2.
|
Rytsar, B. Ye
A new method for symmetry recognition in boolean functions based on the set-theoretical logic differentiation [Текст] / B. Ye Rytsar // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 5. - С. 5-11. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
розпізнавання повних і часткових симетрій -- булова функція -- числове теоретико-множинне логікове диференціювання
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
3.
|
Rytsar, B. Ye.
A new method for symmetry recognition in boolean functions based on the set-theoretical logic differentiation [Текст] / B. Ye. Rytsar // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 4. - С. 3-13. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
розпізнавання повних і часткових симетрій -- булова функція -- числове теоретико-множинне логікове диференціювання
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
4.
|
Rudenko, O. G.
Adaline robust multister training algorithm [Текст] / O. G. Rudenko, O. O. Bezsonov // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 3. - С. 15-27. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
корентропія -- метод найменших квадратів -- адаптивна корекція ширини ядра -- збіжність алгоритму
Дод.точки доступу:
Bezsonov, O. O.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
5.
|
Bulgakova, O. S.
Algorithmic modifications in procedural generation systems [Текст] / O. S. Bulgakova, A. V. Kudriavtsev, V. V. Zosimov // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 3. - С. 52-59. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
процедурна генерація -- 3-вимірна карта -- комп’ютерна графіка -- ігрові системи
Дод.точки доступу:
Kudriavtsev, A. V.
Zosimov, V. V.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
6.
|
Gladun, A. Ya.
Application of semantic modeling to formalized knowledge assessment based on open encyclopedic resources [Текст] / A. Ya. Gladun, Yu. V. Rogushina // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 1. - С. 71-79
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
семантична розмітка -- електронна енциклопедія -- онтологія -- тезаурус -- неформальне та інформаційне навчання -- компетентність
Дод.точки доступу:
Rogushina, Yu. V.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
7.
|
Sazhok, M. M.
Automatic speech recognition for Ukrainian broadcast media transcribing [Текст] / M. M. Sazhok, R. A. Seliukh, D. Ya. Fedoryn // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 6. - С. 46-57. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
мовлення -- мовленнєвий сигнал -- аналіз -- розпізнавання -- розуміння -- синтез
Дод.точки доступу:
Seliukh, R. A.
Fedoryn, D. Ya.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
8.
|
Pidnebesna, H. A.
Bioproductivity of Dnieper Reservoirs Analysis by Inductive Methods [Текст] / H. A. Pidnebesna // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 2. - С. 66-76. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
індуктивні методи моделювання -- кореляційний алгоритм з розрахунком рейтингу регресорів CAR -- комбінаторний алгоритм МГУА COMBI -- фітопланктон -- концентрація хлорофілу а
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
9.
|
Koliechkina, L. M.
Construction of a Mathematical Model of Multiobjective Optimization on Permutations [Текст] / L. M. Koliechkina, O. A. Dvirna, A. M. Nahirna // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 2. - С. 23-29. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
задача оптимізації -- комбінаторні конфігурації -- Евклідовий комбінаторний простір -- модель задач оптимізації -- множина оптимальних розв’язків
Дод.точки доступу:
Dvirna, O. A.
Nahirna, A. M.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
10.
|
Doroshenko, V. S.
Development of a digital twin of the technological process of consumable pattern casting using production data [Текст] / V. S. Doroshenko, V. P. Kravchenko, O. V. Tokova // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 3. - С. 41-49. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
цифровий двійник -- технологічний процес -- виливок -- моделювання -- прогнозування
Дод.точки доступу:
Kravchenko, V. P.
Tokova, O. V.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
11.
|
Antonyuk, Ya. M.
Diagnostic methods and traffic manacement on campus networks [Текст] / Ya. M. Antonyuk // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 6. - С. 66-72. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
аналіз мережевого трафіку -- мережева безпека -- політики управління трафіком -- класифікація мережевого трафіку -- якість послуг -- якість сприйняття -- принцип максимальної очікуваної корисності
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
12.
|
Meytus, V. Yu.
Digital economy and digital twins. Main research area [Текст] / V. Yu. Meytus, A. I. Morozova, L. Yu. Taran // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 3. - С. 28-40. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
цифрова економіка -- цифрове підприємство -- цифровий двійник -- інформаційна модель -- знання -- рівні цифрового перетворення
Дод.точки доступу:
Morozova, A. I.
Taran, L. Yu.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
13.
|
Osypenko, V. V.
Dynamic Valuation Modelling of Cost and Electricity Consumption Over Local Objects with Intellectual Governance [Текст] / V. V. Osypenko, V. V. Kaplun, M. A. Voronenko // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 2. - С. 55-65. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
мікроенергетичні мережі -- локальний енергетичний об’єкт -- поновлювальні джерела енергії -- динамічне моделювання вартості електроенергії -- інтелектуальна система управління -- диспетчерсько-технологічні функції
Дод.точки доступу:
Kaplun, V. V.
Voronenko, M. A.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
14.
|
Fainzilberg, L. S.
Expanding of intellectual possibilities of digital tonometers for home using [Текст] / L. S. Fainzilberg // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 1. - С. 60-70. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
домашній тонометр -- еластичність судин -- осциляції -- варіабельність артеріального тиску
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
15.
|
Stelmakh, O. P.
Information technology of video data processing for traffic intensity monitoring [Текст] / O. P. Stelmakh, I. V. Stetsenco, D. V. Velyhotskyi // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 3. - С. 50-59. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
аналіз зображень -- інтенсивність транспортного руху -- показник завантаженості транспортного руху -- нейромережа
Дод.точки доступу:
Stetsenco, I. V.
Velyhotskyi, D. V.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
16.
|
Ivashchenko, M. V.
Integer norm for difference assessment of the frame elements considering the white balance [Текст] / M. V. Ivashchenko, D. D. Okhrymchuk, L. A. Lyushenko // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 4. - С. 27-34. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
комп’ютерний зір -- корекція балансу білого -- датчики кольору -- колірна модель -- опорні кольори -- норма точки зображення
Дод.точки доступу:
Okhrymchuk, D. D.
Lyushenko, L. A.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
17.
|
Savchenko, Ye. A.
Metalearning as one of the task of the machine learning problems [Текст] / Ye. A. Savchenko, N. A. Rybachok // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 6. - С. 28-34. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
метанавчання -- машинне навчання -- індуктивне моделювання -- підтримка прийняття рішень
Дод.точки доступу:
Rybachok, N. A.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
18.
|
Semeniuta, M. F.
On new properties of graphs with magic type labeling [Текст] / M. F. Semeniuta, Z. O. Sherman // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 3. - С. 15-22. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
граф -- дистанційна магічна розмітка -- дистанційна антимагічна розмітка -- гандикап розмітка -- дистанційна матриця -- відношення еквівалентності
Дод.точки доступу:
Sherman, Z. O.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
19.
|
Bulgakova, O. S.
Reactive programming paradigm for development uaer interfaces [Текст] / O. S. Bulgakova, V. V. Zosimov // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 5. - С. 62-69. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
реактивне програмування -- розробка бази даних -- технологія -- модель
Дод.точки доступу:
Zosimov, V. V.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
20.
|
Stepashko, V. S.
Recurrent-and-parallel gmdh algorithms for high-performance computing [Текст] / V. S. Stepashko, S. M. Yefimenko, A. V. Pavlov // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 3. - С. 38-51. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
індуктивне моделювання -- рекурентно-паралельні обчислення -- векторна автогресія
Дод.точки доступу:
Yefimenko, S. M.
Pavlov, A. V.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
21.
|
Meytus, V. Yu
Smart enterprise as a modern form of existence of traditional enterprise in tne digital economy [Текст] / V. Yu Meytus, A. I. Morozova, V. P. Kozlova // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 1. - С. 23-34. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
інформація суспільства -- цифрова економіка -- розумне підприємство
Дод.точки доступу:
Morozova, A. I.
Kozlova, V. P.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
22.
|
Lysetskyi, Yu. M.
Software-defined stoned storages as a tool of lowering it infrastructure costs [Текст] / Yu. M. Lysetskyi, Ye. P. Seredovich // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 4. - С. 42-48. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
системи зберігання даних -- системи резервного копіювання -- віртуалізація -- обсяг -- масштабованість -- архітектура
Дод.точки доступу:
Seredovich, Ye. P.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
23.
|
Koliechkina, L. N.
The practical aspect of using a combinatorial model pn configuration of combinations [Текст] / L. N. Koliechkina, A. N. Nahirna // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 5. - С. 23-29. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
інформаційна безпека -- комбінаторна оптимізаційна модель -- множина сполучень -- цільова функція
Дод.точки доступу:
Nahirna, A. N.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
24.
|
Savchenko, Ye. A.
The Transfer Learning Task as the Means of Metaleaning Tasks Solution [Текст] / Ye. A. Savchenko, M. Yu. Savchenko // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 2. - С. 41-54. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
машинне навчання -- трансферне навчання -- моделювання -- індуктивний підхід -- узагальнення
Дод.точки доступу:
Savchenko, M. Yu.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
25.
|
Sukhoruchkina, O. N.
The virtual sensors for intelligent control of the mobile robot [Текст] / O. N. Sukhoruchkina // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 6. - С. 58-65. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
автономний мобільний робот -- інтелектуальне управління -- віртуальний сенсор -- 3D-модель
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
26.
|
Witkowski, T.
Thedabc and tlbo algorithms for solve job shop scyeduling problem [Текст] / T. Witkowski // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 5. - С. 38-47. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
алгоритм дискретної штучної бджолиної колонії -- оптимізація на основі викладання -- задача календарного планування роботи цеху -- теорія розкладу -- час виконання
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
27.
|  004.056.5
P27
Parno, Bryan Jeffrey.
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers / B. J. Parno. - [Б. м. : б. в.]. - (ACM Books series ; #2). - ISBN 978-1-62705-477-5 : Б. ц.
Є повнотекстові версії (для доступу потрібна авторизація)
Переклад назви: Розширення довіри як механізм безпечного виконання коду на товарних комп’ютерах
Рубрики: Захист інформації--Інформаційні технології
Кл.слова (ненормовані):
оцифрування інформації -- захист безпеки
Анотація: Оскільки суспільство поспішає оцифровувати конфіденційну інформацію та послуги, вкрай важливо прийняти належний захист безпеки. Однак такі захисти принципово суперечать тим вигодам, які ми очікуємо від товарних комп'ютерів. Іншими словами, споживачі та підприємства цінують товарні комп’ютери, оскільки вони забезпечують хорошу продуктивність та безліч функцій при відносно низьких витратах. Тим часом спроби побудови захищених систем з нуля зазвичай відмовляються від таких цілей, і тому вони рідко приймаються [Karger et al. 1991, Голд та ін. 1984, Еймс 1981].У цій книзі, переглянутій версії моєї докторської дисертації, спочатку написаної під час навчання в університеті Карнегі Меллона, я стверджую, що ми можемо вирішити напругу між безпекою та функціями, використовуючи довіру, яку користувач має в одному пристрої, щоб вона змогла безпечно використовувати інший товарний пристрій або послуга, не приносячи шкоди продуктивності та особливостям, що очікуються від товарних систем. Ми підтримуємо цю передумову протягом наступних розділів.
Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)
Знайти схожі
|
28.
|
Tutova, O. V.
Ukraine in the information and communication technology development ranking [Текст] / O. V. Tutova, Ye. A. Savchenko // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 3. - С. 70-78. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
індекс розвитку інформаційних і комунікаційних технологій -- цифровий розрив -- показники глобального розвитку -- цифровий порядок денний України
Дод.точки доступу:
Savchenko, Ye. A.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
29.
|
Tutova, O. V.
Ukraine in the information and communication technology development ranking [Текст] / O. V. Tutova, Ye. A. Savchenko // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 4. - С. 62-73. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
індекс розвитку інформаційних і комунікаційних технологій -- цифровий розрив -- показники глобального розвитку -- цифровий порядок данний України
Дод.точки доступу:
Savchenko, Ye. A.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
30.
|
Летичевський, О. О.
Алгебраїчний підхід у формалізації вразливостей в бінарному коді [Текст] / О. О. Летичевський, Я. В. Гринюк, В. М. Яковлев // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 6. - С. 5-20. - Бібліогр. в кінці ст.
. - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145
Кл.слова (ненормовані):
вразливості програмного забезпечення -- символьне моделювання -- алгебраїчне зіставлення -- алгебра поведінок
Дод.точки доступу:
Гринюк, Я. В.
Яковлев, В. М.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
|
|
|
Електронний каталог бібліотеки
Стандартний
Головна
Посібник користувача
