Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=004.42(082)<.>)
Общее количество найденных документов : 65
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
   681
   С 409

    Системная информатика : сборник научных трудов / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; [редкол.: В. Е. Котов (гл. ред.) и др.]. - Новосибирск : Наука, 1991 - . - (Системная информатика).
   Вып. 2 : Системы программирования.Теория и приложения / [В. Е. Котов и др.] ; под ред. В. Е. Котова. - 1993. - 247 с. : ил. - ISBN 5-02-029970-7 : 400 р.
50.05
УДК
004.42(082)
ББК Ч23я43
Рубрики: Программирование--Сборники
Кл.слова (ненормированные):
Системы программирования -- Информатика
Аннотация: Включены работы известных советских и зарубежных ученых, в которых рассматриваются вопросы бъектно-ориентированного, логического, параллельного, функционального программирования и анализа систем реального времени, а также приводится описание метаокружения для разработки программного обеспечения "Талисман"


Доп.точки доступа:
Котов, Вадим Евгеньевич \ред.\; Котов, Вадим Евгеньевич; Черкасова, Л. А.; Вальковский, В. А.; Вирбицкайте, И. Б.; Задыхайло, И. Б.; Зеленецкий, С. Д.; Горелик, А. М.; Платонова, Л. Н.; Поддерюгина, Н. В.; Борщев, А. В.; Карпов, Ю. Г.; Колесов, Ю. Б.; Стаа, Арндт фон; Люсена, Карлос Ж. П. де; Вирт, Н.; Зубенко, В. В.; Протасов, А. В.; Мёссенбёк, Х.-П.; Темпл, Д.; Гриземер, Р.; Котов, Вадим Евгеньевич \ред.\; Российская академия наук(СО РАН ; Новосибирск). Сибирское отделение; Институт систем информатики им. А. П. Ершова
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
2.
   681
   С 409

    Системная информатика : сборник научных трудов / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; [редкол.: В. Е. Котов (гл. ред.) и др.]. - Новосибирск : Наука, 1991 - . - (Системная информатика).
   Вып. 3 : Программные и вычислительные системы: методы и языки анализа / [Л. Лампорт и др.] ; под ред. В. Е. Котова. - 1993. - 302 с. : ил. - ISBN 5-02-030351-8 : 750 р.
ГРНТИ
50.05
УДК
004.42(082)
ББК Ч23я43
Рубрики: Программирование--Сборники
Кл.слова (ненормированные):
Информатика -- Вычислительные системы -- ЭВМ -- программирование
Аннотация: Отражены вопросы математической теории программирования,теории параллельного программирования,трансформационного синтеза программ,а также вопросы контроля языковых стандартов и автоматической генерации оптимального кода


Доп.точки доступа:
Котов, Вадим Евгеньевич \ред.\; Лампорт, Л.; Непомнящий, В. А.; Цейтлин, Г. Е.; Ющенко, Е. Л.; Бездушный, А. Н.; Серебряков, В. А.; Рыбин, С. И.; Кауфман, В. Ш.; Анисимов, В. А.; Седухин, С. Г.; Котов, Вадим Евгеньевич \ред.\; Российская академия наук(СО РАН ; Новосибирск). Сибирское отделение; Институт систем информатики им. А. П. Ершова
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
3.
681
И741

   
    Информатика и вычислительные системы : [сб.ст.] / Под ред.Садовничего В.А. и др.;МГУ. - М. : [б. и.], 1993. - 160с. - ISBN 5-211-02713-2 : 375 р.
УДК
004.42(082)
РУБ 681

Кл.слова (ненормированные):
Вычислительные системы -- Информатика

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
4.
   681
   С 409

    Системная информатика : сборник научных трудов / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; [редкол.: А. Г. Марчука (гл. ред.) и др.]. - Новосибирск : Наука, 1991 - . - (Системная информатика).
   Вып. 10 : Методы и модели современного программирования / [З. В. Апанович и др.] ; под ред. А. Г. Марчука. - Новосибирск : Изд-во СО РАН, 2006. - 242, [1] с. : ил. - Библиогр. в конце ст. - На обл. только загл. сер. - ISBN 5-7692-0870-8 : 150 р.
ГРНТИ
50.05
УДК
004.42(082)
ББК Ч23я43
Рубрики: Программирование--Сборники
Кл.слова (ненормированные):
ГРАФЫ -- КЛЕТОЧНО-АВТОМАТНЫЕ МОДЕЛИ -- ВЕРИФИКАЦИЯ МОДЕЛЕЙ -- СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ПРЕДСТАВЛЕНИЕ ЗНАНИЙ -- МУЛЬТИАГЕНТНЫЕ СИСТЕМЫ
Аннотация: Отражены вопросы математической теории программирования,теории параллельного программирования,трансформационного синтеза программ,а также вопросы контроля языковых стандартов и автоматической генерации оптимального кода


Доп.точки доступа:
Марчук, Александр Гурьевич (1951-) \ред.\; Апанович, Зинаида Владимировна; Бандман, О. Л.; Гаранина, Н. О.; Шилов, Н. В.; Манцивода, А. В.; Малых, А. А.; Марчук, Александр Гурьевич (1951-) \авт. предисл.\; Непомнящий, В. А. \авт. предисл.\; Марчук, Андрей Гурьевич \ред.\; Российская академия наук(СО РАН ; Новосибирск). Сибирское отделение; Институт систем информатики им. А. П. Ершова
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
5.
   681
   С 409

    Системная информатика : сборник научных трудов / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; [редкол.: В. Е. Котов (гл. ред.) и др.]. - Новосибирск : Наука, 1991 - . - (Системная информатика).
   Вып. 1 : Проблемы современного программирования / [М. А. Бульонков и др. ; под ред. В. Е. Котова]. - 1991. - ISBN 5-02-029676-7 : 6.78 р., 5.30 р.
ГРНТИ
50.05
УДК
004.42(082)
ББК Ч23я43
Рубрики: Программирование--Сборники
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОГРАММИРОВАНИЕ ПАРАЛЛЕЛЬНОЕ -- АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ -- ИНТЕГРАЛЬНЫЕ СХЕМЫ
Аннотация: В данной серии обсуждаются вопросы системного теоретического программирования, архитектуры ЭВМ, искусственного интеллекта, параллельного и прикладного программирования и т. п.


Доп.точки доступа:
Котов, Вадим Евгеньевич \ред.\; Бульонков, М. А.; Вирт, Н.; Аугустон, М. И.; Диковский, Александр Яковлевич; Котов, Вадим Евгеньевич; Лельчук, Т. И.; Малышкин, В. Э.; Апанович, Зинаида Владимировна; Марчук, Андрей Гурьевич; Котов, Вадим Евгеньевич \ред.\; Котов, Вадим Евгеньевич \авт. предисл.\; Академия наук СССР(СО РАН ; Новосибирск). Сибирское отделение; Институт систем информатики им. А. П. Ершова
Экземпляры всего: 2
Х (1), АБН (1)
Свободны: Х (1), АБН (1)
Найти похожие
6.
   681
   А 456

   
    Алгебра и дискретная математика. Теоретические основы математического обеспечения ЭВМ : сборник научных трудов (межвузовский) / М-во высш. и среднего спец. образования Латвийской ССР, Латвийский гос. ун-т, каф. дискретной математики ; М-во высш. и среднего спец. образования Латвийской ССР, Латвийский гос. ун-т, каф. дискретной математики. - Рига : Изд-во Латвийского гос. ун-та, 1986. - 157 с. : ил. - Библиогр. в конце ст. - 1.20 р., 1.20 р.
    Содержание:
Альбертс, М. Я. Распознавание контекстно-свободных языков на альтернатирующих машинах Тьюринга / М. Я. Альбертс. - С .5-13
Бойко, С. Н. Автоморфизмы треугольных произведений биавтоматов / С. Н. Бойко. - С .13-25
Булс, Я. А. Некоторые понятия моделирования конечных детерминированных автоматов / Я. А. Булс. - С .25-37
Вавилов, Н. А. О решении систем однородных линейных уравнений / Н. А. Вавилов. - С .37-43
Волков, Н. Д. переход от реляционной алгебры к алгебре Халмоша / Н. Д. Волков. - С .43-55
Гварамия, А. А. Моноассоциативные n-нильпотентные лупы / А. А. Гварамия, Г. А. Карасев. - С .55-67
Детловс, В. К. Лад и мелодическая линия / В. К. Детловс. - С .67-89
Дискин, Э. Б. Синтаксическая модель теории множеств высшего порядка / Э. Б. Дискин. - С .89-105
Карташев, А. П. Комбинаторное описание динамики активности стохастических сетей формальных нейронов / А. П. Карташев. - С .105-117
Липянский, Р. С. О триангулируемых представлениях алгебр ЛИ / Р. С. Липянский. - С .117-125
Пивоварова, Г. В. Замечание о решетчатых парах / Г. В. Пивоварова. - С .125-131
Цирулис, Я. П. Абстрактное описание типов данных и многообразий алгебр данных / Я. П. Цирулис. - С .131-145
ГРНТИ
20
УДК
004.42(082)
Рубрики: Обработка данных автоматическая--Сборники


Доп.точки доступа:
Цирулис, А. П. \ред.\; Министерство высшего и среднего специального образования Латвийской ССРЛатвийский государственный университет. Кафедра дискретной математики
Экземпляры всего: 2
Х (1), АБН (1)
Свободны: Х (1), АБН (1)
Найти похожие
7.
   681
   А 878

   
    Архитектура и программное оснащение цифровых систем : сборник статей / Московский государственный университет им. М. В. Ломоносова, Кафедра вычислительной математики и кибернетики, Ленинградский государственный университет им. А. А. Жданова, Математико-механический факультет ; ред.: Н. П. Брусенцов, А. М. Шауман. - Москва : Изд-во МГУ, 1984. - 126 с. : ил. - Библиогр. в конце ст. - 1.30 р.
ГРНТИ
50.05.15
УДК
004.42(082)
Рубрики: Программирование ЭВМ. Компьютерные программы
Кл.слова (ненормированные):
вычислительные машины -- коды в вычислительной технике -- программирование


Доп.точки доступа:
Брусенцов, Николай Петрович \ред.\; Шауман, А. М. \ред.\; Московский государственный университет им. М. В. Ломоносова. Кафедра вычислительной математики и кибернетики; Ленинградский государственный университет им. А. А. Жданова. Математико-механический факультет
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
8.
   62
   В 748

    Вопросы кибернетики : сборник статей / , и др. ; ред. О. М. Белоцерковский ; Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика". - Москва : [б. и.].
   Вып. 104 : Архитектура и программирование быстродействующих малых ЭВМ / ред.: Ю. Е. Нестерихин, М. А. Березовский. - 1985. - 138 с. - ). - Библиогр. в конце ст. - 1.30 р., 1.30 р.
ГРНТИ
50.05
УДК
004.42(082)
Рубрики: Программирование ЭВМ. Компьютерные программы
Кл.слова (ненормированные):
вычислительные машины -- кибернетика


Доп.точки доступа:
Белоцерковский, Олег Михайлович \ред.\; и др.; Нестерихин, Ю. Е. \ред.\; Березовский, М. А. \ред.\; Академия наук СССР. Научный совет по комплексной проблеме "Кибернетика"
Экземпляры всего: 2
Х (1), АБН (1)
Свободны: Х (1), АБН (1)
Найти похожие
9.
   681
   И 889

   
    Исследование операций и программирование: Математические науки : межвузовский сборник / Кишинев. гос. ун-т им. В. И. Ленина ; отв. ред. Б. А. Щербаков. - Кишинев : Штиинца, 1982. - 183 с. - Библиогр. в конце ст. - 1.60 р.
ГРНТИ
50.05
УДК
004.42(082)
Рубрики: Программирование ЭВМ--Сборники
Кл.слова (ненормированные):
ОПЕРАЦИЙ ИССЛЕДОВАНИЕ (МАТЕМАТИКА) -- ЦИФРОВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (ПРОГРАММИРОВАНИЕ)


Доп.точки доступа:
Щербаков, Борис Алексеевич \отв. ред.\; Кишиневский государственный университет им. В. И. Ленина
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
10.
   681
   М 340

   
    Математическое обеспечение пакетов прикладных программ и методы дискретной оптимизации : сборник научных трудов / Акад. наук УССР, Науч. совет по пробл. "Кибернетика", Ин-т кибернетики им. В. М. Глушкова ; отв. ред. И. В. Сергиенко. - Киев : ИК, 1984. - 127 с. - Библиогр. в конце ст. - 0.35 р.
ГРНТИ
50.05
УДК
004.42(082)
Рубрики: Программирование ЭВМ--Сборники научных трудов
Кл.слова (ненормированные):
ЦИФРОВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (ПРОГРАММЫ ПРИКЛАДНЫЕ) -- ДИСКРЕТНАЯ ОПТИМИЗАЦИЯ (МЕТОДЫ)


Доп.точки доступа:
Сергиенко, Иван Васильевич \отв. ред.\; Академия наук Украинской ССР. Научный совет по проблеме "Кибернетика"Институт кибернетики им. В. М. Глушкова
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 13.07.2024
Число запросов 24272
Число посетителей 452
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)