Полное описание
>
Математика программных систем : межвуз.сб.науч.тр. / Перм.гос.ун-т им.А.М.Горького ; Редкол.:А.И.Миков(гл.ред.) и др. - Пермь : [б. и.], 1993. - 187 c. : ил. - 350 экз. - ISBN 5-230-09354-4 : Б. ц. - Текст : непосредственный.
Библиогр.в конце отд.ст
| ГРНТИ | УДК | |
| 50.41 | 004.4 |
Рубрики:
Математическое обеспечение ЭВМ
Кл.слова (ненормированные): системное программирование -- эвм
Доп. точки доступа:
Миков, А.И.\ред.\
Пермский ун-т им. А. М. Горького
>
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Математика программных систем : Межвуз.сб.науч.тр. / Перм.гос.ун-т им.А.М.Горького, 1993. - 187 c. - Текст : непосредственный.Математика программных систем : Межвуз. сб. науч. тр. / Перм. ун-т, 2001. - 187 с. - Текст : непосредственный.Математика программных систем : Межвузовский сб. науч. тр. / Перм. гос. ун-т, 2002. - 175 с. - Текст : непосредственный.Математика программных систем : Межвуз. сб. науч. тр. / Пермский гос. ун-т, Ин-т компьютинга, 2003. - 244 с. - Текст : непосредственный.Математика программных систем : межвуз. сб. науч. ст. / Пермский гос. ун-т, 2006. - 210 с. - Текст : непосредственный.Математика программных систем : межвуз. сб. науч. ст. Спец. вып. / Перм. гос. ун-т, 2008. - 179 с. - Текст : непосредственный.Математика программных систем : межвуз. сб. науч. тр. / Перм. гос. ун-т, АНО науки и образования "Ин-т компьютинга", 2007. - 99 с. - Текст : непосредственный.
Аллювий : Межвуз. сб. науч. тр. / Перм. ун-т им. А. М. Горького, 1992. - 143 c. - Текст : непосредственный.Радиоспектроскопия : Межвуз. сб. науч. тр. / Перм. гос. ун-т им. А.М.Горького. Вып. 21, 1993. - 211 с. - Текст : непосредственный.Анализ и прогноз метеорологических элементов и речного стока. Вопросы охраны атмосферы : Межвуз. сб. науч. тр. / Перм. гос. ун-т. им. А.М.Горького, 1993. - 116 c. - Текст : непосредственный.Пещеры. Итоги исследований : Межвуз.сб.науч.тр. / Перм.гос.ун-т, 1993. - 203 c. - Текст : непосредственный.Прогнозирование и методика геолого-геофизических исследований месторождений полезных ископаемых на Западном Урале : Тез.докл.науч.конф.,17-18 мая 1994 г. / Перм.гос.ун-т им.А.М.Горького, 1994. - 81 c. - Текст : непосредственный.Математика программных систем : Межвуз.сб.науч.тр. / Перм.гос.ун-т им.А.М.Горького, 1993. - 187 c. - Текст : непосредственный.Современные проблемы геологии Западного Урала : Тез. докл. науч. конф. (16-17 мая 1995г.) / Пермский ун-т им. А. М. Горького, 1995. - 176 c. - Текст : непосредственный.Физико-географические основы развития и размещения производительных сил Нечерноземного Урала : Межвуз.сб.науч.тр. / Перм.гос.ун-т им.А.М.Горького, 1993. - 180 c. - Текст : непосредственный.Проблемы механики управляемого движения. Оптимизация процессов управления : Межвуз.сб.науч.тр. / Перм.гос.ун-т им.А.М.Горького, 1992. - 126 с. - Текст : непосредственный.Экологическая безопасность зон градопромышленных агломераций Западного Урала : Тез. докл. семинара / Перм. гос. ун-т им. А. М. Горького, 1993. - 87 с. - Текст : непосредственный.Геофизические методы поисков и разведки месторождений нефти и газа : Межвуз. сб. науч. тр. / Перм. гос. ун-т им. А. М. Горького, 1992. - 91 с. - Текст : непосредственный.Геология и минеральные ресурсы Западного Урала : Тез. докл. науч. конф., 13-15 апр. 1993 г. / Пермский ун-т им. А. М. Горького, 1993. - 101 с. - Текст : непосредственный.Проблемы механики управляемого движения. Нелинейные динамические системы : Межвуз. сб. науч. тр. / Перм. гос. ун-т им. А.М. Горького, 1991. - 151 с. - Текст : непосредственный.Геоэкологические аспекты хозяйствования, здоровья и отдыха : Тез. докл. на межгос. науч. конф., май 1993 г., г. Пермь / Пермский ун-т им. А. М. Горького. Ч. 2, 1993. - 298 с. - Текст : непосредственный.Геоэкологические аспекты хозяйствования, здоровья и отдыха : Тез. докл. на межгос. науч. конф., май 1993 г., г. Пермь / Пермский ун-т им. А. М. Горького. Ч. 1, 1993. - 267 с. - Текст : непосредственный.Геофизические методы поисков и разведки месторождений нефти и газа : Межвуз сб.науч.тр. / Перм.гос.ун-т им.А.М.Горького, 1991. - 127 с. - Текст : непосредственный.Органические реагенты в аналитической химии : Межвуз. сб. науч. тр. / Перм.гос.ун-т им.А.М.Горького, 1991. - 130 с. - Текст : непосредственный.Моделирование вычислительных систем и процессов : Межвуз. сб. науч. тр. / Перм.гос.ун-т им.А.М.Горького, 1991. - 152 с. - Текст : непосредственный.Статистические методы оценивания и проверки гипотез : Сб.ст. / Перм. гос. ун-т им. А.М.Горького, 1991. - 180 с. - Текст : непосредственный.Вопросы прогноза погоды, климата и циркуляции атмосферы : Межвуз. сб. науч. тр. / Перм. гос. ун-т им. А. М. Горького, 1992. - 112 с. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение 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. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.An extended survey on provable information base systems / I.Ogata,Y.Osobe,K.Takahashi и др., 1993. - 152 p. - Текст : непосредственный.Report on supercomputer software department / Computing Center Siberian Division of Russian Academy Sciences, Chair for Computer Systems Novosibirsk State Un-ty, 1993. - 32 c. - Текст : непосредственный.Tutorial:distributed-software engineering / ed. S. M. Shatz, ed. J. -P. Wang, 1989. - IX,279 p. p. - Текст : непосредственный.Tutorial:Software reusability / ред.compl.by P. Freeman, 1987. - VI,297 p. p. - Текст : непосредственный.Milestones in software evolution / ed. P. W. Oman, ed. T. G. Lewis, 1990. - VIII,319 p. p. - Текст : непосредственный.Software risk management / ред.compl. B. W. Boehm, 1989. - VIII,496 p. p. - Текст : непосредственный.Tutorial:Software engineering project management / ed. R. H. Thayer, 1988. - IX,497 p. p. - Текст : непосредственный.System and software requirements engineering / ed. R. H. Thayer, ed. M. Dorfman, 1990. - XVI,718 p. p. - Текст : непосредственный.Структура и математическое обеспечение специализированных вычислительных средств : Сб. / Редкол.: Д.В.Пузанков (гл.ред.) и др., 1993. - 104 с. - Текст : непосредственный.Software maintenance and computers / ed. D. H. Longstreet, 1990. - IX,284 p. p. - Текст : непосредственный.Software-und Anwedungsmanagement : Strategien und Entscheidungshilfen fur die Unternehmenspraxis / Mit Beitragen von T.Andresen et al., 1992. - VIII,271 S. S. - Текст : непосредственный.Математика программных систем : Межвуз.сб.науч.тр. / Перм.гос.ун-т им.А.М.Горького, 1993. - 187 c. - Текст : непосредственный.Математическое обеспечение ЭВМ "Минск-32" : Сб. / Ин-т математики АН БССР,НИИ электрон.вычисл.машин. Вып. 11, 1974. - 207 с. - Текст : непосредственный.Математическое обеспечение ЭВМ "Минск-32" : Сб. / Ин-т математики АН БССР,НИИ электрон.вычисл.машин. Вып. 12, 1974. - 134 с. - Текст : непосредственный.Математическое обеспечение ЭВМ "Минск-32" : Сб. / Ин-т математики АН БССР,НИИ электрон.вычисл.машин. Вып. 13, 1974. - 110 с. - Текст : непосредственный.Математическое обеспечение ЭВМ "Минск-32" : Сб. / Ин-т математики АН БССР,НИИ электрон.вычисл.машин. Вып. 14, 1975. - 144 с. - Текст : непосредственный.Математическое обеспечение ЭВМ "Минск-32" : Сб. / Ин-т математики АН БССР,НИИ электрон.вычисл.машин. Вып. 15, 1975. - 280 с. - Текст : непосредственный.Экономика, разработка и использование программного обеспечения ЭВМ : Учебник по спец. "Информацион. системы в экономике" / В.А.Благодатских,М.А.Енгибарян,Е.В.Ковалевская и др., 1995. - 286 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽