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

Базы данных


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

Вид поиска

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

Логика и компьютер: Моделирование рассуждений и проверка правильности программ/Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. - 1990
2.

Теннант-Смит Дж. Бейсик для статистиков/Дж. Теннант-Смит; пер. с англ. А. А. Савченко, мл.; под ред. А. А. Савченко. - 1988
3.

Правовой эксперимент и совершенствование законодательства/НИИ советского законодательства. - 1988
4.

Штерн В. И. Монтаж и испытание аппаратуры и проводов вторичных цепей электроустановок/В. И. Штерн. - 1984
5.

Боровков А. А. Математическая статистика/А. А. Боровков. - 1984
6.

Боровков А. А. Математическая статистика. Дополнительные главы/А.А. Боровков. - 1984
7.

Байцер Б. Микроанализ производительности вычислительных систем/Б. Байцер ; пер. с англ. под ред. В. В. Мартынюка. - 1983
8.

Хелстром К. Квантовая теория проверки гипотез и оценивания/К. Хелстром ; пер. с англ. М. В. Бурнашева ; под ред. А. С. Холево. - 1979
9.

Бокс Дж. Анализ временных рядов. Прогноз и управление. Вып. 1/Дж. Бокс, Г. Дженкинс. - 1974
10.

Смирнов Н. В. Курс теории вероятностей и математической статистики для технических приложений/Н. В. Смирнов, И. В. Дунин-Барковский. - 1965
 

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

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