Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Генеральный сводный каталог РНТБ и филиалов"- результаты поиска

Вид поиска

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

Вид документа : Однотомное издание
Шифр издания : 51 /М-268/М26
Автор(ы) : Марков А.А., Нагорный Н.М.
Заглавие : Теория алгорифмов : монография . -изд. 2-ое, испр. и доп.
Выходные данные : М.: ФАЗИС, 1996
Колич.характеристики :448 с
ISBN, Цена 5-7036-0020-0: 65-87, 65-87, тг.
ГРНТИ : 27.35
УДК : 510.5
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): алгорифм--дизъюнкция--предикат--импликация--семантика
Экземпляры :03-ЧЗ(1)
Свободны : 03-ЧЗ(1)
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 519/Г 124
Автор(ы) : Гаврилов, Сергей Витальевич
Заглавие : Методы анализа логических корреляций для САПР цифровых КМОП СБИС : монография
Выходные данные : М.: Техносфера, 2011
Колич.характеристики :135 с.: ил.
Серия: Мир цифровой обработки
Примечания : Библиогр.: с.132-135 (50 назв.)
ISBN, Цена 978-5-94836-280-9: 1535 тг.
ГРНТИ : 27.43.51
УДК : 519.233.5
Предметные рубрики: Корреляционный анализ
Ключевые слова (''Своб.индексиров.''): импликация--булева алгебра
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие

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