|
Повнотекстовий пошук
Пошуковий запит: (<.>I=Ж14024/2012/6<.>) |
Загальна кількість знайдених документів : 1
|
 |
Control systems & computers : acad. and research j..- Kyiv
Control systems and computers- Титул, cодержание.
Теоретические основы инсерционного моделирования
- Летичевский А. Ад. Инсерционное моделирование. - C. 3-14.
Семантика формальных и естественных языков
- Губа А. А., Шушпанов К. И. Инсерционная семантика плоских многопотоковых моделей языка UCM. - C. 15-21, 34.
- Годлевский А. Б. Инсерционная семантика параллельных процедурных конструктов языка UCM. - C. 22-34.
- Мищенко Н. М., Фелижанко О. Д., Щеголева Н. Н. Универсальная система программ обработки тематических текстов. - C. 35-42.
Технические приложения инсерционного моделирования
- Колчин А. В., Котляров В. П., Дробинцев П. Д. Метод генерации тестовых сценариев в среде инсерционного моделирования. - C. 43-48, 63.
- Потиенко С. В. Организация базы знаний о переходах системы с атрибутами перечислимых типов. - C. 49-52.
- Кожаев В. В. Инсерционное моделирование сценариев ролевых игр. - C. 53-56.
Дедуктивные методы
- Никитченко Н. С., Тимофеев В. Г. О применении композиционно-номинативных логик в инсерционном моделировании. - C. 57-63.
- Летичевский А. А., Мороховец М. К., Песчаненко В. С. Система доказательного программирования. - C. 64-71.
Информационные технологии
- Галковская Л. А., Глибовец Н. Н., Гороховский С. С. Гибридный алгоритм решения задачи удовлетворения ограничений. - C. 72-80, 88.
- Коломейко В. В. Методологические аспекты обеспечения эффективного взаимодействия программных средств и специалистов в многоуровневых человеко-машинных системах. - C. 81-88.
- Наши авторы. - C. 89.
- Систематический указатель статей, опубликованных в 2012 году. - C. 90-92.
- Алфавитный именной указатель за 2012 год. - C. 93.
| 2012 | | № 6 (242)
|
|
|
| 
Простий
Розширений
Книжкові видання та компакт-диски
