Главная
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН
Иностранные журналы библиотеки Института биофизики СО РАН
Отечественные журналы библиотеки Института биофизики СО РАН
Каталог диссертаций ИБФ СО РАН
Труды сотрудников ИБФ СО РАН
Область поиска
 Найдено в других БД:Труды сотрудников ИБФ СО РАН (13)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=вывод<.>)
Общее количество найденных документов : 19
Показаны документы с 1 по 19
1.

Вид документа : Однотомное издание
Шифр издания : З973/Б 24
Автор(ы) : Бардинова Т. Ю., Блажнов В. Ю., Маслов А. А., Орлов В. Н.
Заглавие : От Паскаля к Аде
Выходные данные : Москва: Финансы и статистика, 1990
Колич.характеристики :255 с.: ил.
Примечания : Библиогр.: с. 253
ISBN, Цена 5-279-00361-1: 1.20 р.
ГРНТИ : 50.05.09
ББК : З973-018.12
Предметные рубрики: Компьютеры-- языки программирования-- Паскаль-- Ада
Ключевые слова (''Своб.индексиров.''): программирование--текст--ввод--вывод--оператор--запись--управление--файл--модуль--пакет--настройка--трансляция
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
2.


    (Свободных экземпляров нет)
Вид документа : Однотомное издание
Шифр издания : В17/К 59
Автор(ы) : Кокрен, Уильям
Заглавие : Методы выборочного исследования : [монография]
Выходные данные : Москва: Статистика, 1976
Колич.характеристики :440 с.: табл.
Перевод издания: Sampling techniques
Примечания : Тит. л. парал. рус., англ. - Библиогр. в конце глав
Цена : 1.92 р.
УДК : 519.8
ББК : В17
Предметные рубрики: методы вычислений
методи обчислень
Аннотация: Книга содержит систематическое изложение методов сбора, оценивания и вычисления ошибок выборки при выборочных обследованиях. Вывод формул оценок и их выборочных дисперсий сопровождается многочисленными примерами из практики английской и американской статистики. Рассмотрены преимущества, недостатки и условия применения различных способов отбора. Книга представляет интерес для широкого круга читателей.
Экземпляры :ИБФ-КФ(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : Е991.77/Б 91
Автор(ы) : Буреш Ян, Крекуле, Иван, Брожек, Густав
Заглавие : Применение ЭВМ в нейрофизиологических исследованиях : монография
Выходные данные : Ленинград: Наука Ленинградское отделение, 1984
Колич.характеристики :240 с
Коллективы : Академия наук СССР. Отделение физиологии
Серия: Методы физиологических исследований
Примечания : Библиогр.: с. 230-238
Цена : 2.90 р.
ГРНТИ : 34.39 + 28.25.23
УДК : 681.142 + 612.822
ББК : Е991.77
Предметные рубрики: Нейрофизиология
Программирование
Ключевые слова (''Своб.индексиров.''): биоуправляемая обратная связь--приемы ввода сигналов--вывод сигналов--стимуляция с обратной связью--квантование аналоговых сигналов--индикация аналоговых сигналов--обнаружение событий
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : Ес51/С 79
Автор(ы) : Стефанов В. Е., Тулуб А. А., Мавропуло-Столяренко Г. Р.
Заглавие : Биоинформатика : учебник для академического бакалавриата : учебник для студентов высших учебных заведений, обучающихся по техническим и естественнонаучным направлениям
Выходные данные : Москва: Юрайт, 2019
Колич.характеристики :252 с.: рис., табл.
Серия: Бакалавр. Академический курс
Примечания : Библиогр.: с. 252. - Книга доступна в электронной библиотечной системе biblio-online.ruПриложение: с. 247-251
ISBN, Цена 978-5-534-00860-9: 800.00 р.
ГРНТИ : 27.35.43
УДК : 57.08
ББК : Ес51
Ключевые слова (''Своб.индексиров.''): биоинформатика--информатика--молекулярная биология--биология--репликация--репродукция--транскрипция--экспрессия генов--геномика--математические методы--методы--модели--базы данных--информационное обеспечение--программное обеспечение--математическое обеспечение
Содержание : ПРЕДМЕТ БИОИНФОРМАТИКИ ; МАКРОМОЛЕКУЛЫ - НОСИТЕЛИ ИНФОРМАЦИИ В КЛЕТКЕ ; Информация на клеточном уровне ; Структура ДНК. Азотистые основания ; Структура РНК ; Структура белков ; ИНФОРМАЦИОННЫЕ МАТРИЧНЫЕ ПРОЦЕССЫ НА МОЛЕКУЛЯРНОМ УРОВНЕ ; Репликация ; Транскрипция ; Процессы модификации РНК. Сплайсинг ; Трансляция ; Формирование пространственных структур ДНК. Структура ДНК-белковых комплексов ; Формирование пространственных структур РНК ; Формирование пространственных структур белков ; МЕЖДИСЦИПЛИНАРНЫЙ ХАРАКТЕР БИОИНФОРМАТИКИ ; Задачи биоинформатики ; Геномика ; Протеомика ; Молекулярная филогения ; МАТЕМАТИЧЕСКИЙ АППАРАТ БИОИНФОРМАТИКИ ; ПРОСТЫЕ СТАТИСТИЧЕСКИЕ МОДЕЛИ В БИОИНФОРМАТИКЕ ; Метод скользящего окна ; Применение теоретико-информационного подхода ; АЛГОРИТМЫ ВЫРАВНИВАНИЯ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ; Алгоритм глобального выравнивания последовательностей ; Алгоритм локального выравнивания последовательностей ; Варианты реализации штрафующей функции за пропуски в выравнивании ; Алгоритмы множественного выравнивания последовательностей ; МАРКОВСКИЕ ЦЕПИ И СКРЫТЫЕ МОДЕЛИ МАРКОВА ; Марковские цепи ; Скрытые модели Маркова ; Алгоритмы, применяемые при работе со скрытыми моделями Маркова ; ИСКУССТВЕННЫЕ НЕЙРОННЫЕ СЕТИ ; Одиночный нейрон ; Обучение нейрона ; Иерархические сети, многослойный пецептрон ; Сеть Хопфилда ; Самоорганизующиеся карты ; БАЙЕСОВА СТАТИСТИКА ; Классическая и байесова вероятности. Байесов вывод ; Формула Байеса для непрерывных распределений ; СИМУЛЯЦИЯ МОНТЕ-КАРЛО И АЛГОРИТМЫ ИМИТАЦИИ ОТЖИГА ; Симуляция Монте-Карло ; Методы Монте-Карло, использующие марковские цепи ; Алгоритм имитации отжига ; ЭВОЛЮЦИОННЫЕ И ГЕНЕТИЧЕСКИЕ АЛГОРИТМЫ ; Общие принципы ; Эволюционные алгоритмы ; Чередование поколений в эволюционных алгоритмах ; Оценка и ранжирование особей согласно степени их "приспособленности" ; Способы отбора особей ; Воспроизводство особей ; Генетические алгоритмы ; АЛГОРИТМЫ КЛАСТЕРНОГО АНАЛИЗА ; Введение в кластерный анализ ; Примеры алгоритмов ; ПРИМЕРЫ МОДЕЛЕЙ В БИОИНФОРМАТИКЕ ; ОБЩИЕ МОДЕЛИ ; Сравнение последовательностей биологических полимеров ; Методы быстрого поиска в базах данных ; Статистическая оценка значимости значений оценочной функции при выравнивании последовательностей ; Применение скрытых моделей Маркова для идентификации последовательностей ; Представление входных данных и интерпретация результатов в моделях, основанных на искусственных нейронных сетях ; Логотипы последовательностей. Информационнотеоретическая интерпретация консервативных участков последовательностей биологических полимеров ; ГЕНОМИКА - ПРИМЕРЫ МОДЕЛЕЙ ; Поиск открытых рамок считывания. Поиск кодирующих фрагментов ; Предсказание оперонной структуры прокариотических геномов ; Предсказание вторичной структуры молекул РНК ; ПРОТЕОМИКА - ПРИМЕРЫ МОДЕЛЕЙ ; Профили аминокислотных последовательностей, позиционно-зависимые матрицы замещения ; Предсказание наличия сигнальных пептидов в исследуемой последовательности ; Применение сети Кохонена для ускорения поиска в базе ; Предсказание вторичной структуры белков ; Предсказание трансмембранных фрагментов белков ; МОДЕЛИРОВАНИЕ СТРУКТУРЫ БЕЛКА В СВЕТЕ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ; Подходы к решению проблемы моделирования пространственной структуры белка. Задача сравнительного моделирования структуры белка по его аминокислотной последовательности ; Альтернативные способы подбора матричной структуры ; ЭВОЛЮЦИОННЫЕ МОДЕЛИ ; Множественные выравнивания ; Построение филогенетических деревьев ; БИОЛОГИЧЕСКИЕ БАЗЫ ДАННЫХ ; Основы структур баз данных ; Базы данных, содержащие информацию о биологических структурах и последовательностях ; Основные форматы данных биоинформатики ; Каталог известных баз данных ; БИОИНФОРМАТИЧЕСКИЕ ПРОГРАММЫ И СЕРВИСЫ ; Анализ последовательностей биологических полимеров ; Расширенный поиск с применением алгоритмов семейства BLAST ; Предсказание физико-химических свойств белков на основании аминокислотных последовательностей ; Поиск белков, обладающих сходными физико-химическими свойствами ; Предсказание особых типов структур и свойств белков ; Каталог репозиториев веб-сервисов ; КВАНТОВЫЙ МИР И БИОЛОГИЯ - ДВЕ СУЩНОСТИ ОДНОЙ И ТОЙ ЖЕ РЕАЛЬНОСТИ ; ИНФОРМАЦИЯ И ВЫЧИСЛЕНИЯ: ОТ КЛАССИЧЕСКОГО КОМПЬЮТИНГА К КВАНТОВОМУ ; Что представляет собой информация - попытка определения ; Классическая информация и вычисления ; Квантовая информация и вычисления ; СОЗНАНИЕ КАК ПРОЯВЛЕНИЕ КВАНТОВОГО МИРА И ЧЕЛОВЕЧЕСКИЙ МОЗГ В КАЧЕСТВЕ КВАНТОВОГО КОМПЬЮТЕРА ; Квантовая информация и работа сознания находят друг друга ; Одна проблема: как совместить локальность и нелокальность ; Пути преодоления противоречий. Грани нелинейности: логика, множества, числа ; Фрактальная р-адическая феноменология единства естественных систем ; Р-адическая система разбирается не только в работе сознания, но и в конформациях белков ; СПИН - НОСИТЕЛЬ КВАНТОВОЙ ИНФОРМАЦИИ ; Квантовый спин и фаза ; Триплетные и синглетные состояния ; Спин заставляет спирали ДНК закручиваться в спираль
Аннотация: Приведены основы биоинформатики - науки, изучающей живые системы методом компьютерного эксперимента. Объем курса соответствует уровню академического бакалавриата, а четкое структурирование информации и обоснованный выбор разделов, описывающих ключевые концепции базовых дисциплин - молекулярной биологии, математики, квантовой физики, - делает книгу полезной для широкого круга читателей разного уровня подготовки и специализации. Содержит описания реальных и общедоступных ресурсов биологических баз данных и репозиториев биоинформатических инструментов.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : З84/К 89
Автор(ы) : Кузнецов, Юрий Алексеевич, Шилин, Виктор Абрамович
Заглавие : Микросхемотехника БИС на приборах с зарядной связью : монография
Выходные данные : Москва: Радио и связь, 1988
Колич.характеристики :160 с.: рис., табл.
Примечания : Библиогр.: с. 154-161
ISBN, Цена 5-256-00135-3: 0.55 р.
ГРНТИ : 47.33.31
ББК : 3844.15
Ключевые слова (''Своб.индексиров.''): элементы ввода--вывод зарядов--регенераторы зарядов--мультиплексоры--процессоры аналоговых сигналов--внутрикристальное электронное обрамление--элементы взвешивания--фоточувствительные приборы--моделирование элементов приборов
Аннотация: Схемотехника больших интегральных микросхем на приборах с зарядовой связью, методы проектирования элементов сложения, вычитания, умножения.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : З-973/Б 70
Автор(ы) : Блэнд, Грехем
Заглавие : Основы программирования на языке Бейсик в стандарте MSX : Пер. с англ
Выходные данные : Москва: Финансы и статистика, 1989
Колич.характеристики :208 с.: рис.
Перевод издания: Graham Bland MSX Programming
Цена : 0.80 р.
ГРНТИ : 50.05.09 + 20
УДК : 681.3.06
ББК : З-973
Предметные рубрики: Информатика-- Языки программирования
Содержание : Вводные замечания. Элементарный MSX-Бейсик. Функции и программы. Циклы, прерывания и управление процессами. Ввод, вывод и обработка строк. Структура данных. Введение в графику.
Аннотация: Изложен вводный курс программирования на Бейсике в MSX-стандарте. Вводятся основные понятия языка, принципы устройства ЭВМ, элементы культуры программирования. Текст иллюстрирован типичными примерами.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : З973/З 15
Автор(ы) : Задков, Виктор Николаевич, Пономарев, Юрий Владимирович
Заглавие : Компьютер в эксперименте: архитектура и программные средства систем автоматизации : учебник
Выходные данные : М.: Наука, 1988
Колич.характеристики :376 с.: рис., табл.
Примечания : Прил.: с. 344-370. - Библиогр.: с. 371-373
ISBN, Цена 5-02-013854-1: 2.00 р.
ГРНТИ : 50.41
УДК : 004.23
ББК : З973.203.3 + Ч215с512
Ключевые слова (''Своб.индексиров.''): мини-эвм--микро-эвм--язык ассемблер--ввод-вывод информации--экспериментальные установки--функциональные модули--программирование аппаратуры камак--язык фортран--компьютерная графика--локальные сети--системы автоматизации эксперимента--ошибки трансляции--лазерный комплекс
Аннотация: АрхитектураЭВМ стандартная аппаратура сопряжения (КАМАК, КОМПЛЕКС), программное обеспечение систем автоматизации и технология проведения компьютерного эксперимента.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : П691/Б 91
Автор(ы) : Буренин, Николай Леонидович, Котова, Галина Николаевна
Заглавие : Справочник по пчеловодству : справочное издание . -2-е изд., перераб. и доп.
Выходные данные : Москва: Колос, 1984
Колич.характеристики :286 с.: табл.
Цена : 1.40 р.
ГРНТИ : 68.39.43
УДК : 638.01
ББК : П691
Ключевые слова (''Своб.индексиров.''): биология пчел--содержание пчел--разведение пчел--вывод маток--виведення маток--племенная работа--промышленное пчеловодство--оборудование пасек--болезни пчел--опыление растений--зимовка пчел--мед--пыльца--воск--продукты пчеловодства
Аннотация: Сведения о системе ухода, кормлении пчел, описан пчеловодный инвентарь и оборудование. Приведены материалы о ведении пчеловодства на промышленной основе.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : З973/П 27
Автор(ы) : Перминов О. Н.
Заглавие : Программирование на языке Паскаль : монография
Выходные данные : Москва: Радио и связь, 1988
Колич.характеристики :224 с.: ил.; 21 см
Примечания : Прил.: с. 207-217. - Библиогр.: с. 218
ISBN, Цена 5-256-00158-2: 0.75 р.
ГРНТИ : 50.05.09
УДК : 681.3.06:519.6
ББК : З973.2
Предметные рубрики: Вычислительная техника-- Языки программирования
Ключевые слова (''Своб.индексиров.''): языки программирования--операторы--структурированные типы данных--простые типы данных--динамические структуры данных--ввод исходных данных--вывод информации
Аннотация: Излагается полная версия языка программирования Паскаль, удовлетворяющая международному стандарту. Особое внимание уделяется вопросам практического использования языка и методологии пошаговой разработки программ.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : З973/К 74
Автор(ы) : Коффрон Дж., Лонг В.
Заглавие : Расширение микропроцессорных систем : монография
Выходные данные : Москва: Машиностроение, 1987
Колич.характеристики :320 с
Перевод издания: Coffron J. W. Practical Interfacing Techniques for Microprocessor Systems/ J. W. Coffron, W. E. Long
Цена : 1.50 р.
ГРНТИ : 50.09.33
УДК : 004.777
ББК : З973.2
Ключевые слова (''Своб.индексиров.''): технические средства интерфейса--ввод-вывод данных--оперативное запоминающее устройство--эмиттерно-связная логика--семисегментный символ--аналогово-цифровое преобразование--цифроаналоговое преобразование--организация интерфейса--последовательный интерфейс--клавиатурные видеотерминалы
Аннотация: Особенности архитектури и функционирования микропроцессорных систем, необходимые для организации интерфейса с ОЗУ, ПЗУ и другими внешними устройствами.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : З973/П 27
Автор(ы) : Белокурская, Ираида, Емельянчик Н. Л., Неменман М. Е., Русанова И. А., Фельдман Л. С.
Заглавие : Персональные ЭВМ Единой системы. Пакеты Абак : научное издание
Выходные данные : Москва: Финансы и статистика, 1988
Колич.характеристики :175 с.: ил.
Примечания : Библиогр.: с. 172
ISBN, Цена 5-279-00115-5: 0.45 р.
ГРНТИ : 50.33.35
УДК : 681.322-181.4.066
ББК : З973
Предметные рубрики: Вычислительная техника-- Персональный компьютер
Ключевые слова (''Своб.индексиров.''): персональный компьютер--персональные эвм--программа абак--ввод информации--ввод исходных данных--ввод-вывод информации--функции--код--защита баз данных--деловая графика--защита от вирусов--защита информации--базы данных--редактирование
Аннотация: Книга является руководством по использованию пакетов прикладных программ Абак для персональных профессиональных ЭВМ Единой системы. Наряду с описанием основных понятий пакетов Абак их команд и функций в книгу включены примеры решения задач и описание нескольких сеансов работы на персональной ЭВМ.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : З973/Ц 59
Автор(ы) : Цикритзис Д., Бернстайн Ф.
Заглавие : Операционные системы : монография
Выходные данные : Москва: Мир, 1977
Колич.характеристики :336 с.: табл., рис.
Примечания : Библиогр.: с. 307-330
Цена : 1.80 р.
ГРНТИ : 50.41.15
УДК : 004.451
ББК : З973.2-018
Содержание : Операционные системы. Функции и основные понятия ; Процессы ; Распределение времени процессора ; Управление памятью ; Виртуальная память ; Ввод-вывод и файлы ; Защита ; Проектирование ; Реализация ; Примеры систем ; Структура данных ; Вычислительные структуры ; "Игрушечная" операционная система
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : З973/К 95
Автор(ы) : Кучура, Николай Алексеевич, Ходош, Михаил Викторович, Цагельский, Владимир Иосифович
Заглавие : Персональные ЭВМ единой системы. Бейсик : монография
Выходные данные : М.: Финансы и статистика, 1988
Колич.характеристики :207 с.: рис., табл.
Примечания : Библиогр.: с. 187. - Прил.: с. 188-204
ISBN, Цена 5-279-00112-0: 0.55 р.
ГРНТИ : 50.35.37
УДК : 004.382.7
ББК : З973.2
Ключевые слова (''Своб.индексиров.''): склад персональної еом--операторы управления--ввод данных--вывод данных--дисковые файлы--воспроизведение звука--відтворення звуку--разработка программ--розробка програм--коды пэвм
Аннотация: Для решения задач на персональных ЭВМ Единой системы используются элементы языка Бейсик (операторы, команды, функции), типы данных, файлы.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : З81/Э 41
Автор(ы) : Джонс, Питер, Кокс, Фил, Брукинг, Анни, Стевенс, Антони, Нейлор, Крис, Яздани, Масауд, Смит, Стефен, Рада, Рой, Стониер, Том
Заглавие : Экспертные системы: принципы работы и примеры : монография
Выходные данные : Москва: Радио и связь, 1987
Колич.характеристики :223 с.: ил., схем., табл
Серия: Кибернетика
Перевод издания: Expert systems: Principles and case studies
Примечания : Библиогр. : с. 213-222
Цена : 1.10 р.
ГРНТИ : 28
УДК : 007 + 159.955(082)
ББК : З973.205
Предметные рубрики: Радиоэлектроника-- Кибернетика
Ключевые слова (''Своб.индексиров.''): интеллектуальные системы
Содержание : Основные идеи ; Феномен экспертных систем ; Архитектура экспертных систем ; Проект машин пятого поколения ; Как мы собираемся оценивать работу экспертной системы? ; Логический вывод ; Системы нечеткого рассуждения ; Как построить машину вывода ; Инженерия знаний ; Техника использования знаний на языке Пролог ; Как мы строим систему "Микроэксперт" ; REVEAL - вычислительная среда для создания экспертных систем ; Обучение машин ; Стратегии обучения машин ; Адаптивные обучающиеся системы ; Автоматизация усвоения знаний ; Индустрия знаний
Аннотация: В книге приводятся основные сведения по созданию экспертных систем :общее описание и их архитектура, связь с японским проектом машин пятого поколения, способы построения машинных рассуждений исходя из нечеткой, неполной и противоречивой информации, совокупность методов сбора, обработки и использования знаний, вопросы обучения.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : З973/К 12
Автор(ы) : Каган, Борис Моисеевич
Заглавие : Электронные вычислительные машины и системы : Учебное пособие для вузов . -2-е изд., перераб. и доп.
Выходные данные : Москва: Энергоатомиздат, 1985
Колич.характеристики :552 с
Примечания : Библиогр.: с. 537-542
ISBN, Цена 5283015319: 1.00 р.
ГРНТИ : 49.38.49
ББК : З973.2я73-1
Предметные рубрики: Компьютеры-- персональные-- компьютерные системы и сети
Ключевые слова (''Своб.индексиров.''): система--программа--микро-эвм--код--микропроцессор--процессор--память--ввод--вывод--диск--дисплей--клавиатура--экран--блок--операция--интерфейс--сеть
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : З973/Я 60
Автор(ы) : Янг, Стивен
Заглавие : Алгоритмические языки реального времени. Конструирование и разработка
Выходные данные : Москва: Мир, 1985
Колич.характеристики :400 с.: ил.
Перевод издания: Real Time Languages: Design and Development
Примечания : Библиогр.: с. 386-390. - Авт. указ.: с. 391. - Предм. указ.: с. 392-396
Цена : 2.00 р.
ГРНТИ : 50.05.09
ББК : З973.2-018
Ключевые слова (''Своб.индексиров.''): rtl/2--ввод данных--вывод данных--программирование
Содержание : Проектирование ; Требования к проектированию языков реального времени ; Простые типы данных ; Структурные типы данных ; Классические программные структуры ; Механизмы абстракции ; Параллельность ; Программирование ввода-вывода низкого уровня ; Обработка ошибок ; Проектирование языка ; Разработка ; Разработка языков реального времени ; Язык RTL/2 ; Модула ; Ада
Аннотация: Книга написана известным американским специалистом по программированию. Она знакомит читателей в доступной форме и в тоже время на достаточно высоком научном уровне с основными принципами построения языков программирования реального времени. Подробно разобраны применения этих принципов для языков Модула и Ада. Книга позволяет быстро ориентироваться в языках реального времени и их модификациях. Для программистов и разработчиков математического обеспечения ЭВМ
Экземпляры : всего : ИБФ-КФ(2)
Свободны : ИБФ-КФ(2)
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : Д 24/Б 90
Автор(ы) : Будыко, Михаил Иванович, Израэль, Юрий Антониевич
Заглавие : Глобальные климатические катастрофы : монография
Выходные данные : Москва: Гидрометеоиздат, 1986
Колич.характеристики :159 с.: граф.
Примечания : Библиогр.: с. 146-158
Цена : 0.90 р.
ГРНТИ : 37.23.31
УДК : 551
ББК : Д 247
Предметные рубрики: Геофизика
Дескрипторы: ПРЕДОТВРАЩЕНИЕ КАТАСТРОФ
Ключевые слова (''Своб.индексиров.''): ядерный конфликт
Аннотация: Рассматривается физический механизм природных климатических катастроф, вызванных извержениями вулканов и падением на земную поверхность крупных небесных тел. Обсуждается роль климатических катастроф при массовых вымираниях организмов в геологическом прошлом. Излагаются полученные в последние годы результаты исследований влияния крупномасштабного ядерного конфликта на климат. Обосновывается вывод о вероятности катастрофического для биосферы изменения климата, вызванного ядерным столкновением. Для специалистов в области изучения окружающей среды, экологии и физики атмосферы.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
18.

Вид документа : Однотомное издание
Шифр издания : А55/Г 55
Автор(ы) : Глядков, Владимир Аполлосович
Заглавие : Закон отрицания отрицания и его методологические
Выходные данные : Москва: Наука, 1982
Колич.характеристики :270 с
Коллективы : Академия наук СССР. Кафедра философии
Примечания : Библиогр.: в конце глав
Цена : 1.00 р.
ГРНТИ : 26.03.15
ББК : А55
Предметные рубрики: Закон отрицания отрицания-- Философские проблемы
Ключевые слова (''Своб.индексиров.''): экспликативная функция
Аннотация: В книге всесторонне и систематически рассматривается содержание закона отрицания отрицания как необходимой и составной части марксистско-ленинской концепции развития. Автор формулирует целостную концепцию закона отрицания отрицания и исследует весь комплекс вопросов, образующих его содержание. Исходя из природы закона, делается вывод о всеобщности его действий в природе, обществе и мышлении, раскрывается его методологическая роль в познании и практическом изменении мира, в анализе социально-политических явлений развитого социалистического общества.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : Е02/З-13
Автор(ы) : Завадский, Кирилл Михайлович, Колчинский Э. И.
Заглавие : Эволюция эволюции. Историко-критические очерки проблемы : монография
Выходные данные : Ленинград: Наука, Ленингр. отд-ние, 1977
Колич.характеристики :236 с
Коллективы : Академия наук СССР, Ботанический институт им. В. Л. Комарова
Примечания : Библиогр.: с.221-235
Цена : 1.56
ГРНТИ : 34.03.17
УДК : 57.022
ББК : Е021
Предметные рубрики: Эволюционная биология
Дескрипторы: БИОЛОГИЯ РАЗВИТИЯ
Ключевые слова (''Своб.индексиров.''): актуализм--катастрофизм--неокатастрофизм--неоуниформизм
Аннотация: В книге ставится вопрос о необходимости пересмотра положения о неизменности в процессе эволюции самих ее факторов и причин, которое является одним из основных в современной эволюционной теории. В начале кратко в -теоретическом плане, а затем более подробно — в историко-критическом — сопоставляются основные доктрины, существующие в биологии по этой проблеме (униформизм, неоуниформизм, неокатастрофизм и др.). Делается вывод, что теория эволюции, строящаяся как учение об универсальных факторах и причинах эволюции, должна быть дополнена частными теориями эволюции (исследующими особенности механизмов эволюции отдельных крупных таксонов, таких, например, как простейшие или растения), а также — учением об исторических изменспиях самих универсальпых факторов и причин эволюции и о появлении новых факторов эволюции в процессах мегоарогенеза растений и животных
Экземпляры : всего : ИБФ-КФ(2)
Свободны : ИБФ-КФ(2)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор

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

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