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

Главная

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

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

Поисковый запрос: (<.>K=ТИПЫ ДАННЫХ<.>)

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

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

Вид документа : Однотомное издание
Шифр издания : З-973.2/А 16
Автор(ы) : Абрамов В. Г., Трифонов Н. П., Трифонова Г. Н.
Заглавие : Введение в язык паскаль : учеб. пособие
Выходные данные : Москва: Наука, 1988
Колич.характеристики :319 с.: ил.
Примечания : Библиогр.: с. 360 (8 назв.)
Цена : 1.10 р.
ГРНТИ : 50.05.09.01.33
ББК : З-973.2
Предметные рубрики: Вычислительная техника-- Языки программирования
Ключевые слова (''Своб.индексиров.''): типы данных--структурное программирование--разработка программ--программирование--текстовые файлы
Аннотация: Дано доходчивое изложение сути языка программирования паскаль и на его примере доведены до читателя основные концептуальные понятия, входящие практически в любой процедурный язык программирования. Использование возможностей языка, в том числе и для работы со сложными структурами данных, .иллюстрирующие большим числом законченных примеров. Затрагиваются и некоторые общие методологические аспекты, современного программирования - методика разработки программ, их документирование, структурное программирование.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З973/П 27
Заглавие : Персональные компьютеры: Информатика для всех : научно-популярная литература
Выходные данные : Москва: Наука, 1987
Колич.характеристики :145 с
Серия: "Кибернетика - неограниченные возможности и возможные ограничения"
Цена : 0.55 р.
ГРНТИ : 20
УДК : 681.322
ББК : З973.202.4я43
Предметные рубрики: Компьютеры-- программирование
Ключевые слова (''Своб.индексиров.''): персональный--программа--программирование--язык программирования--оперативная система--процессор--микросхема--типы данных--блок памяти--эвм--обработка данных--информация--системный блок--записи--редактор--бейсик--оператор
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З-9/Х 99
Автор(ы) : Хэнкок, Лэс, Кригер, Морис
Заглавие : Введение в программирование на языке Си : монография
Выходные данные : Москва: Радио и связь, 1986
Колич.характеристики :193 с.: рис.
Перевод издания: The C Primer
Примечания : Прил.: с. 183-192. - Предм. указ.: с. 192
Цена : 0.80 р.
ГРНТИ : 50.05.09
УДК : 004.438=93Си
ББК : З-973
Ключевые слова (''Своб.индексиров.''): языки программирования--компиляция программ--функции языка--типы данных--управляющие структуры--арифметические операции--препроцессор языка си--классы памяти--библиотечные функции
Аннотация: Язык программирования Си: типы данных, типы переменных, операторы, управляющие конструкции, функции, препроцессор, массивы, указатели, структуры.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

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

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

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

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

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

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

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

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

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

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