Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 20 von 140 für Suche 'formal modification', Suchdauer: 0,11s Treffer weiter einschränken
  1. 1
    Formal Analysis of Mechanisms Increasing Arterial Pressure
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Generation of multipurpose formal models from legacy code
    von Potiyenko, S.V., Kolchin, A.V.
    Veröffentlicht 2023
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Development of the information system for semantic identification and documentation of the results of non-formal and informal education
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  4. 4
    The software tool of constructive-synthesizing modeling
    von Shynkarenko, V.I., Chyhir, R.R.
    Veröffentlicht 2024
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  5. 5
    Peterson’s algorithm Total correctness proof in IPCL
    von Zhygallo, A.A.
    Veröffentlicht 2018
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  6. 6
    Method of detection of http attacks on a smart home using the algebraic matching method
    von Gorbatiuk, V.O., Gorbatiuk, S.O.
    Veröffentlicht 2023
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  7. 7
    Модифікація структури моделі Гоша в міжгалузевому аналізі
    von Kulyk М.M.
    Veröffentlicht 2020
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  8. 8
    База даних як засіб отримання адаптивної моделі предметної області зі слабоформалізованими об’єктами
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  9. 9
    Підходи до формалізації проектування застосувань в технології GPGPU
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  10. 10
    Розробка інформаційної системи семантичної ідентифікації і документування результатів неформального й інформального навчання
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  11. 11
    Конструктивно-продукционные структуры и их грамматические интерпретации. I. Обобщенная формальная конструктивно-продукционная структура
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  12. 12
    О модификации метода обучения с подкреплением на основе моделей когнитивной психологии
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  13. 13
    Формалізація опису економічних і навчальних процесів в е-освіті за математичними залежностями типу Парето
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  14. 14
    Новая модификация безмодельного подхода к анализу данных по ядерной магнитной релаксации в белках
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  15. 15
    Методи формування графіних засобів захисту документів
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  16. 16
    Filtered and graded Procesi extensions of rings
    von Radwan, A.E.
    Veröffentlicht in Algebra and Discrete Mathematics (2007)
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  17. 17
    Новий алгоритм імітаційного відпалу для передбачення структури білків
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  18. 18
    Модифікаційні предикатні запити
    von Шекета, В.І.
    Veröffentlicht 2004
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  19. 19
    Abstracts
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  20. 20
    Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
    von Shkilniak, O.S.
    Veröffentlicht 2019
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden – Suche speichern