Полное описание
>
Программные средства и математические основы информатики / Рос. АН, Сибирск. отд-ние, Ин-т систем информатики им. А.П.Ершова ; Ред. В.Н. Касьянов. - Новосибирск : Ин-т систем информатики им. А.П. Ершова СО РАН, 2004. - 269 с. - Библиогр. в конце ст. - 75 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.41 | 004.4 |
Рубрики:
Программное обеспечение ЭВМ
Математическое обеспечение ЭВМ
Доп. точки доступа:
Касьянов, В.Н.\ред.\
Институт систем информатики им. А. П. Ершова (Новосибирск)
>
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Заказаны экз-ры для отделов: ФО17, ФО18, ФО19, ФО20, ФО25, ФО26
Программные средства и математические основы информатики / Ин-т систем информатики им. А.П.Ершова, 2004. - 278 с. - Текст : непосредственный.Программные средства и математические основы информатики / Рос. АН, Сибирск. отд-ние, Ин-т систем информатики им. А.П.Ершова, 2004. - 269 с. - Текст : непосредственный.
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 с. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Программное обеспечение Dr. Halo III : Инструкция пользователя / ВЦП. - 103 c. - Текст : непосредственный.Система свободного программируемого управления на базе микро-ЭВМ / ВЦП. - 128 c. - Текст : непосредственный.СОМ 525. Пакет программирования связных процессов СР 524 и СР 525 : Руководство / ТПП Украины. - 126 c. - Текст : непосредственный.Инструкция для пользователей программного обеспечения AT PAI 2 / ВЦП. - 100 c. - Текст : непосредственный.Функциональные спецификации. Основы программной среды мобильных стандартных средств разработок: ПСМ ССР. В 2-х кн. / НПО Центрсистем. - 331 c. - Текст : непосредственный.Программное обеспечение SFT/Advanced Netware / ВЦП. - 90 c. - Текст : непосредственный.Обзор концепций разработки программного обеспечения / ВЦП. - 86 c. - Текст : непосредственный.Основные направления развития компьютерной технологии. Гл.4. Программное обеспечение / ВЦП. - 32 c. - Текст : непосредственный.Основные направления развития компьютерной технологии. Вычислительная техника в странах СЭВ. Системное и прикладное программное обеспечение / ВЦП. - 37 c. - Текст : непосредственный.Лицензия на программное обеспечение и информация об авторском праве 1/А серия. Журнал действия оператора / ВЦП. - 11 c. - Текст : непосредственный.Микропрограммное обеспечение I1 для перьевых графопостроителей серии Х3 : В 3-х кн. / ВЦП.Горьк.ред. - 68 c. - Текст : непосредственный.
Показать все результатыХанна Джабр.Разработка средств автоматизации обеспечения мобильности типовых системных программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ханна Джабр, 1991. - 16 с. - Текст : непосредственный.Жаков В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. И. Жаков, 1991. - 16 с. - Текст : непосредственный.Беляева С.И. Теоретические основы структурного диагностирования и обеспечения контролепригодности сложных технических и программных объектов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / С. И. Беляева, 1991. - 33 с. - Текст : непосредственный.Бржезовский А.В. Концептуальный анализ программного обеспечения распределенных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. В. Бржезовский, 1991. - 18 с. - Текст : непосредственный.Кузнецов С.О. Разработка и исследование методов построения ЦМД-эмуляторов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / С. О. Кузнецов, 1990. - 21 с. - Текст : непосредственный.Швеин А.А. Повышение эффективности программно-аппаратных трансляторов и интерпретаторов на основе методов теории формальных языков : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. А. Швеин, 1991. - 19 с. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Скачков Н.Б. Отладочный транслятор-интерпретатор программ на Алголе 68 : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Н. Б. Скачков, 1990. - 18 с. - Текст : непосредственный.Вдовкин С.В. Методы обработки структурированных объектов и операций над ними на МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени дис.канд.техн.наук:05.13.11 / С. В. Вдовкин, 1990. - 15 с. - Текст : непосредственный.Жожикашвили А.В. Теоретико-категорный язык для задач представления знаний и обучения посредством обобщения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.17 / А. В. Жожикашвили, 1991. - 18 с. - Текст : непосредственный.Лягин И.А. Тензорный метод проектирования программного обеспечения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. А. Лягин, 1991. - 16 с. - Текст : непосредственный.Марков А.С. Математическое,программное и научно-методическое обеспечение прикладного программирования в аспекте архитектурной и субархитектурной зависимости : Дис..д-ра техн.наук в форме науч.докл.:05.13.11 / А. С. Марков, 1990. - 68 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Сергеев Н.Н. Цифровые полисинхронные генераторы случайных чисел : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Н. Н. Сергеев, 1991. - 17 с. - Текст : непосредственный.Сэруга Я. Разрешение конфликтных ситуаций при доступе к ресурсам информационно-вычислительных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Я. Сэруга, 1991. - 13 с. - Текст : непосредственный.Хусейн Мухсен.Исследование и разработка мобильного программного обеспечения для решения прикладных задач : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Хусейн Мухсен, 1991. - 16 с. - Текст : непосредственный.Бондарев М.Ю. Инструментально-методический комплекс оценки надежности прикладных программных средств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / М. Ю. Бондарев, 1991. - 17 с. - Текст : непосредственный.Молин А.В. Разработка полигона для испытания программ статистического анализа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16:05.13.16 / А. В. Молин, 1991. - 17 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽