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

Главная

Базы данных

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

Вид поиска

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

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

1-20 21-28

Вид документа : Однотомное издание
Шифр издания : Г.с512/Э 15
Автор(ы) : Барон Р., Шанон М., Каброл Д.
Заглавие : ЭВМ помогает химии : монография
Выходные данные : Ленинград: Химия. Ленинградское отделение, 1990
Колич.характеристики :383 с.: ил.
Перевод издания: Computer aids to chemistry. -Chichester, 1986
Примечания : Библиогр.: с. 345-375
ISBN, Цена 5-7245-0440-5: 3.00 р.
ГРНТИ : 31.01
ББК : Г.с512
Ключевые слова (''Своб.индексиров.''): банк данных по масс-спектрам--интерактивный поиск--компьютерная графика--кристаллография
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 681.3
Автор(ы) : Шевкопляс Б. В.
Заглавие : Микропроцессорные структуры. Инженерные решения : Справочник . -2-е изд., перераб. и доп
Выходные данные : М.: Радио и связь, 1990
Колич.характеристики :512 с.: рис
Примечания : Библиогр.: с. 502-505
ISBN, Цена 5-256-00460-3: Б.ц.
ГРНТИ : 50.09.33
УДК : 681.3 + 681.325.5-181.4(035)
ББК : 32.97
Предметные рубрики: Информатика
Вычислительная техника
Справочники
Содержание : Выбор микропроцессорной системы и организация адресного взаимодействия ее составных частей ; Обеспечение связи микропроцессорной системы с "внешним миром" ; Последовательные каналы связи ; Рекомендации по обеспечению помехозащищенности цифровых устройств ; Примеры построения микропроцессорных систем и их составных частей ; Взаимодействие с объектами ; Контроль, диагностика, восстановление, защита и поиск информации ; Адресация, обмен данными ; Аппаратная поддержка вычислений, цифровые фильтры, узлы микроЭВМ
Аннотация: Рассмотрены практические вопросы проектирования микропроцессорных устройств и систем на их основе. Приведены методы и схемы разделения и расширения адресного пространства, примеры построения последовательных каналов связи. Описаны новые технические решения.
Найти похожие

Вид документа : Однотомное издание
Шифр издания : Ю0,0/Х 85
Автор(ы) : Хофмайстер, Хаймо
Заглавие : Что значит мыслить философски : монография
Параллельн. заглавия :Philosophisch denken: поиск фундамента всего знания и всего сущего: [пер. с нем.]
Выходные данные : Санкт-Петербург: Изд-во Санкт-Петербургского университета, 2006
Колич.характеристики :446 с.: ил. + 22 см
ISBN, Цена 5-288-03969-0: 348.00, р.
УДК : 165.0
ББК : Ю0,0
Предметные рубрики: Философские науки -- Философия
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : В18/Х 36
Автор(ы) : Хеллман, Олави
Заглавие : Введение в теорию оптимального поиска : монография
Выходные данные : Москва: Наука, Главная редакция физико-математической литературы, 1985
Колич.характеристики :245, [1] с.: рис.
Серия: Оптимизация и исследование операций
Примечания : Библиогр.: с. 244-246
Цена : 1.30 р.
ГРНТИ : 27.43
ББК : В18
Предметные рубрики: МАТЕМАТИКА-- ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Ключевые слова (''Своб.индексиров.''): поиск дискретный
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

(Свободных экземпляров нет)
Вид документа : Однотомное издание
Шифр издания : Е04/Х 26
Автор(ы) : Хаубольд, Бернхард, Вие, Томас
Заглавие : Введение в вычислительную биологию. Эволюционный подход [Электронный ресурс] : (+ CD-ROM)
Выходные данные : Москва; Ижевск: R & C Dynamics: Институт компьютерных исследований, 2011
Колич.характеристики :456 с. + 21 см эл. опт. диск (CD-ROM)
Серия: Биоинформатика и молекулярная биология/ Садовничий В.А.4 Скулачев В.П. - гл. ред. серии;
Параллельные издания: CD-ROM: Бернхард Хаубольд, Томас Вие Введение в вычислительную биологию. Эволюционный подход: Bioinfotmer, Бернхард Хауболд. Version 1.01. - Ижевск: Институт компьютерных исследований, 2011
Примечания : перевод с английского. - Библиогр.: с. 409-432;Указ.имен.,предм.: с. 445-455. - Доп.тит.л.англ.
ISBN (в пер.), Цена 978-5-4344-0014-5: 405.00 р.
ГРНТИ : 34.15 + 34.03.17 + 27.35
УДК : 575.1/.2
ББК : Е04в641 + Ев641.0 + Е.с21
Предметные рубрики: Математические методы в биологии
Ключевые слова (''Своб.индексиров.''): вычислительная биология--математические методы--биоинформатика
Аннотация: Предлагаемое введение в вычислительную эволюционную биологию сочетает два основных подхода в анализе данных о молекулярных последовательностях: изучение взаимного расположения биологических последовательностей в пространстве всех последовательностей и их движения в этом пространстве в процессе эволюции. Соответственно, в первой части книги рассматриваются классические методы анализа последовательностей: парное выравнивание, поиск точного совпадения строк, множественное выравнивание и скрытые марковские модели. В центре внимания второй части находятся задачи молекулярной эволюции: подробно рассматриваются филогенетические деревья, анализ изменчивости последовательностей и динамика генов в популяциях. Кроме того, к учебнику прилагаются компьютерные программы с графическим интерфейсом, что позволяет читателю самому экспериментировать с рядом ключевых описываемых понятий. Книга предназначена для студентов и аспирантов биологических и других специальностей, изучающих вычислительную биологию и биоинформатику, а также для исследователей в области как молекулярной биологии, генетики, теории эволюции, так и теории вероятностей, алгоритмов и других разделов математики и информатики.
Экземпляры :ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : Ес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)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : Е485/Р 82
Автор(ы) : Рубенчик, Лев Иосифович
Заглавие : Поиск микроорганизмов в космосе : научно-популярная литература . -2-е изд., перераб. и доп.
Выходные данные : Киев: Наукова думка, 1983
Колич.характеристики :112 с.: ил; 20
Серия: Научно-популярная литература
Примечания : Библиогр.: с. 110-111
Цена : 0.20 р.
ГРНТИ : 34.51
УДК : 577.46
ББК : Е485 + Е089я9
Предметные рубрики: Космическая биология
Ключевые слова (''Своб.индексиров.''): космическая микробиология
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

(Свободных экземпляров нет)
Вид документа : Однотомное издание
Шифр издания : Ч231.172/Р 69
Автор(ы) : Романенко, Владимир Николаевич, Никитина Г. В.
Заглавие : Сетевой информационный поиск : Информация в Интернете. Поисковые машины. Электронные каталоги библиотек. Как формулировать запросы : Практическое учебное пособие
Выходные данные : Санкт-Петербург: Профессия, 2003
Колич.характеристики :284 с.: il + 22 см
Примечания : Библиогр. в конце кн. (7 назв.)
ISBN, Цена 5-93913-044-5: 136.00 р.
ГРНТИ : 20.23
УДК : 01(075.8)
ББК : Ч237.2,07 + Ч231.172
Предметные рубрики: Информационный поиск-- Применение INTERNET
Библиотечное дело-- Автоматизация
Информатика -- Хранение и поиск информации -- Типы информационного поиска
Аннотация: В пособии освещаются возможности поиска информации и документов в Интернете. Предназначено для студентов вузов и средних учебных заведений, аспирантов и преподавателей школ, колледжей и вузов. Может быть полезно библиотекарям и библиографам.
Экземпляры :ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : Е/П 78
Заглавие : Проблемы анализа биологических систем : сборник научных трудов
Выходные данные : Москва: Издательство МГУ, 1983
Колич.характеристики :130 с.: ил.; 21 см
Примечания : Библиогр. в конце ст.
Цена : 1.20 р.
ГРНТИ : 34.03.23
УДК : 573.22
ББК : Е.в641я43
Предметные рубрики: Математические исследования
Ключевые слова (''Своб.индексиров.''): моделирование--биологические системы--самоорганизация--случайный поиск--живые системы--клеточная адаптация--дифференцировка--симметрия--сердечный ритм--биологические реакции
Экземпляры : всего : ИБФ-КФ(2)
Свободны : ИБФ-КФ(2)
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : В313.3я431/П 47
Заглавие : Поиск математических закономерностей Мироздания: физические идеи, подходы, концепции: Избранные труды IV Сибирской конференции по математическим проблемам физики пространства-времени сложных систем (ФПВ-2002).Новосибирск,28-31 июля 2002 г.Том 1.
Выходные данные : Новосибирск: Ин-т математики им. С.Л. Соболева СО РАН, 2002
Колич.характеристики :206 с. + 26 см
Примечания : Библиогр. в конце докл. - В надзаг.: Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С. Л. СоболеваТекст рус., англ.
Цена : б.ц.,
ББК : В313.3я431(2)
Предметные рубрики: Теоретическая физика -- Теория относительности -- Пространство и время в теории относительности -- Материалы конференции
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

11.

Вид документа : Однотомное издание
Шифр издания : В192.1/П 47
Заглавие : Поиск зависимости и оценка погрешности : сборник научных трудов
Выходные данные : Москва: Наука, 1985
Колич.характеристики :147 с.: ил.
Коллективы : Академия наук СССР, Институт проблем передачи информации (Москва)
Примечания : Библиогр. в конце ст.
Цена : 0.95 р.
УДК : 519
ББК : В192.1
Ключевые слова (''Своб.индексиров.''): факторный анализ--векторы задачи--дисперсия--многопараметрические системы--тригонометрия
Экземпляры : всего : ИБФ-КФ(3)
Свободны : ИБФ-КФ(3)
Найти похожие

12.

Вид документа : Однотомное издание
Шифр издания : Е02,0/П 19
Автор(ы) : Пастернак, Чарльз
Заглавие : Поиск : сущность человечества
Выходные данные : Москва: Ин-т компьютерных исслед.; Ижевск: Регулярная и хаотичная динамика, 20102010
Колич.характеристики :448 с.: ил. + 20 см
Примечания : Библиогр.: с. 400-406;Предм. указ.: с. 416-429
ISBN, Цена 978-5-93972-8 42-3: 153.00, р.
УДК : 575.8 + 101.1:313.3
ББК : Ю252:Е01,0 + Е02,0 + Е04в,0 + Е72,0
Предметные рубрики: Философские вопросы и методология биологии-- Проблема жизни
Развитие органического мира-- Филогенез.-- Эволюционное учение
Биологические науки-- Антропология-- Антропогенез
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

13.

Вид документа : Однотомное издание
Шифр издания : З-973.2/О-47
Автор(ы) : Озкарахан, Эзен
Заглавие : Машины баз данных и управление базами данных : научное издание
Выходные данные : Москва: Мир, 1989
Колич.характеристики :695 с.: ил.
Примечания : Библиогр.: с. 676-687
Цена : 3.70 р.
ГРНТИ : 50.05
УДК : 681.3.016
ББК : З-973.2
Ключевые слова (''Своб.индексиров.''): субд--управление базами данных--эвм--ассоциативная память--поиск документов
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

14.

Вид документа : Однотомное издание
Шифр издания : Ч-75/М 79
Автор(ы) : Моргенштерн, Исаак Григорьевич, Уткин, Борис Тимофеевич
Заглавие : Занимательная библиография : монография . -2-е изд., испр. и доп.
Выходные данные : Москва: Книжная палата, 1987
Колич.характеристики :256 с.: ил.
Примечания : Авт. указ.: с. 212-218
Цена : 0.65 р.
ГРНТИ : 13.41
ББК : Ч-75я9
Предметные рубрики: Библиотечное дело-- Библиография
Ключевые слова (''Своб.индексиров.''): книги--библиографические записи--библиографические пособия--библиографическая информация--библиографические услуги--история книги--библиографический поиск--библиотеки--информация
Аннотация: Книга о библиографическом поиске, работе библиографа.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

15.

Вид документа : Однотомное издание
Шифр издания : З844/М 57
Автор(ы) : Мидлтон, Гордон
Заглавие : Наладка и ремонт радиоэлектронных устройств,не имеющих технического описания
Выходные данные : М.: Энергоатомиздат, 1994
Колич.характеристики :304 с.: ил. + 20см.
ISBN, Цена 5283025241: 4000.00, 6000.00, р.
УДК : 621.396.6.087.6
ББК : З844
Предметные рубрики: Радиоэлектронная аппаратура-- Ремонт и содержание
Радиоэлектронная аппаратура-- Применение в быту
Ключевые слова (''Своб.индексиров.''): радиоэлектронная аппаратура--ремонт радиоэлектронных устройств--неисправности в рэа--поиск неисправностей в рэа--наладка рэа--бытовая рэа
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

16.

Вид документа : Однотомное издание
Шифр издания : Ч237.2я73/М 23
Автор(ы) : Маннинг, Кристофер Д., Рагхаван Прабхакар, Шютце Хайнрих
Заглавие : Введение в информационный поиск
Выходные данные : М.: Издательский дом "Вильямс", 2011
Колич.характеристики :528 с.: ил + 24 см
Примечания : Библиогр.: с. 473-505. - Указ.
ISBN, Цена 978-5-8459-1623-5 : 1662.00, р.
ББК : Ч237.2я73-1
Предметные рубрики: Информатика-- Поиск информации-- Типы информационного поиска
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

17.

Вид документа : Однотомное издание
Шифр издания : З873/Л 78
Автор(ы) : Лори П.
Заглавие : Базы данных для микроЭВМ : монография
Выходные данные : М.: Машиностроение, 1988
Колич.характеристики :136 с.: ил.; 21 см
Перевод издания: Laurie P. Databases
Примечания : Библиогр.: с. 135
ISBN, Цена 5-217-00179-8: 0.65 р.
ГРНТИ : 50.41.21
УДК : 681.3.016
ББК : З973.203.3-018.22
Ключевые слова (''Своб.индексиров.''): базы данных--клавиатура--виртуальная память--сортировка данных--поиск электронных данных--удаление данных--машинная графика--корректировка данных--дисковая операционная система
Аннотация: Книга представляет собой введение в основы построения баз данных пользователями микроЭВМ, в частности персональных компьютеров.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

18.

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

19.

Вид документа : Однотомное издание
Шифр издания : Ч237.2,0/И 88
Автор(ы) : Фаязов Х.Ф.
Заглавие : Использование евразийской патентно-информационной системы (ЕАПАТИС) при проведении патентных поисков
Выходные данные : Москва: Патент, 2009
Колич.характеристики :92 с.: ил., табл. + 22 см
Примечания : Библиогр. в конце кн. - На обл. авт. не указаны
ISBN, Цена 978-5-91808-002-3: 340.00, р.
УДК : 347.771:004.78:025.4.036
ББК : Ч237.2,0 + Ч237.140.566.2,0
Предметные рубрики: Культура. Наука. Просвещение -- Информатика. Научно-информационная деятельность -- Хранение и поиск информации -- Поиск информации. Типы информационного поиска
Культура. Наука. Просвещение -- Информатика. Научно-информационная деятельность -- Хранение и поиск информации -- Хранение информации -- Справочно-информационные фонды -- Справочно-информационные фонды отдельных видов документов -- Патенты
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

20.

Вид документа : Однотомное издание
Шифр издания : З813/З-34
Автор(ы) : Зарипов, Рудольф Хафизович
Заглавие : Машинный поиск вариантов при моделировании творческого процесса : монография
Выходные данные : Москва: Наука, 1983
Колич.характеристики :232 с.: ил; 21 см
Серия: Проблемы искусственного интеллекта
Примечания : Библиогр.: с. 226-229. - Указ. имен., предм.: с. 230-232
Цена : 1.70 р.
ГРНТИ : 28
ББК : 3813
Предметные рубрики: Кибернетика
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие