Титульні сторінки та зміст
Збережено в:
| Дата: | 2013 |
|---|---|
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2013
|
| Назва видання: | Проблеми програмування |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/86648 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Титульні сторінки та зміст // Проблеми програмування. — 2013. — № 1. — С. 1-2. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-86648 |
|---|---|
| record_format |
dspace |
| fulltext |
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРА ÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ISSN 1727-4907
П Р О Б Л Е М И
ПРОГРАМУВАННЯ
НАУКОВИЙ ЖУРНАЛ
P R O B L E M S
IN PROGRAMMING
SCIENTIFIC JOURNAL
2013
№ 1
Теми випуску:
• Теоретичні та методологічні основи
програмування
• Формальні методи розробки програмного
забезпечення
• Експертні та інтелектуальні інформаційні
системи
• Програмні системи захисту інформації
• Прикладні засоби програмування та програмне
забезпечення
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ПРОБЛЕМИ
ПРОГРАМУВАННЯ
науковий журнал
№ 1 січень-березень 2013
Заснований у березні 1999 р.
ЗМІСТ
Теоретичні та методологічні основи програмування
Шкільняк О.С. Побудова секвенційних числень мультимодальних
композиційно-номінативних логік 3
Формальні методи розробки програмного забезпечення
Песчаненко В. Часткові обчислення у системі інсерційного моделювання 14
Експертні та інтелектуальні інформаційні системи
Алексеєв В.А., Терещенко В.С. Рольова функціональність суб'єктів
експертизи програмного забезпечення інформаційно-телекомунікаційних систем 23
Глибовец А.Н., Глибовец Н.Н., Покопцев Д.Е., Сидоренко М.О.
Cемантическая паутина и Wiki-системы 45
Ильина Е.П., Синицын И.П., Слабоспицкая О.А., Яблокова Т.Л.
Интеллектуальная информационная технология экспертно-аналитической поддержки
организационных решений 68
Провотар О.І., Заміховський А.А., Галкін О.В., Верес М.М.,
Катеринич Л.О. Реалізація концепції адаптивного мовлення та системи
автоматичної підготовки контенту 78
Програмні системи захисту інформації
Колтик М.А. Методы и способы реализации автоматизированной поддержки
проведения испытаний компьютерной системы защиты информации (КСЗИ) 85
Прикладні засоби програмування та програмне забезпечення
Григорян Р.Д., Аксенова Т.В., Маркевич Р.А., Дериев И.И.
Программный симулятор поджелудочной железы 100
Оконський І.В., Дорошенко А.Ю., Жереб К.А. Інструментальні
засоби моделювання гетерогенних середовищ заснованих на відеографічних
прискорювачах 107
Панченко Б.Е. Высокоточное параллельное решение задачи
о дифракции волн сдвига на системе упругих включений в полупространстве с
защемленной границей 116
Свідоцтво про державну реєстрацію КВ № 7490 від 01.07.2003
Науковий журнал “Проблеми програмування" занесений до переліку наукових видань ВАК України, в яких
можуть публікуватися основні результати дисертаційних робіт.
ISSN 1727-4907 . © Інститут програмних систем
НАН України, 2013
00-TitlePages2.pdf
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
ПРОГРАМУВАННЯ
ЗМІСТ
Теоретичні та методологічні основи програмування
Формальні методи розробки програмного забезпечення
Експертні та інтелектуальні інформаційні системи
Глибовец А.Н., Глибовец Н.Н., Покопцев Д.Е., Сидоренко М.О. Cемантическая паутина и Wiki-системы
Програмні системи захисту інформації
Прикладні засоби програмування та програмне забезпечення
Оконський І.В., Дорошенко А.Ю., Жереб К.А. Інструментальні засоби моделювання гетерогенних середовищ заснованих на відеографічних прискорювачах
|
| spelling |
irk-123456789-866482015-09-26T03:01:25Z Титульні сторінки та зміст 2013 Титульні сторінки та зміст // Проблеми програмування. — 2013. — № 1. — С. 1-2. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86648 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| title |
Титульні сторінки та зміст |
| spellingShingle |
Титульні сторінки та зміст Проблеми програмування |
| title_short |
Титульні сторінки та зміст |
| title_full |
Титульні сторінки та зміст |
| title_fullStr |
Титульні сторінки та зміст |
| title_full_unstemmed |
Титульні сторінки та зміст |
| title_sort |
титульні сторінки та зміст |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2013 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/86648 |
| citation_txt |
Титульні сторінки та зміст // Проблеми програмування. — 2013. — № 1. — С. 1-2. — укр. |
| series |
Проблеми програмування |
| first_indexed |
2025-07-06T14:08:34Z |
| last_indexed |
2025-07-06T14:08:34Z |
| _version_ |
1836906881687224320 |