М26 Марков, А. А. Теория алгорифмов [Текст] : монография / А.А.Марков, Н.М.Нагорный. - изд. 2-ое, испр. и доп. - М. : ФАЗИС, 1996. - 448 с. - ISBN 5-7036-0020-0 : 65-87 тг.
Кл.слова (ненормированные): АЛГОРИФМ -- ДИЗЪЮНКЦИЯ -- ПРЕДИКАТ -- ИМПЛИКАЦИЯ -- СЕМАНТИКА Держатели документа: Актюбинский филиал РНТБ Казахстана Доп.точки доступа: Нагорный, Н.М. Экземпляры всего: 1 03-ЧЗ (1) Свободны: 03-ЧЗ (1) |
Гаврилов, Сергей Витальевич. Методы анализа логических корреляций для САПР цифровых КМОП СБИС [Текст] : монография / С. В. Гаврилов. - М. : Техносфера, 2011. - 135 с. : ил. - (Мир цифровой обработки). - Библиогр.: с.132-135 (50 назв.). - ISBN 978-5-94836-280-9 : 1535 тг.
Кл.слова (ненормированные): импликация -- булева алгебра Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |