| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :4
 В других БД по вашему запросу найдено:Электронный каталог (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=модели программ<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

    Workshop on Programm Comprehension (1993 ; Capri).
    IEEE Second Workshop on Programm Comprehension: Proceedings July 8-9, 1993 Capri, Italy [Текст] : научное издание / Workshop on Programm Comprehension (1993 ; Capri) . - Washington a. o. : IEEE Computer Society Press, 1993. - 193 p. : fig. - Bibliogr. - ISBN 0-8186-4042-1 : Б. ц.
УДК
519.681(063)

Рубрики: математика--вычислительная математика

Кл.слова (ненормированные):
сопровождение программ -- программное обеспечение -- декодирование программ -- модели программ
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
2.

    Кларк, Эдмунд М. (мл.).
    Верификация моделей программ: Model Checking [Текст] = Model Checking : [монография] / Э. М. Кларк, О. Грамберг, Д. Пелед ; пер. с англ. В. Захарова, Р. Кончакова, Д. Царькова под ред. Р. Смелянского. - Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002. - 416 с. : рис. - Предм. указ.: с. 400-416. - Библиогр.: с. 377-399. - ISBN 5-94057-054-2 (рус.) (в пер.). - ISBN 0-262-03270-8 (англ.) : 115.00 р.
УДК
004.415.5

Рубрики: вычислительная техника--программирование

Кл.слова (ненормированные):
верификация -- model checking -- модели программ -- автоматизация
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Грамберг, Орна
Пелед, Дорон
Захаров, В.
Кончаков, Р.
Царьков, Д.
Смелянский, Р.
Найти похожие
3.

    Бутомо, И. Д.
    Методы распараллеливания алгоритмов и их реализация в вычислительных системах [Текст] : учеб. пособие / И. Д. Бутомо, Д. Ф. Дробинцев, А. Е. Питько ; Ленинградский политехн. ин-т. - Л. : ЛПИ, 1980. - 80 с. : ил. ; 20см. - 0.20 р.
ГРНТИ
50.41.17.01.33
УДК
681.3.06:518.5(075)

Рубрики: Вычислительная техника--Вычислительные системы

Кл.слова (ненормированные):
алгоритм -- вычислительные системы -- модели программ -- распараллеливание программ
Аннотация: Пособие содержит материал по курсам "Вычислительные системы" и "Алгоритмические языки и программирование" и предназначено студентам специальности "Автоматизированные системы управления", а также слушателям факультета повышения квалификации преподавателей по специальности АСУ и специального факультета переподготовки кадров по новым, перспективным направлениям науки и техники.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Дробинцев, Д. Ф.
Питько, А. Е.
Найти похожие
4.

    Чижухин, Г. Н.
    Модели оценки функционирования и планирование работ вычислительных систем [Текст] : учеб. пособие для вузов / Г. Н. Чижухин ; Пензенский политехн. ин-т. - Пенза : ППИ, 1980. - 99 с. : ил. ; 20см. - 0.22 р.
ГРНТИ
50.33.03.01.33
УДК
681.322.01(075)

Рубрики: Вычислительная техника--Цифровая техника

Кл.слова (ненормированные):
вычислительные системы -- модели программ -- диалоговый режим
Аннотация: Освещаются вопросы оценки функционирования вычислительных систем и планирование работ в них, рассматриваемые в курсе "Вычислительные системы и комплексы". Пособие предназначено для студентов, обучающихся по специальностям "Электронные вычислительные машины" и "Автоматизированные системы управления".
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.



Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)