Приложение
для AndroidПолное описание
Колесник, И. П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник. - М. : [б. и.], 1991. - 24 с. : ил. - Текст : непосредственный.
В надзаг.: Ин-т точной механики и вычисл.техники им.С.А.Лебедева АН СССР. Библиогр.: с. 22-24.
| ГРНТИ | УДК | |
| 50.05.13 | 004.42(043) |
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Копия: мкфш. Шифр МФ
Система автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыМарков А.С. Математическое,программное и научно-методическое обеспечение прикладного программирования в аспекте архитектурной и субархитектурной зависимости : Дис..д-ра техн.наук в форме науч.докл.:05.13.11 / А. С. Марков, 1990. - 68 с. - Текст : непосредственный.Попрыгаев Е.В. Разработка ядра системы обосновательного гиперпрограммирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Е. В. Попрыгаев, 1991. - 12 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Данг Чыонг Шон.Разработка интеллектуальной системы программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Данг Чыонг Шон, 1992. - 15 с. - Текст : непосредственный.Стаценко П.Б. Принципы интеграции прикладного и инструментального программного обеспечения в системе программирования QUASIC-3 : Автореферат диссертации на соискание ученой степени канд.-физ.-мат. наук:05.13.11 / П. Б. Стаценко, 1993. - 17 с. - Текст : непосредственный.Поливаный И.В. Диалоговая инструментально-учебная макросистема визуального программирования : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / И. В. Поливаный, 1993. - 16 с. - Текст : непосредственный.Васильев С.А. Комплекс распределенного программирования C.dis : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / С. А. Васильев, 1994. - 19 с. - Текст : непосредственный.Гаврилов А.В. Настраиваемая система программирования для категориальных вычислений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. В. Гаврилов, 1995. - 16 с. - Текст : непосредственный.Абрамов С.М. Метавычисления и их применение : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17 / С. М. Абрамов, 1995. - 31 с. - Текст : непосредственный.Мартьянов В.И. Логико-эвристические методы поиска рациональных решений прикладных и теоретических задач : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.16 / В. И. Мартьянов, 1996. - 26 с. - Текст : непосредственный.Карпова Н.Н. Исследование и реализация функционально-логической парадигмы программирования с использованием формализма направленных отношений : Автореферат диссертации на соискание ученой степени канд. фимз.-мат. наук: 05.13.17 / Н. Н. Карпова, 1998. - 20 с. - Текст : непосредственный.Мошков М.Ю. Временная сложность деревьев решений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / М. Ю. Мошков, 1999. - 21 с. - Текст : непосредственный.Петров Е.С. Методы интеграции логического программирования и программирования в ограничениях : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Е. С. Петров, 1999. - 18 с. - Текст : непосредственный.Филиппов В.А. Разработка методов синтеза программно-аппаратных комплексов с использованием высокоуровневых языков описания : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.05 / В. А. Филиппов, 2001. - 16 с. - Текст : непосредственный.Веденина С.Г. Метод динамических приоритетов и таблиц, его использование при решении многокритериальных трудно формализуемых задач целочисленного программирования в условиях ограниченных ресурсов : автореф. дис. .. канд. техн. наук : 05.13.18 / С. Г. Веденина, 2003. - 32 с. - Текст : непосредственный.Столяров А.В. Интеграция разнородных языковых механизмов в рамках одного языка программирования : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / А. В. Столяров, 2002. - 15 с. - Текст : непосредственный.Грибок С.В. О реализации функций алгебры логики в некоторых классах программ : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / С. В. Грибок, 2003. - 17 с. - Текст : непосредственный.Ronn S. On the regularity calculus and its role in distributed programming : Diss. / S.R@:onn, 1992. - 105 p. - Текст : непосредственный.Chen S. Retrieval of reusable components in a deductive,objekt-oriented database environment : Diss. / S.Chen, 1993. - 171 p. - Текст : непосредственный.Ebinger W. Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken : Diss. / W.Ebinger, 1994. - 87 S. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽