Поисковый запрос: (<.>U=004.42(043)<.>) |
Общее количество найденных документов : 29
Показаны документы с 1 по 20 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : АР91-3356
Автор(ы) : Марков А.С.
Заглавие : Математическое,программное и научно-методическое обеспечение прикладного программирования в аспекте архитектурной и субархитектурной зависимости
: Дис...д-ра техн.наук в форме науч.докл.:05.13.11
Выходные данные : М., 1990
Колич.характеристики :68 с
Примечания : В надзаг.: Н.-и.центр электронной вычислит.техники. Библиогр.: с. 58-68(107 назв.).
ГРНТИ : 50.05.03
УДК : 004.42(043)
Экземпляры :ХР(1), (2)
Свободны : ХР(1)
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : АР92-389
Автор(ы) : Попрыгаев Е.В.
Заглавие : Разработка ядра системы обосновательного гиперпрограммирования
: Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11
Выходные данные : М., 1991
Колич.характеристики :12 с
Примечания : В надзаг.: МГУ им.М.В.Ломоносова,Фак.вычислит.математики и кибернетики. Библиогр.: с. 12(3 назв.).
ГРНТИ : 50.05.03
УДК : 004.42(043)
Экземпляры :ХР(1), (2)
Свободны : ХР(1)
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : АР92-503
Автор(ы) : Колесник И.П.
Заглавие : Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус"
: Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11
Выходные данные : М., 1991
Колич.характеристики :24 с.:
ил
Примечания : В надзаг.: Ин-т точной механики и вычисл.техники им.С.А.Лебедева АН СССР. Библиогр.: с. 22-24.
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1), (2)
Свободны : ХР(1)
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : АР92-11525
Автор(ы) : Данг Чыонг Шон
Заглавие : Разработка интеллектуальной системы программирования
: Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11
Выходные данные : Киев, 1992
Колич.характеристики :15 с
Примечания : В надзаг.: Киев.гос.ун-т им.Т.Шевченко. Библиогр.: с.15(3 назв.)
ГРНТИ : 50.05.03
УДК : 004.42(043)
Экземпляры :ХР(1), (2)
Свободны : ХР(1)
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : АР94-1143
Автор(ы) : Стаценко П.Б.
Заглавие : Принципы интеграции прикладного и инструментального программного обеспечения в системе программирования QUASIC-3
: Автореферат диссертации на соискание ученой степени канд.-физ.-мат. наук:05.13.11
Выходные данные : М., 1993
Колич.характеристики :17 с.:
ил
Примечания : В надзаг.: Рос. АН, Ин-т мат. пробл. биологии. Библиогр.: с.17(5 назв.)
ГРНТИ : 50.41.17
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : АР94-4138
Автор(ы) : Поливаный И.В.
Заглавие : Диалоговая инструментально-учебная макросистема визуального программирования
: Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11
Выходные данные : Новосибирск, 1993
Колич.характеристики :16 с.
Примечания : В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики. Библиогр.: с.16(10 назв.)
ГРНТИ : 50.05.03
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : АР95-2901
Автор(ы) : Васильев С.А.
Заглавие : Комплекс распределенного программирования C.dis
: Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11
Выходные данные : М., 1994
Колич.характеристики :19 с.:
ил
Примечания : В надзаг.: Рос.АН. Ин-т прикл. математики им. М.В.Келдыша. Библиогр.: с.19(5назв.)
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : АР95-6829
Автор(ы) : Гаврилов А.В.
Заглавие : Настраиваемая система программирования для категориальных вычислений
: Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11
Выходные данные : М., 1995
Колич.характеристики :16 с.:
ил
Примечания : В надзаг.: Моск.гос.инж.-физ.ин-т(техн.ун-т). Библиогр.:с.15-16(15 назв.)
ГРНТИ : 50.05.09
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : АР96-1376
Автор(ы) : Абрамов С.М.
Заглавие : Метавычисления и их применение
: Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17
Выходные данные : Переславль-Залесский, 1995
Колич.характеристики :31 с
Примечания : Библиогр.:с. 31 (8 назв.)
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : АР96-4328
Автор(ы) : Мартьянов В.И.
Заглавие : Логико-эвристические методы поиска рациональных решений прикладных и теоретических задач
: Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.16
Выходные данные : Иркутск, 1996
Колич.характеристики :26 с.
Примечания : Библиогр.:с. 18-26
ГРНТИ : 50.05.03
УДК : 004.42(043) + 004.891(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : АР99-1606
Автор(ы) : Карпова Н.Н.
Заглавие : Исследование и реализация функционально-логической парадигмы программирования с использованием формализма направленных отношений
: Автореферат диссертации на соискание ученой степени канд. фимз.-мат. наук: 05.13.17
Выходные данные : М., 1998
Колич.характеристики :20 с.:
ил.
Примечания : Библиогр.:с. 18-20(11 назв.)
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : АР99-4460
Автор(ы) : Мошков М.Ю.
Заглавие : Временная сложность деревьев решений
: Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09
Выходные данные : М., 1999
Колич.характеристики :21 с.
Примечания : В надзаг. :МГУ им.М.В.Ломоносова. Мех.-мат. фак. Библиогр.:с. 19-21(28 назв.)
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
13.
|
Вид документа : Однотомное издание
Шифр издания : АР99-7110
Автор(ы) : Петров Е.С.
Заглавие : Методы интеграции логического программирования и программирования в ограничениях
: Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11
Выходные данные : Новосибирск, 1999
Колич.характеристики :18 с.
Примечания : В надзаг. : Рос.АН,Ин-т систем информатики им.А.П.Ершова.Библиогр.:с. 17-18(12 назв.)
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
14.
|
Вид документа : Однотомное издание
Шифр издания : АР00-9967
Автор(ы) : Кознов Д.В.
Заглавие : Визуальное моделирование компонентного программного обеспечения
: Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11
Выходные данные : СПб., 2000
Колич.характеристики :14 с.:
ил.
Примечания : В надзаг. :С.-Петерб. гос. ун-т. Библиогр.:с. 13-14(19 назв.)
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
15.
|
Вид документа : Однотомное издание
Шифр издания : АР02-5080
Автор(ы) : Филиппов В.А.
Заглавие : Разработка методов синтеза программно-аппаратных комплексов с использованием высокоуровневых языков описания
: Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.05
Выходные данные : СПб., 2001
Колич.характеристики :16 с.:
ил.
Примечания : Библиогр.: с.16 (5 назв.)
ГРНТИ : 50.33.14 + 50.05.13
УДК : 004.42(043) + 004.3'12(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
16.
|
Вид документа : Однотомное издание
Шифр издания : Ар03-13544
Автор(ы) : Столяров А.В.
Заглавие : Интеграция разнородных языковых механизмов в рамках одного языка программирования
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2002
Колич.характеристики :15 с.
Примечания : В надзаг.: МГУ им. М.В.Ломоносова. Библиогр.: с. 15(5 назв.)
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
17.
|
Вид документа : Однотомное издание
Шифр издания : Ар04-3975
Автор(ы) : Грибок С.В.
Заглавие : О реализации функций алгебры логики в некоторых классах программ
: автореф. дис. ... канд. физ.-мат. наук : 01.01.09
Выходные данные : М., 2003
Колич.характеристики :17 с
Примечания : Библиогр.: с. 17 (5 назв.)
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : Ар05-1944
Автор(ы) : Швец Д.А.
Заглавие : Инструментальная поддержка процедурно-параметрической парадигмы программирования
: автореф. дис. ... канд.техн. наук : 05.13.11
Выходные данные : Красноярск, 2004
Колич.характеристики :18 с.
Примечания : Библиогр.: с. 17-18(12 назв.)
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : Ар05-3854
Автор(ы) : Иосенкин В.Я.
Заглавие : Технология контекстного программирования и ее применение
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : М., 2005
Колич.характеристики :23 с.:
ил
Примечания : Библиогр.: с. 21-23 (18 назв.). - В надзаг.: Рос. АН, Ин-т проблем упр. им. В.А. Трапезникова
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : Ар05-10164
Автор(ы) : Богданова В.Г.
Заглавие : Методы и инструментальные средства программирования в булевых ограничениях
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Иркутск, 2005
Колич.характеристики :21 c.:
ил
Примечания : Библиогр.: с. 20-21(14 назв.)
ГРНТИ : 50.05.13
УДК : 004.42(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных