• » The Conception and Application of PFL: a Process Functional Programming Language
  
  Kollar, Jan
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Програмно-технологічні аспекти створення лексикографічної системи “Словник української...
  
  Якименко, К.М.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Средства построения звукового интерфейса для незрячих пользователей ПК
  
  Рувинская, В.М.; Пригожев, А.С.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Инструментарий имитационного моделирования дискретных вероятностных технологических...
  
  Максимей, И.В.; Левчук, В.Д.; Маслович, С.Ф.; Попова, Е.О.; Поташенко, А.М.; Смородин, В.С.; Старченко, В.В.; Терещенко, Г.А.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Виртуальный музей истории информатики в Сибири
  
  Касьянов, В.Н.; Несговорова, Г.П.; Волянская, Т.А.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Использование онтологического описания предметной области для повышения релевантности...
  
  Рогушина, Ю.В.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Угрозы информации и услуги безопасности
  
  Антонюк, А.А.; Жора, В.В.; Мостовой, В.Н.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Использование ГИС для системного анализа экобиомедицинских данных в контексте...
  
  Кукса, А.И.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Алгебраїчна модель рефакторінгу компонентів
  
  Грищенко, В.М.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Розвиток спіральної моделі життєвого циклу програмних систем
  
  Алексєєв, В.А.; Терещенко, В.С.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Система символьных вычислений для программирования динамических приложений
  
  Дорошенко, А.Е.; Шевченко, Р.С.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » О возможных основаниях немонотонного дедуктивного синтеза программ
  
  Приходько, П.П.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Організація схем взаємодії відомчихінформаційних систем в інтегрованій міжвідомчій...
  
  Алексєєв, В.А.; Ільїн, С.А.; Мягкова, Л.А.; Терещенко, В.С.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Задачі та засоби моделювання й оцінювання життєздатних програмних систем
  
  Ігнатенко, П.П.; Бистров, В.М.; Ігнатенко, О.П.; Ткаченко, В.М.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
  
  Bača, J.; Korecko, S.; Poruban, J.; Vaclavik, P.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Parallel Computations with Large-scale Air Pollution Models
  
  Dimov, I.; Farago, I.; Zlatev, Z.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
  
  Крывый, С.Л.; Невмержицкий, А.В.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Композиційні логіки номінативних даних
  
  Нікітченко, М.С.; Шкільняк, С.С.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Аксиоматические модели и методы проектирования языковых трансляторов
  
  Парасюк, И.Н.; Провотар, А.И.; Кондратенко, В.А.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
  
  Дорошенко, А.Е.; Цейтлин, Г.Е.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Концепція керiваного проектування інформаційних систем управлінської діяльності
  
  Задорожна, Н.Т.; Валь, К.Л.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Синтез автомата, специфицированного множеством дизъюнктов
  
  Чеботарев, А.Н.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Формальные модели компонентного программирования
  
  Грищенко, В.Н.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
  
  Нікітченко, М.С.; Шкільняк, С.С.
  2025-05-12
  Переглянути запис | Переглянути оригінал
• » Will Informatics be able to Justify the Construction of Large Computer Based Systems?...
  
  Goerigk, Wolfgang; Langmaack, Hans
  2025-05-12
  Переглянути запис | Переглянути оригінал

58376 - 58400 з 137976 результатів    << < 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 > >>