Рекомендовані теми у межах Вашого пошуку.
Показ 1 - 20 результатів із 140 для пошуку 'formal modification', час виконання запиту: 0.11сек. Уточнити результати
  1. 1
    Formal Analysis of Mechanisms Increasing Arterial Pressure
    за авторством Grygoryan, R.D.
    Опубліковано в: Кибернетика и вычислительная техника (2014)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 2
    Generation of multipurpose formal models from legacy code
    за авторством Potiyenko, S.V., Kolchin, A.V.
    Опубліковано 2023
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  3. 3
    Development of the information system for semantic identification and documentation of the results of non-formal and informal education
    за авторством Pryima, S.M., Strokan', О.V., Lubko, D.V., Lytvyn, Yu.O., Bilyk, N.І.
    Опубліковано 2020
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  4. 4
    The software tool of constructive-synthesizing modeling
    за авторством Shynkarenko, V.I., Chyhir, R.R.
    Опубліковано 2024
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  5. 5
    Peterson’s algorithm Total correctness proof in IPCL
    за авторством Zhygallo, A.A.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  6. 6
    Method of detection of http attacks on a smart home using the algebraic matching method
    за авторством Gorbatiuk, V.O., Gorbatiuk, S.O.
    Опубліковано 2023
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  7. 7
    Модифікація структури моделі Гоша в міжгалузевому аналізі
    за авторством Kulyk М.M.
    Опубліковано 2020
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  8. 8
    База даних як засіб отримання адаптивної моделі предметної області зі слабоформалізованими об’єктами
    за авторством Федорчук, Володимир, Коваленко, Олексій
    Опубліковано 2025
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  9. 9
    Підходи до формалізації проектування застосувань в технології GPGPU
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  10. 10
    Розробка інформаційної системи семантичної ідентифікації і документування результатів неформального й інформального навчання
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  11. 11
    Конструктивно-продукционные структуры и их грамматические интерпретации. I. Обобщенная формальная конструктивно-продукционная структура
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  12. 12
    О модификации метода обучения с подкреплением на основе моделей когнитивной психологии
    за авторством Крачковский, Н.В.
    Опубліковано в: Искусственный интеллект (2013)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  13. 13
    Формалізація опису економічних і навчальних процесів в е-освіті за математичними залежностями типу Парето
    за авторством Тихонов, Ю.Л.
    Опубліковано в: Математичне моделювання в економіці (2018)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  14. 14
    Новая модификация безмодельного подхода к анализу данных по ядерной магнитной релаксации в белках
    за авторством Федотов, В.Д., Киваева, Л.С.
    Опубліковано в: Биополимеры и клетка (1987)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  15. 15
    Методи формування графіних засобів захисту документів
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  16. 16
    Filtered and graded Procesi extensions of rings
    за авторством Radwan, A.E.
    Опубліковано в: Algebra and Discrete Mathematics (2007)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  17. 17
    Новий алгоритм імітаційного відпалу для передбачення структури білків
    за авторством Чорножук, С.A.
    Опубліковано в: Компьютерная математика (2018)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  18. 18
    Модифікаційні предикатні запити
    за авторством Шекета, В.І.
    Опубліковано 2004
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  19. 19
    Abstracts
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  20. 20
    Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
    за авторством Shkilniak, O.S.
    Опубліковано 2019
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук