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

Главная

Базы данных

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

Вид поиска

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

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

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

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

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

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

Найдено в других БД:

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

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

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

Поисковый запрос: (<.>K=ПРОВЕРКА<.>)

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

Вид документа : Однотомное издание
Шифр издания : З973/Л 69
Автор(ы) : Алешина, Наталья Альбертовна, Анисов, Александр Михайлович, Быстров, Петр Иванович, Герасимова И. А., Меськов В. С., Непейвода Н. Н., Смирнов В. А., Стеблецова В. Н., Шалак В. И.
Заглавие : Логика и компьютер: Моделирование рассуждений и проверка правильности программ : монография
Выходные данные : М.: Наука, 1990
Колич.характеристики :239 с.: рис
Коллективы : Академия Наук СССР (М.)
Серия: Кибернетика - неограниченные возможности и возможные ограничения
Примечания : Библиогр.: с. 231 - 235 (52 назв.)
ISBN, Цена 5-02-007156-0: 0.65 р.
ГРНТИ : 20 + 50.33
ББК : З973.205
Предметные рубрики: Программирование-- Логика-- Экспертные системы-- Искусственный интеллект
Содержание : Классическая первопорядковая логика ; Логика в программировании ; О доказательствах правильности программ ; Поиск доказательств ; Приложение логики к проблемам искусственного интеллекта
Аннотация: Логика является одним из важнейших источников информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной технологией, в особенности для тех, кто изучает и преподает информатику
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З-973/Т 33
Автор(ы) : Теннант-Смит, Джон
Заглавие : Бейсик для статистиков : учебное пособие
Выходные данные : Москва: Мир, 1988
Колич.характеристики :207 с.: рис., табл.
Перевод издания: Tennant-Smith J. BASIC STATISTICS
Примечания : Библиогр.: с. 196-197. - Предм. указ.: с. 198-205
ISBN, Цена 5-03-000725-3: 1.20 р.
ГРНТИ : 50.05.09
ББК : З-973
Предметные рубрики: Вычислительная техника-- персональные компьютеры-- языки программирования-- учебники и пособия
Математика-- математическая статистика
Ключевые слова (''Своб.индексиров.''): вычисления--применение--случайные величины--описательная статистика--выборочный метод--оценивание--проверка гипотез--регрессия--статистические модели
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : Х062/П 68
Заглавие : Правовой эксперимент и совершенствование законодательства
Выходные данные : Москва: Юридическая литература, 1988
Колич.характеристики :304 с
Коллективы : НИИ советского законодательства
ISBN, Цена 5-7260-0084-6: 1.70 SUR
ББК : Х062
Предметные рубрики: Советское государство и право
Ключевые слова (''Своб.индексиров.''): государство и право--проведение эксперимента--правотворчество--правотворческий опыт--судопроизводство--судоустройство--экспериментальная проверка--социальный эксперимент--правотворческая проблема
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З29/А 45
Автор(ы) : Штерн, Владимир Ильич
Заглавие : Монтаж и испытание аппаратуры и проводов вторичных цепей электроустановок : научное издание
Выходные данные : Москва: Энергоатомиздат, 1984
Колич.характеристики :112 с.: рис., табл.
Серия: Библиотека электромонтера; вып. 564
Примечания : Библиогр.: с. 113
Цена : 0.30 р.
ГРНТИ : 45
УДК : 621.31.002.72
ББК : З29-5-081
Содержание : Электрические схемы вторичных цепей электроустановок ; Монтаж панелей, щитов, пультов, приборов и аппаратов ; Монтаж проводов вторичных цепей ; Монтаж контрольных кабелей ; Монтаж вторичных цепей с полупроводниковой и телефонного типа аппаратурой ; Проверка и испытания аппаратуры и проводов вторичных цепей электроустановок ; Организация работ по монтажу аппаратуры, проводов и кабелей вторичных цепей электроустановок
Экземпляры : всего : ИБФ-КФ(2)
Свободны : ИБФ-КФ(2)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : В172/Б 83
Автор(ы) : Боровков, Александр Алексеевич
Заглавие : Математическая статистика : оценка параметров. Проверка гипотез: учеб. пособие для вузов
Выходные данные : Москва: Наука, 1984
Колич.характеристики :472 с
Примечания : Библиогр.: с. 462-465
Цена : 1.30 р.
ББК : В172.3
Предметные рубрики: Математика-- Математическая статистика
Ключевые слова (''Своб.индексиров.''): выборка--закон повторного логарифма--математическая статистика--матрица фишера--метод моментов--неравенство рао-крамера--основные типы статистик--оценка питмена--пособия для вузов--распределение бернулли--распределение коши--распределение стьюдента--распределение фишера--распределения--расстояние хеллингера--теоремы гливенко-кантелли--теоремы непрерывности--теория оценок--теория проверки гипотез--эмпирические распределения
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : В172/Б 83
Автор(ы) : Боровков, Александр Алексеевич
Заглавие : Математическая статистика. Дополнительные главы : Учебное пособие для вузов
Выходные данные : Москва: Наука. Главная редакция физико-математической литературы, 1984
Колич.характеристики :143 с
Примечания : Библиогр.: с. 138-139. -Предм. указ.: с. 143. - Приложения: с. 129-134
Цена : 0.25 р.
ГРНТИ : 27.43.17
УДК : 519.2
ББК : В172.я373
Ключевые слова (''Своб.индексиров.''): выборка--задачи--проверка гипотез--однородность--регрессия--дисперсионный анализ--распознавание--образов--байесовские--стратегии--игры
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З-973/Б 18
Автор(ы) : Байцер, Борис
Заглавие : Микроанализ производительности вычислительных систем : монография
Выходные данные : Москва: Радио и связь, 1983
Колич.характеристики :360 с.: рис., табл.
Примечания : Библиогр.: с. 349-356
Цена : 2.00 р.
ГРНТИ : 50.07.05
УДК : 004.7
ББК : З-973.22-021.8
Предметные рубрики: вычислительные системы
Содержание : Структура, ресурсы и применение ЭВМ ; Параметры и меры производительности ; Предварительный приближенный анализ производительности ; Статистический анализ времени обработки и других ресурсов ; Другой подход к рассмотрению блок-схем транзакций и процессов ; Границы и возможности аналитических методов ; Упрощенный анализ ; Прерывания, ПДП и замедление ; Внешние устройства, запаздывание и планирование ; Теория очередей и смежные вопросы ; Анализ циклических систем ; Анализ асинхронных систем ; Использование статической и динамической памяти ; Тестирование и проверка пригодности моделей ; Настройка - в шутку и всерьоз
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : В171/Х 36
Автор(ы) : Хелстром К.
Заглавие : Квантовая теория проверки гипотез и оценивания : научное издание
Выходные данные : Москва: Мир, 1979
Колич.характеристики :344 с.: ил.
Перевод издания: Helstrom, Carl W. Quantum detection and estimation theory. -New York, 1976
Примечания : Библиогр.: с. 331-339Предм. указ.: с. 340-342
Цена : 1.90 р.
ГРНТИ : 29.05.23
УДК : 530.145 + 519.23
ББК : В171
Содержание : Принятие решений и оценивание ; Классическая теория обнаружения и оценивания ; Квантовая механика ; Проверка квантовых гипотез ; Квантовая теория электромагнетизма ; Обнаружение когерентного излучения ; Обнаружение некогерентного излучения ; Квантовая теория оценивания
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Многотомное издание
Шифр издания : В17/Б 78
Автор(ы) : Бокс Дж., Дженкинс Г.
Заглавие : Анализ временных рядов. Прогноз и управление/ Дж. Бокс, Г. Дженкинс. Вып. 1
Выходные данные : Москва: Мир, 1974
Колич.характеристики :406 с
Перевод издания: Box George E. Time series analysis. Forecasting and control/ George E. Box, Gwilym M. Jenkins. -1970
Примечания : Библиогр.: с. 397-401. -Предм. указ.: с. 402-403
Цена : 1.72 р.
ГРНТИ : 27.43.17
УДК : 519.2
ББК : В172.8
Ключевые слова (''Своб.индексиров.''): прогнозирование--стохастические--линейные--стационарные--нестационарные--модели--автокорреляционная--функция--спектр--построение--оценивание--диагностическая--проверка--сезонные
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : В17/С 50
Автор(ы) : Смирнов, Николай Васильевич, Дунин-Барковский И. В.
Заглавие : Курс теории вероятностей и математической статистики для технических приложений : Учебное пособие для вузов . -2-е изд., испр. и доп.
Выходные данные : Москва: Наука. Главная редакция физико-математической литературы, 1965
Колич.характеристики :511 с.: табл., рис.
Примечания : Библиогр.: с. 501-505. -Предм. указ.: с. 506-511
Цена : 1.10 р.
ГРНТИ : 27.43
УДК : 519.2
ББК : В171
Ключевые слова (''Своб.индексиров.''): случайные величины--события--закон--распределения--многомерные--закон больших чисел--центральная--предельная теорема--проверка гипотез--дисперсионный анализ--теория корреляции--методы расчета--контроля--точности--случайные процессы--процесс пуассона--неравенство чебышева
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

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

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

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

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

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

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

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

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

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

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