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

Базы данных


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

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

Вид документа : Продолжающееся издание
Шифр издания : 681/С 409
Автор(ы) : Котов, Вадим Евгеньевич, Черкасова Л. А., Вальковский В. А., Вирбицкайте И. Б., Задыхайло И. Б., Зеленецкий С. Д., Горелик А. М., Платонова Л. Н., Поддерюгина Н. В., Борщев А. В., Карпов Ю. Г., Колесов Ю. Б., Стаа, Арндт фон, Люсена, Карлос Ж. П. де, Вирт Н., Зубенко В. В., Протасов А. В., Мёссенбёк Х.-П., Темпл Д., Гриземер Р.
Заглавие : Системная информатика: сборник научных трудов/ Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; [редкол.: В. Е. Котов (гл. ред.) и др.]. - (Системная информатика). Вып. 2: Системы программирования.Теория и приложения
Выходные данные : Новосибирск: Наука, 1993
Колич.характеристики :247 с.: ил.
Коллективы : Российская академия наук, Институт систем информатики им. А. П. Ершова
ISBN, Цена 5-02-029970-7: 400 р.
ГРНТИ : 50.05
УДК : 004.42(082)
ББК : Ч23я43
Предметные рубрики: Программирование
Ключевые слова (''Своб.индексиров.''): системы программирования--информатика
Аннотация: Включены работы известных советских и зарубежных ученых, в которых рассматриваются вопросы бъектно-ориентированного, логического, параллельного, функционального программирования и анализа систем реального времени, а также приводится описание метаокружения для разработки программного обеспечения "Талисман"
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
2.

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

Вид документа : Однотомное издание
Шифр издания : 681/И741
Заглавие : Информатика и вычислительные системы : [сб.ст.]
Выходные данные : М., 1993
Колич.характеристики :160с.
ISBN, Цена 5-211-02713-2: 375 р.
УДК : 004.42(082)
Ключевые слова (''Своб.индексиров.''): вычислительные системы--информатика
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
4.

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

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

Вид документа : Однотомное издание
Шифр издания : 681/А 456
Заглавие : Алгебра и дискретная математика. Теоретические основы математического обеспечения ЭВМ : сборник научных трудов (межвузовский)
Выходные данные : Рига: Изд-во Латвийского гос. ун-та, 1986
Колич.характеристики :157 с.: ил.
Коллективы : Министерство высшего и среднего специального образования Латвийской ССР, Латвийский государственный университет. Кафедра дискретной математики
Примечания : Библиогр. в конце ст.
Цена : 1.20, 1.20, р.
ГРНТИ : 20
УДК : 004.42(082)
Предметные рубрики: Обработка данных автоматическая
Содержание : Распознавание контекстно-свободных языков на альтернатирующих машинах Тьюринга/ М. Я. Альбертс. Автоморфизмы треугольных произведений биавтоматов/ С. Н. Бойко. Некоторые понятия моделирования конечных детерминированных автоматов/ Я. А. Булс. О решении систем однородных линейных уравнений/ Н. А. Вавилов. переход от реляционной алгебры к алгебре Халмоша/ Н. Д. Волков. Моноассоциативные n-нильпотентные лупы/ А. А. Гварамия, Г. А. Карасев. Лад и мелодическая линия/ В. К. Детловс. Синтаксическая модель теории множеств высшего порядка/ Э. Б. Дискин. Комбинаторное описание динамики активности стохастических сетей формальных нейронов/ А. П. Карташев. О триангулируемых представлениях алгебр ЛИ/ Р. С. Липянский. Замечание о решетчатых парах/ Г. В. Пивоварова. Абстрактное описание типов данных и многообразий алгебр данных/ Я. П. Цирулис.
Экземпляры : всего : Х(1), АБН(1)
Свободны : Х(1), АБН(1)
Найти похожие
7.

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

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

Вид документа : Однотомное издание
Шифр издания : 681/И 889
Заглавие : Исследование операций и программирование: Математические науки : межвузовский сборник
Выходные данные : Кишинев: Штиинца, 1982
Колич.характеристики :183 с
Коллективы : Кишиневский государственный университет им. В. И. Ленина
Примечания : Библиогр. в конце ст.
Цена : 1.60 р.
ГРНТИ : 50.05
УДК : 004.42(082)
Предметные рубрики: Программирование ЭВМ
Ключевые слова (''Своб.индексиров.''): операций исследование (математика)--цифровые вычислительные машины (программирование)
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 681/М 340
Заглавие : Математическое обеспечение пакетов прикладных программ и методы дискретной оптимизации : сборник научных трудов
Выходные данные : Киев: ИК, 1984
Колич.характеристики :127 с
Коллективы : Академия наук Украинской ССР. Научный совет по проблеме "Кибернетика", Институт кибернетики им. В. М. Глушкова
Примечания : Библиогр. в конце ст.
Цена : 0.35 р.
ГРНТИ : 50.05
УДК : 004.42(082)
Предметные рубрики: Программирование ЭВМ
Ключевые слова (''Своб.индексиров.''): цифровые вычислительные машины (программы прикладные)--дискретная оптимизация (методы)
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 08.08.2024
Число запросов 5369
Число посетителей 132
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)