Поисковый запрос: (<.>K=семантика<.>) |
Общее количество найденных документов : 8
Показаны документы с 1 по 8 |
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-5168
Борщев, В. Б. Семантика языков логического программирования и абстрактная машина для их реализации [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев. - М., 1992. - 47 с. : ил В надзаг.: Рос.АН,Всерос.ин-т науч.и техн.информации. Библиогр.: с. 46-47(13назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| АР99-1153
Абдрахимов, И. С. Процедурная семантика и стратегия поиска решения в системе Флэнг [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / И. С. Абдрахимов. - Иркутск, 1998. - 15 с. Библиогр.:с. 15(7 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар05-2075
Промский, А. В. Формальная семантика C-LIGHT программ и их верификация методом Хоара [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / А. В. Промский. - Новосибирск, 2004. - 17 с. - Библиогр.: с. 16-17(11 назв.). - 100 экз.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар09-21386
Дехтярь, М. И. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17 / М. И. Дехтярь. - Переславль-Залесский, 2009. - 35 с. - Библиогр.: с. 30-35(49 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-16883
Вишняков, Р. Ю. Разработка и исследование формализованных представлений и семантических схем предложений текстов научно-технического стиля для повышения эффективности информационного поиска [Текст] : автореф. дис. ... канд. техн. наук : 05.13.17 / Р. Ю. Вишняков. - Таганрог, 2012. - 18 с. : ил. - Библиогр.: с. 16-18 (24 назв.)
Кл.слова (ненормированные): информационный поиск -- научно-технические документы -- семантика
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>6. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-19004
Марушкина, А. С. Семантика лексики, обозначающей физические взаимодействия, в онтологическом аспекте [Текст] : автореф. дис. ... канд. филолог. наук : 10.02.21 / А. С. Марушкина. - М., 2012. - 23 с. : ил. - Библиогр.: с. 23 (3 наз.)
Кл.слова (ненормированные): прикладная лингвистика -- силовая семантика -- лексическое описание
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>7. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар13-31985
Болбаков, Р. Г. Развитие и применение когнитивно-семантических методов и алгоритмов в мультимедийных образовательных портальных системах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / Р. Г. Болбаков. - М., 2013. - 26 с. : ил. - Библиогр.: с. 24-26 (11 назв.). - 130 экз.
Кл.слова (ненормированные): образование -- мультимедийные средства обучения -- когнитивная семантика
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>8. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар15-4099
Игнатьев, В. Н. Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / В. Н. Игнатьев. - М., 2015. - 24 с. : ил. - Библиогр.: с. 24 (5 назв.). - 60 экз.
Кл.слова (ненормированные): семантика -- кодирование -- программные средства
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|