Рекомендовані теми у межах Вашого пошуку.
Показ 1 - 20 результатів із 49 для пошуку 'Теоретичні та методологічні основі програмування', час виконання запиту: 0.91сек. Уточнити результати
  1. 1
    Еволюційне програмування
    за авторством Глибовець, М.М., Гулаєва, Н.М.
    Опубліковано 2013
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  2. 2
    Еволюційне програмування
    за авторством Глибовець, М.М., Гулаєва, Н.М.
    Опубліковано 2013
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  3. 3
    Компонентне програмування. Теорія і реалізація
    за авторством Лавріщева, К.М.
    Опубліковано 2012
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  4. 4
    Генерувальне програмування програмних систем і їх сімейств
    за авторством Лавріщева, К.М.
    Опубліковано 2009
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  5. 5
    Ациклічність та замкненість макрокомпозицій
    за авторством Вінник, В.Ю., Парфірова, Т.С.
    Опубліковано 2012
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  6. 6
    Темпоральні процедури та алгоритми
    за авторством Зубенко, В.В.
    Опубліковано 2006
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  7. 7
    Виникнення та інтерпретація тризначних логік Кліні
    за авторством Шишацька, О.В.
    Опубліковано 2010
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  8. 8
    Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
    за авторством Шкільняк, О.С., Касьянюк, В.С., Малютенко, Л.М.
    Опубліковано 2017
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  9. 9
    Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
    за авторством Буй, Д.Б., Кахута, Н.Д., Сільвейструк, Л.М.
    Опубліковано 2010
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  10. 10
    Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
    за авторством Буй, Д.Б., Кахута, Н.Д., Сільвейструк, Л.М.
    Опубліковано 2010
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  11. 11
    Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю
    за авторством Шкільняк, О.С., Шкільняк, С.С.
    Опубліковано 2022
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  12. 12
    Логіки, орієнтовані на специфікації програм
    за авторством Нікітченко, М.С., Шкільняк, С.С., Омельчук, Л.Л.
    Опубліковано 2006
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  13. 13
    Порівняння ефективності підходів Map-Reduce і акторної моделі при розв’язанні завдань з високою зв'язністю вхідних даних на прикладі задачі оптимізації рою часток
    за авторством Ларін, В.О., Провотар, О.І.
    Опубліковано 2021
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  14. 14
    Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
    за авторством Шкільняк, О.С.
    Опубліковано 2011
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  15. 15
    Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
    за авторством Шкільняк, С.С.
    Опубліковано 2012
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  16. 16
    Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
    за авторством Шкільняк, С.С.
    Опубліковано 2012
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  17. 17
    Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
    за авторством Шкільняк, О.С.
    Опубліковано 2011
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  18. 18
    Логіки квазіарних предикатів кванторно-екваційного рівня
    за авторством Нікітченко, М.С., Шкільняк, С.С.
    Опубліковано 2012
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  19. 19
    Засіб вимірювання метрик вихідного коду FORTRAN за допомогою синтаксичного аналізу
    за авторством Покровський, А.М.
    Опубліковано 2021
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  20. 20
    Композиційно-номінативні логіки з непрямим іменуванням
    за авторством Россада, Т.В., Шкільняк, С.С.
    Опубліковано 2012
    Отримати повний текст
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук