Suggested Topics within your search.
Search alternatives:
"formal methods" » "formal method" (Expand Search)
Showing 61 - 78 results of 78 for search '"formal methods"', query time: 0.16s Refine Results
  1. 61
    A simple parsimony-based approach to assess ancestor-descendant relationships
    Get full text
    Article
    Save to List
    Saved in:
  2. 62
    Определение инварианта к сжатию с потерями для аудиосигналов
    Get full text
    Article
    Save to List
    Saved in:
  3. 63
    Метамодель для візуального моделювання багатовимірних предметних областей та її практичні застосування
    Get full text
    Article
    Save to List
    Saved in:
  4. 64
    REALISTIC CORRECT SYSTEMS IMPLEMENTATION
    by Goerigk, W.
    Published 2015
    Get full text
    Article
    Save to List
    Saved in:
  5. 65
    Сучасні концепції формалізації фінансової стратегії банку
    by Матвієнко, С.
    Published in Схід (2010)
    Get full text
    Article
    Save to List
    Saved in:
  6. 66
    Mathematical Models of Moving Objects
    by Tsybulska, Е. O.
    Published 2012
    Get full text
    Article
    Save to List
    Saved in:
  7. 67
    Математичні моделі рухомих об’єктів
    Get full text
    Article
    Save to List
    Saved in:
  8. 68
    Об одном методе моделирования неопределенностей технико-экономических данных в задачах оценивания научно-технических проектов
    Get full text
    Article
    Save to List
    Saved in:
  9. 69
    Transition systems as method of designing applications in GPGPU technology
    Get full text
    Article
    Save to List
    Saved in:
  10. 70
    Формалізований метод проектування застосувань в технології GPGPU
    Get full text
    Article
    Save to List
    Saved in:
  11. 71
    Корреляция значений фрактальных характеристик структуры материала по электронно-микроскопическим фотографиям поверхности образцов со значениями их физико-механических характеристик
    Get full text
    Article
    Save to List
    Saved in:
  12. 72
    Модельно-параметрическое пространство – средство представления знаний исследователей сложных систем
    Get full text
    Article
    Save to List
    Saved in:
  13. 73
    Объективизация нечетких классификационных моделей формирования межпредметных связей
    Get full text
    Article
    Save to List
    Saved in:
  14. 74
    Ахматова и формалисты: заметки к теме
    Get full text
    Article
    Save to List
    Saved in:
  15. 75
    Агапій Шамрай у пошуках синтетичної теорії літератури: 1920-ті роки
    by Бабак, Г.
    Published in Слово і Час (2022)
    Get full text
    Article
    Save to List
    Saved in:
  16. 76
    Підходи до формалізації проектування застосувань в технології GPGPU
    Get full text
    Article
    Save to List
    Saved in:
  17. 77
    В. М. Даниленко та періодизація неоліту Південного Бугу: нові запитання до старих джерел
    Get full text
    Article
    Save to List
    Saved in:
  18. 78
    Стратегічні орієнтири рівня життя та рівня освіти як основа існування середнього класу в Україні
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search