519.1 Л694 Логинов, Б. М. Введение в дискретную математику : Лекции и упражнения по курсу / Б.М. Логинов. - Калуга : [б. и.], 1998. - 423 с. - 100.00 р. ГРНТИ 27.29.25 УДК:519.1(075.8) Ключевые слова: Дискретная математика -- Логика -- Алгебраические структуры -- Булева алгебра -- Теория графов -- учебные пособия Экземпляры всего: 100 Mесто хранения: аб (83), чз (2), кх (15) Свободны: аб (80), чз (2), кх (15) |
519.1 Ш371 Шевелев, Юрий Павлович. Дискретная математика : учеб. пособие для вузов по спец. "Прикладная математика и информатика" / Ю.П. Шевелев. - СПб. : Лань, 2008. - 591 с. : ил. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0810-8 : 660 р. Допущено МОиН РФ ГРНТИ 27.23 УДК:519.1(075.8)519.7(075.8) Ключевые слова: дискретная математика -- теория множеств -- булева алгебра -- теория конечных автоматов -- комбинаторика -- теория графов -- учебные пособия Экземпляры всего: 5 Mесто хранения: чз (3), аб (2) Свободны: чз (3), аб (2) |
6П2.151 К415 Киносита, Кодзо. Логическое проектирование СБИС : научное издание / К. Киносита, К. Асада, О. Карацу ; Пер. с яп. Д.А. Ковтунова, Л.В. Поспелова; Под ред. Л.В. Поспелова. - М. : Мир, 1988. - 309 с. : ил. - ISBN 5-03-000393-3 : 1.70 р. ГРНТИ 29.33.39 УДК:621.38 Ключевые слова: интегральные схемы -- сверхбольшие интегральные схемы -- СБИС -- булева алгебра -- логическое проектирование СБИС -- языки описания -- логическое моделирование СБИС -- тестовые последовательности Доп.точки доступа: Асада, Кунихиро --- Карацу, Осаму --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |