• » Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
  
  Дорошенко, А.Е.; Цейтлин, Г.Е.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Концепція керiваного проектування інформаційних систем управлінської діяльності
  
  Задорожна, Н.Т.; Валь, К.Л.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Аксиоматические модели и методы проектирования языковых трансляторов
  
  Парасюк, И.Н.; Провотар, А.И.; Кондратенко, В.А.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Композиційні логіки номінативних даних
  
  Нікітченко, М.С.; Шкільняк, С.С.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
  
  Крывый, С.Л.; Невмержицкий, А.В.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Parallel Computations with Large-scale Air Pollution Models
  
  Dimov, I.; Farago, I.; Zlatev, Z.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Організація схем взаємодії відомчихінформаційних систем в інтегрованій міжвідомчій...
  
  Алексєєв, В.А.; Ільїн, С.А.; Мягкова, Л.А.; Терещенко, В.С.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Формальные модели компонентного программирования
  
  Грищенко, В.Н.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Will Informatics be able to Justify the Construction of Large Computer Based Systems?...
  
  Goerigk, Wolfgang; Langmaack, Hans
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Порівняльний аналіз існуючих підходів до інтерактивного організаційно-технологічного...
  
  Бабич, В.І.; Перевертун, І.М.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Основні задачі підтримки прийняття рішень в інженерії надійності програмних систем
  
  Коваль, Г.І.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » 70-річчя члена-кореспондент НАН України Г.П. Півторака
  
  —
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Підхід до автоматичної побудови тематичної онтології документа для удосконалення...
  
  Дерецький, В.О.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Пошук мультимедійних об’єктів за контекстом та метаописами гіпермедійних інформаційних...
  
  Рогушина, Ю.В.; Гришанова, І.Ю.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Динамические коалиции — новая парадигма в области распределенных...
  
  Анисимов, А.В.; Зубенко, А.В.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Байєсівські мережі як засіб оцінювання та прогнозування якості програмного забезпечення
  
  Коваль, Г.И.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Школа для молодих біохіміків (П’ята Парнасівська конференція)
  
  Костерін, С.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Антична культура у середній школі: ретроспекція і сьогодення
  
  Романюк, В.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Об одном классе базовых протоколов
  
  Летичевский, А.А.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Звітує Інститут мовознавства ім. О.О. Потебні
  
  —
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Фінансові стимули для молодих учених
  
  —
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Суспільство в інформаційну епоху: реалії і перспективи розвитку
  
  Гриценко, В.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Базовая схема формализации системы моделирования MICIC4
  
  Левчук, В.Д.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Шумова діагностика атомних реакторів. Аналіз інформаційних потоків
  
  Болотін, Ю.; Шепелєв, А.; Пономаренко, Т.; Юрченко, Л.
  2025-10-31
  Переглянути запис | Переглянути оригінал
• » Захищеність WEB-серверів Apache та IIS
  
  Терейковский, И.А.
  2025-10-31
  Переглянути запис | Переглянути оригінал

630351 - 630375 з 630510 результатів    << < 25210 25211 25212 25213 25214 25215 25216 25217 25218 25219 > >>