Приложение
для AndroidПолное описание
Оптимизирующая трансляция и конструирование программ / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова ; Под ред.В.Н.Касьянова. - Новосибирск : [б. и.], 1997. - 166 с. : ил. - 100 экз. - ISBN 5-7623-1182-1 : Ц.договор. - Текст : непосредственный.
Библиогр.в конце ст
| ГРНТИ | УДК | |
| 50.41 | 004.41 | |
| 004.422.8'416 |
Рубрики:
Программы для ЭВМ -- Оптимизация
Программное обеспечение ЭВМ -- Проектирование
Доп. точки доступа:
Касьянов, В.Н.\ред.\
Институт систем информатики им. А. П. Ершова (Новосибирск)
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Specification, verification, and net models of concurrent systems / Siberian division of the Russian Academy of sciences.A.P.Ershov Institute of informatics systems, 1994. - 195 p. - Текст : непосредственный.Средства и инструменты окружений программирования : Сб. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1995. - 169 с. - Текст : непосредственный.Проблемы конструирования эффективных и надежных программ : Сб. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1995. - 164 с. - Текст : непосредственный.Программные системы : Сб. ст. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 164 с. - Текст : непосредственный.Проблемы спецификации и верификации параллельных систем : Сб.науч.тр. / Рос.АН. Сиб.отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 237 с. - Текст : непосредственный.Оптимизирующая трансляция и конструирование программ / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1997. - 166 с. - Текст : непосредственный.Проблемы систем информатики и программирования : Сб.ст. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1999. - 225 с. - Текст : непосредственный.Новые информационные технологии в науке и образовании : Сб.ст. / Рос.АН,Сиб.отд-ние.Институт систем информатики им. А.П.Ершова, 2003. - 296 с. - Текст : непосредственный.Методы предикатного программирования : Сб. науч. работ / Ин-т систем информатики им. А.П.Ершова, 2003. - 62 с. - Текст : непосредственный.Теоретические и прикладные задачи информатики : новые подходы и решения : Тр. шк.-конкурса молодых ученых, Новосибирск, Академгородок, 25 мая-15 июня 2003 г. / Рос. АН, Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова, 2003. - 79 с. - Текст : непосредственный.Программные средства и математические основы информатики / Ин-т систем информатики им. А.П.Ершова, 2004. - 278 с. - Текст : непосредственный.Программные средства и математические основы информатики / Рос. АН, Сибирск. отд-ние, Ин-т систем информатики им. А.П.Ершова, 2004. - 269 с. - Текст : непосредственный.Новосибирская школа программирования. Перекличка времен : сб. ст. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова, 2004. - 243 с. - Текст : непосредственный.Методы и инструменты конструирования и оптимизации программ / Ин-т систем информатики им. А. П. Ершова СО РАН, 2005. - 265 с. - Текст : непосредственный.Молодая информатика : Сб. тр. аспирантов и молодых ученых / Рос. АН, Сиб. отдние,Ин-т систем информатики им. А.П.Ершова, 2005. - 122 с. - Текст : непосредственный.Андрей Петрович Ершов - ученый и человек / Ин-т систем информатики им. А.П.Ершова , 2006. - 503 с. - Текст : непосредственный.Молодая информатика : сб. тр. аспирантов и молодых ученых / Ин-т систем информатики им. А. П. Ершова, 2006. - 122 с. - Текст : непосредственный.Методы предикатного программирования : сб. науч. работ / Ин-т систем информатики им. А. П. Ершова СО РАН. Вып. 2, 2006. - 116 с. - Текст : непосредственный.Проблемы интеллектуализации и качества систем информатики / Институт систем информатики им. А.П.Ершова (Новосибирск), 2006. - 272 с. - Текст : непосредственный.Молодая информатика : сб. тр. аспирантов и мол. ученых / Ин-т систем информатики им. А.П.Ершова. Вып. 2, 2006. - 169 с. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Введение в VAX/VMS / ВЦП. - 130 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.
Показать все результатыЖаков В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. И. Жаков, 1991. - 16 с. - Текст : непосредственный.Беляева С.И. Теоретические основы структурного диагностирования и обеспечения контролепригодности сложных технических и программных объектов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / С. И. Беляева, 1991. - 33 с. - Текст : непосредственный.Лягин И.А. Тензорный метод проектирования программного обеспечения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. А. Лягин, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Хусейн Мухсен.Исследование и разработка мобильного программного обеспечения для решения прикладных задач : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Хусейн Мухсен, 1991. - 16 с. - Текст : непосредственный.Бондарев М.Ю. Инструментально-методический комплекс оценки надежности прикладных программных средств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / М. Ю. Бондарев, 1991. - 17 с. - Текст : непосредственный.Молин А.В. Разработка полигона для испытания программ статистического анализа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16:05.13.16 / А. В. Молин, 1991. - 17 с. - Текст : непосредственный.Шербекова У.А. Программно-испытательный стенд для создания эффективных программ решения жестких задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / У. А. Шербекова, 1991. - 15 с. - Текст : непосредственный.Галкин И.М. Семантические сети в разработке и сопровождении программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин, 1991. - 15 с. - Текст : непосредственный.Потапов Д.А. Исследование и разработка методов построения автоматизированных систем отладки программного обеспечения специализированных вычислительных комплексов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Д. А. Потапов, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Скворцов С.А. Алгоритмы оценки качества функционирования программного обеспечения вычислительных систем реального времени на основе моделей нечеткой математики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / С. А. Скворцов, 1991. - 16 с. - Текст : непосредственный.Ревтов С.И. Автоматизированная разработка диалоговых программных комплексов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / С. И. Ревтов, 1992. - 16 с. - Текст : непосредственный.Крушняков В.Н. Средства автоматизации построения компонентов систем программирования на базе языкоориентированной архитектуры МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Н. Крушняков, 1991. - 13 с. - Текст : непосредственный.Бурцев А.П. Разработка программного обеспечения автоматизированных информационных систем на основе моделей выполнения запросов,сценариев диалога и принятия решений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / А. П. Бурцев, 1992. - 20 с. - Текст : непосредственный.Бекетова Е.А. Методы и средства оценки качества программ имитационных моделей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. А. Бекетова, 1992. - 16 с. - Текст : непосредственный.Мадан В.И. Исследование и анализ количественных характеристик качества программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. И. Мадан, 1992. - 18 с. - Текст : непосредственный.Черноножкин С.К. Методы и инструменты метрической поддержки разработки качественных программ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / С. К. Черноножкин, 1998. - 18 с. - Текст : непосредственный.Норкин О.Р. Разработка программного обеспечения многопроцессорных вычислительных систем на основе программной модели и знаний проблемной области : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / О. Р. Норкин, 1991. - 21 с. - Текст : непосредственный.Бакулин А.В. Развитие метода и инструментария многоуровневого доказательного проектирования программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Бакулин, 1992. - 18 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽