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

Главная

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

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

Поисковый запрос: (<.>K=типы данных<.>)

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

   З-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.2
   А 16
З-9 / А 16-ИБФ-КФ

    Абрамов, В. Г.
    Введение в язык паскаль [Текст] : учеб. пособие / В. Г. Абрамов, Н. П. Трифонов, Г. Н. Трифонова. - Москва : Наука, 1988. - 319 с. : ил. - Библиогр.: с. 360 (8 назв.). - 1.10 р.

ГРНТИ

50.05.09.01.33

ББК З-973.2
Рубрики:
Вычислительная техника--Языки программирования
Кл.слова (ненормированные):
ТИПЫ ДАННЫХ -- СТРУКТУРНОЕ ПРОГРАММИРОВАНИЕ -- РАЗРАБОТКА ПРОГРАММ -- ПРОГРАММИРОВАНИЕ -- ТЕКСТОВЫЕ ФАЙЛЫ
Аннотация: Дано доходчивое изложение сути языка программирования паскаль и на его примере доведены до читателя основные концептуальные понятия, входящие практически в любой процедурный язык программирования. Использование возможностей языка, в том числе и для работы со сложными структурами данных, .иллюстрирующие большим числом законченных примеров. Затрагиваются и некоторые общие методологические аспекты, современного программирования - методика разработки программ, их документирование, структурное программирование.

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

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

   З973
   П 27
З9 / П 27-ИБФ-КФ


    Персональные компьютеры: Информатика для всех [Текст] : научно-популярная литература / ред. И. М. Макаров. - Москва : Наука, 1987. - 145 с. - ("Кибернетика - неограниченные возможности и возможные ограничения"). - 0.55 р.

ГРНТИ	20
УДК	681.322

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

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

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

   З-9
   Х 99
З-9 / Х 99-ИБФ-КФ

    Хэнкок, Лэс.
    Введение в программирование на языке Си [Текст] : монография / Л. Хэнкок, М. Кригер ; пер. с англ. С. В. Денисенко. - Москва : Радио и связь, 1986. - 193 с. : рис. - Прил.: с. 183-192. - Предм. указ.: с. 192. - Пер. изд. : The C Primer. - 0.80 р.

ГРНТИ	50.05.09
УДК	004.438=93Си

ББК З-973

Кл.слова (ненормированные):
языки программирования -- компиляция программ -- функции языка -- типы данных -- управляющие структуры -- арифметические операции -- препроцессор языка Си -- классы памяти -- библиотечные функции
Аннотация: Язык программирования Си: типы данных, типы переменных, операторы, управляющие конструкции, функции, препроцессор, массивы, указатели, структуры.

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

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

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

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

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

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

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

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

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

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

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

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