Библиотека института биофизики СО РАН

Главная

Базы данных

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН - результаты поиска

Вид поиска

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН

Иностранные журналы библиотеки Института биофизики СО РАН

Отечественные журналы библиотеки Института биофизики СО РАН

Каталог диссертаций ИБФ СО РАН

Труды сотрудников ИБФ СО РАН

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Вычислительная техника -- Программирование<.>)

Общее количество найденных документов : 5
Показаны документы с 1 по 5

   З-973
   Н 53
З-9 / Н 53-ИБФ-КФ

    Непомнящий, Валерий Алекесандрович.
    Прикладные методы верификации программ [Текст] : монография / В. А. Непомнящий, О. М. Рякин ; ред. А. П. Ершов. - Москва : Радио и связь, 1988. - 256 с. : ил. ; 20 см. - Библиогр.: с. 252-254. - ISBN 5-256-00156-6 : 0.80 р.

ГРНТИ	50.05
УДК	681.3.06

ББК З-973
Рубрики:
Вычислительная техника--Программирование
Кл.слова (ненормированные):
программирование -- типы данных -- структура программы -- подпрограммы -- программные модули -- анализ корректности программ -- семантика программ
Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Рякин, Олег Михайлович; Ершов, А. П. \ред.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З973
   В 52
З97 / В 52-ИБФ-КФ

    Вирт, Н.
    Алгоритмы и структуры данных [Текст] : монография / Н. Вирт ; пер. Д. Б. Подшивалов. - М. : Мир, 1989. - 360 с. : ил. ; 20 см. - Пер. изд. : Algorithms and data structure / N. Wirth. - ISBN 5-03-001045-9 : 1.30 р.

ГРНТИ	50.05.03
УДК	681.3.06

ББК З973.2-018
Рубрики:
Вычислительная техника--Программирование
Кл.слова (ненормированные):
программирование -- алгоритм -- структура данных -- построение программ -- язык Модула-2 -- сортировка массивов
Аннотация: Книга посвящена изложению фундаментальных принципов построения эффективных и надежных программ. В ней содержится также описание и анализ основных алгоритмов. Изложение ведется на языке Модула-2.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Подшивалов, Д. Б. \пер.\; Wirth, N.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З973
   В 95
З9 / В 95-ИБФ-КФ
З9 / В 95-ИБФ-КФ


    Вычислительная техника в инженерных и экономических расчетах [Текст] : учебник / А. В. Петров [и др.] ; ред. А. В. Петров. - 2-е изд., перераб. и доп. - Москва : Высшая школа, 1984. - 320 с. : ил., табл. - Библиогр.: с. 320. - 1.10 р.

ГРНТИ

50.01.33

81.14.01

ББК З973.2-018 я7 + Ж.с51
Рубрики:
Вычислительная техника--Программирование
Техника. Технические науки
Кл.слова (ненормированные):
ЦИФРОВЫЕ ЭВМ -- ФОРТРАН -- ПЛ/1 -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
Аннотация: В учебнике излагаются основы применения цифровых электронных вычислительных машин, приводится их структура, порядок подготовки и методика решения задач. Значительное внимание уделяется алгоритмическим языкам ФОРТРАН-IV и ПЛ/I, программному обеспечению ЭВМ, а также численным методам, наиболее часто используемым в инженерной практике. Материал учебника по сравнению с первым изданием (1975 г.) существенно переработан применительно к использованию современных ЭВМ и новейших методов и средств математического и программного обеспечения.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Петров, Алексей Викторович; Алексеев, Владимир Евтихиевич; Титов, Михаил Алексеевич; Шкатов, Петр Николаевич; Суровцев, Валентин Иванович; Петров, Алексей Викторович \ред.\
Экземпляры всего: 2
ИБФ-КФ (2)
Свободны: ИБФ-КФ (2)
Найти похожие

   В192
   Р 18
В1 / Р 18-ИБФ-КФ

    Райс, Джон.
    Матричные вычисления и математическое обеспечение [Текст] : пер. с англ. / Дж. Райс ; пер. О. Б. Арушанян ; ред. В. В. Воеводин. - Москва : Мир, 1984. - 264 с. : ил. - Библиогр.: с. 257-258. - Имен. указ.: с. 259-262. - Пер. изд. : Matrix computations and mathematical software / John R. Rice. - New York, St. Louis, San Francisco, 1981. - 1.40 р.

ГРНТИ

27.41

ББК В192.161
Рубрики:
Физико-математические науки--Математика
Вычислительная техника--Программирование
Кл.слова (ненормированные):
ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ЭВМ -- МАТРИЦЫ -- ГАУССА МЕТОД -- ИТЕРАЦИЯ -- НАИМЕНЬШИХ КВАДРАТОВ СПОСОБ

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Арушанян, О. Б. \пер.\; Воеводин, В. В. \ред.\; Rice, John R.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З-973
   Н 76
З-9 / Н 76-ИБФ-КФ


    Новые средства программирования для ЕС ЭВМ. Транслятор с языка Ангол 68 и диалоговая система JEC [Текст] : монография / Г. Ф. Дейкало [и др.]. - Москва : Финансы и статистика, 1984. - 207 с. - Библиогр.: с. 201. - 0.90 р.

ГРНТИ

50.05.09

ББК З-973.203
Рубрики:
Вычислительная техника--Программирование
Физико-математические науки--Математика--Математическая кибернетика
Кл.слова (ненормированные):
ХАРАКТЕРИСТИКИ ЯЗЫКА АНГОЛ 68 -- СИСТЕМА А68ЛГУ -- ЭКСПЛУАТАЦИЯ И СОПРОВОЖДЕНИЕ

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Дейкало, Геннадий Федорович; Новиков, Борис Асенович; Рухлин, Алексей Павлович; Терехов, Андрей Николаевич
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

Тематический навигатор

Другие библиотеки

Библиотека института физики

Центральная научная библиотека КНЦ СО РАН

Библиотека института химии и химический технологии

Библиотека института вычислительного моделирования

Библиотека института леса

Библиотека СФУ

Краевая научная библиотека

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)