Приложение
для AndroidПолное описание
Математика программных систем : межвуз. сб. науч. тр. / Перм. гос. ун-т, АНО науки и образования "Ин-т компьютинга" ; Ред. А. И. Миков. - Пермь : [б. и.], 2007. - 99 с. : ил. - Библиогр. в конце ст. - 100 экз. - ISBN 5-7944-1058-2 : Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.41 | 004.4 |
Рубрики:
Математическое обеспечение ЭВМ
Доп. точки доступа:
Миков, А.И.\ред.\
Пермский ун-т
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Математика программных систем : Межвуз.сб.науч.тр. / Перм.гос.ун-т им.А.М.Горького, 1993. - 187 c. - Текст : непосредственный.Математика программных систем : Межвуз. сб. науч. тр. / Перм. ун-т, 2001. - 187 с. - Текст : непосредственный.Математика программных систем : Межвузовский сб. науч. тр. / Перм. гос. ун-т, 2002. - 175 с. - Текст : непосредственный.Математика программных систем : Межвуз. сб. науч. тр. / Пермский гос. ун-т, Ин-т компьютинга, 2003. - 244 с. - Текст : непосредственный.Математика программных систем : межвуз. сб. науч. ст. / Пермский гос. ун-т, 2006. - 210 с. - Текст : непосредственный.Математика программных систем : межвуз. сб. науч. ст. Спец. вып. / Перм. гос. ун-т, 2008. - 179 с. - Текст : непосредственный.Математика программных систем : межвуз. сб. науч. тр. / Перм. гос. ун-т, АНО науки и образования "Ин-т компьютинга", 2007. - 99 с. - Текст : непосредственный.
Статистические методы оценивания и проверки гипотез : Межвуз.сб.науч.тр. / Перм.гос.ун-т, 1993. - 204 с. - Текст : непосредственный.Проблемы механики управляемого движения.Нелинейные динамические системы : Межвуз.сб.науч.тр. / Перм.гос.ун-т, 1993. - 121 c. - Текст : непосредственный.Геофизические методы поисков и разведки месторождений нефти и газа : Межвуз.сб.науч.тр. / Перм.гос.ун-т, 1994. - 120 c. - Текст : непосредственный.Экологическая безопасность городов Урала : Тез.докл.регион.науч.-техн.конф. / Перм.гос.ун-т, 1994. - 131 c. - Текст : непосредственный.Вестник : Науч.журн. Вып. 1(1994) : Математика, 1994. - 202 с. - Текст : непосредственный.Вестник : Науч.журн. Вып. 2 : Физика, 1994. - 219 с. - Текст : непосредственный.Охраняемые природные территории.Проблемы выявления,исследования,организации систем : Тез.докл.междунар.науч.конф.,нояб.1994 / Редкол.:Г.А.Воронов(гл.ред.) и др. Ч. 1, 1994. - 217 с. - Текст : непосредственный.Охраняемые природные территории.Проблемы выявления,исследования,организации систем : Тез.докл.междунар.науч.конф.,нояб.1994 / Редкол.:Г.А.Воронов(гл.ред.) и др. Ч. 2, 1994. - 154 с. - Текст : непосредственный.Вестник : Науч.журн. Вып. 3 : Геология, 1994. - 258 с. - Текст : непосредственный.Анализ и прогноз гидрометеорологических элементов.Вопросы охраны атмосферы : Межвуз.сб.науч.тр. / Перм.гос.ун-т, 1994. - 172 c. - Текст : непосредственный.Вопросы физической географии и геоэкологии Урала : Межвуз. сб. науч. тр. / Пермский ун-т, 1994. - 168 c. - Текст : непосредственный.Территория и общество : Междувед. сб. науч. тр. / Пермский госуниверситет, 1994. - 166 c. - Текст : непосредственный.Вестник : Науч.журн. Вып. 4 : География, 1994. - 135 с. - Текст : непосредственный.Регион и география : Тезисы докл. междунар. науч.-практ. конф. (май 1995г.) / Перм. гос. ун-т. Ч. 1 : Регион: социально-экономическое развитие и регулированиеВып. 2, 1995. - 208 с. - Текст : непосредственный.Регион и география : Тезисы докл. междунар. науч.-практ. конф. (май 1995г.) / Перм. гос. ун-т. Ч. 1 : Регион: социально-экономическое развитие и регулированиеВып. 1, 1995. - 140 с. - Текст : непосредственный.Регион и география : Тезисы докл. междунар. науч.-практ. конф. (май 1995г.) / Перм. гос. ун-т. Ч. 3, 1995. - 147 с. - Текст : непосредственный.Экологическая безопасность населения в зонах градопромышленных агломераций Урала : Тез.докл. регион. науч.-техн. конф. / Пермский ун-т, 1995. - 192 c. - Текст : непосредственный.Российская экономика:проблемы перехода к рынку : Тез.междунар.науч.-практ.конф.(14-15 нояб.1995 г.,Пермь) / Пермский ун-т, 1995. - 244 c. - Текст : непосредственный.Регион и география : Тезисы докл. междунар. науч.-практ. конф. (май 1995г.) / Перм. гос. ун-т. Ч. 4, 1995. - 169 с. - Текст : непосредственный.Вестник : Науч.журн. Вып. 4(1995) : Физика, 1995. - 236 с. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽