Приложение
для AndroidПолное описание
Аксенов, К. Е. Разработка переносимого программного обеспечения средствами ЛИСП : автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / К. Е. Аксенов. - М. : [б. и.], 1998. - 17 с. - Текст : непосредственный.
Библиогр.:с. 17(6 назв.)
| ГРНТИ | УДК | |
| 50.41 | 004.4.057.5(043) | |
| 50.05.09 | 004.438(043) |
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Программное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Взгляд в Turbo. Первое знакомство с Turbo Pascal 6.0 / ВЦП. - 5 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Язык со зрительным восприятием / ВЦП. - 13 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 168 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 154 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 140 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.
Показать все результатыИванов В.В. Исследование и расширение возможностей системы программирования muLISP : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов, 1991. - 20 с. - Текст : непосредственный.Мансуров Н.Н. Реализация расширенного языка Рефал на односвязной списковой памяти : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров, 1992. - 16 с. - Текст : непосредственный.Лютый В.Г. Язык модуля -90К и его реализация : Автореферат диссертации на соискание ученой степени кканд.физ.-мат.наук:05.13.11 / В. Г. Лютый, 1993. - 16 с. - Текст : непосредственный.Соловьев И.П. Разработка и экспериментальная реализация интеграции рекурсивных образцов и функций в синтаксическую среду языка Пролог : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / И. П. Соловьев, 1995. - 15 с. - Текст : непосредственный.Климов А.А. Разработка и экспериментальная реализация интеграции переборных средств языков ПРОЛОГ и РЕФАЛ в синтаксическую среду языка ТУРБО ПАСКАЛЬ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. А. Климов, 1996. - 14 с. - Текст : непосредственный.Аксенов К.Е. Разработка переносимого программного обеспечения средствами ЛИСП : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / К. Е. Аксенов, 1998. - 17 с. - Текст : непосредственный.Абдрахимов И.С. Процедурная семантика и стратегия поиска решения в системе Флэнг : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / И. С. Абдрахимов, 1998. - 15 с. - Текст : непосредственный.Саввин К.О. Исследование возможности применения Constraint-пролога с вероятностью для решения прикладных задач : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / К. О. Саввин, 1999. - 16 с. - Текст : непосредственный.Белов М.А. Базовый язык программирования МКП и его реализация : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / М. А. Белов, 1991. - 20 с. - Текст : непосредственный.Кротов А.Н. Принципы реализации семантики языка Си++ в системе 3C++ : автореф. дис. .. канд. техн. наук : 05.13.11 / А. Н. Кротов, 2002. - 24 с. - Текст : непосредственный.Schlichting J.J.F.M. early implementation of revised ALGOL 68 : Garbage collection using recognizable pointersDiss. / J.J.F.M.Schlichting, 1989. - Pag.var. - Текст : непосредственный. Автоматизация переноса Си/Си++-приложений на новые платформы : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / Ш. Ф. Курмангалеев, 2013. - 24 с. - Текст : непосредственный.Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / В. Н. Игнатьев, 2015. - 24 с.Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри : автореф. дис. .. канд. техн. наук : 05.13.11 / А. В. Марков, 2015. - 24 с.Бородин А.Е. Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++ : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / А. Е. Бородин, 2016. - 24 с. - Текст : непосредственный.Мандрыкин М.У. Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / М. У. Мандрыкин, 2016. - 23 с.Раткевич И.С. Расширенный языковой сервис FRIS для программирования на языке Fortran в Microsoft Visual Studio : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / И. С. Раткевич, 2016. - 19 с.Бикмуллина И.И. Автоматический синтез диаграмм классов языка UML на основе ассоциативных отношений предметной области : автореф. дис. .. канд. техн. наук : 05.13.11 / И. И. Бикмуллина, 2017. - 14 с.Подкопаев А.В. Операционные методы в приложении к слабым моделям памяти : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / А. В. Подкопаев, 2018. - 15 с.Дерюгина О.А. Программно-математические средства рефакторинга UML-диаграмм классов с учетом заданных критериев качества : автореф. дис. .. канд. техн. наук : 05.13.11 / О. А. Дерюгина, 2018. - 19 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽