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

Главная

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : З-973/Н 53
Автор(ы) : Непомнящий, Валерий Алекесандрович, Рякин, Олег Михайлович
Заглавие : Прикладные методы верификации программ : монография
Выходные данные : Москва: Радио и связь, 1988
Колич.характеристики :256 с.: ил.; 20 см
Примечания : Библиогр.: с. 252-254
ISBN, Цена 5-256-00156-6: 0.80 р.
ГРНТИ : 50.05
УДК : 681.3.06
ББК : З-973
Предметные рубрики: Вычислительная техника-- Программирование
Ключевые слова (''Своб.индексиров.''): программирование--типы данных--структура программы--подпрограммы--программные модули--анализ корректности программ--семантика программ
Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З973/В 52
Автор(ы) : Вирт Н.
Заглавие : Алгоритмы и структуры данных : монография
Выходные данные : М.: Мир, 1989
Колич.характеристики :360 с.: ил.; 20 см
Перевод издания: Wirth N. Algorithms and data structure
ISBN, Цена 5-03-001045-9: 1.30 р.
ГРНТИ : 50.05.03
УДК : 681.3.06
ББК : З973.2-018
Предметные рубрики: Вычислительная техника-- Программирование
Ключевые слова (''Своб.индексиров.''): программирование--алгоритм--структура данных--построение программ--язык модула-2--сортировка массивов
Аннотация: Книга посвящена изложению фундаментальных принципов построения эффективных и надежных программ. В ней содержится также описание и анализ основных алгоритмов. Изложение ведется на языке Модула-2.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

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

Вид документа : Однотомное издание
Шифр издания : В192/Р 18
Автор(ы) : Райс, Джон
Заглавие : Матричные вычисления и математическое обеспечение : пер. с англ.
Выходные данные : Москва: Мир, 1984
Колич.характеристики :264 с.: ил.
Перевод издания: Rice, John R. Matrix computations and mathematical software. -New York, St. Louis, San Francisco, 1981
Примечания : Библиогр.: с. 257-258. - Имен. указ.: с. 259-262
Цена : 1.40 р.
ГРНТИ : 27.41
ББК : В192.161
Предметные рубрики: Физико-математические науки-- Математика
Вычислительная техника-- Программирование
Ключевые слова (''Своб.индексиров.''): вычислительные машины--математическое обеспечение эвм--матрицы--гаусса метод--итерация--наименьших квадратов способ
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З-973/Н 76
Автор(ы) : Дейкало, Геннадий Федорович, Новиков, Борис Асенович, Рухлин, Алексей Павлович, Терехов, Андрей Николаевич
Заглавие : Новые средства программирования для ЕС ЭВМ. Транслятор с языка Ангол 68 и диалоговая система JEC : монография
Выходные данные : Москва: Финансы и статистика, 1984
Колич.характеристики :207 с
Примечания : Библиогр.: с. 201
Цена : 0.90 р.
ГРНТИ : 50.05.09
ББК : З-973.203
Предметные рубрики: Вычислительная техника-- Программирование
Физико-математические науки-- Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): характеристики языка ангол 68--система а68лгу--эксплуатация и сопровождение
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

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

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

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

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

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

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

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

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

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

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