Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
"Теоретичні та методологічні основи програмування" » "Теоретичні та методологічні основі програмування" (Erweiterte Suche), "Теоретичні та методологічні основе програмування" (Erweiterte Suche)
Treffer 21 - 40 von 136 für Suche '"Теоретичні та методологічні основи програмування"', Suchdauer: 0,12s Treffer weiter einschränken
  1. 21
    Про локальну коректність формальних визначень
    von Провотар, О.І.
    Veröffentlicht 2006
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 22
    Логіки, орієнтовані на специфікації програм
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  3. 23
    Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  4. 24
    Экзистенциальный базис дескриптивных сред
    von Редько, И.В.
    Veröffentlicht 2008
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  5. 25
    Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  6. 26
    Прагматические основания дескриптивных сред
    von Редько, И.В.
    Veröffentlicht 2005
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  7. 27
    Темпоральні процедури та алгоритми
    von Зубенко, В.В.
    Veröffentlicht 2006
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  8. 28
    Дескриптивные системы: концептуальный базис
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  9. 29
    Интенсиональные основания дескриптивных сред
    von Редько, И.В.
    Veröffentlicht 2006
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  10. 30
    Современные методы программирования. Возможности и инструменты
    von Лаврищева, Е.М.
    Veröffentlicht 2006
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  11. 31
    Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
    von Шинкаренко, В.И.
    Veröffentlicht 2006
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  12. 32
    Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
    von Акуловский, В.Г.
    Veröffentlicht 2009
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  13. 33
    Кібернетика, інформатика та програмна інженерія: аспекти розвитку
    von Лавріщева, К.М.
    Veröffentlicht 2010
    Volltext
    Zu den Favoriten
    Gespeichert in:
  14. 34
    Відношення логічного наслідку в композиційно-номінативних логіках
    von Шкільняк, С.С.
    Veröffentlicht 2010
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  15. 35
    Некоторые аспекты формализации данных и декомпозиция Д-операторов
    von Акуловский, В.Г.
    Veröffentlicht 2009
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  16. 36
    Семантичні властивості композиційно-номінативних модальних логік
    von Шкільняк, О.С.
    Veröffentlicht 2009
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  17. 37
    Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
    von Панченко, Т.В.
    Veröffentlicht 2008
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  18. 38
    Расширенная алгебра алгоритмов
    von Акуловский, В.Г.
    Veröffentlicht 2007
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  19. 39
    Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  20. 40
    Інтенсіонально-орієнтований підхід до побудови логічних систем
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden – Suche speichern