Логика и компьютер [Текст] : монография. - М. : Наука, 1995. - 129 с. - (Кибернетика: неограниченные возможности и возможные ограничения). - Б. ц.
Кл.слова (ненормированные): Математическая логика -- Компьютер Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
В 17 Ван Тассел, Д. Стиль, разработка, эффективность, отладка и испытание программ [Текст] / Д. Ван Тассел; Пер. с англ. Е.К.Масловского, В.А.Прониной ; Под ред. Э.А.Трахтенгерца. - 2-е изд., испр. - М. : Мир, 1985. - 332 с. : ил. - Библиогр. в конце глав. - Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
В 94 Вычислительные методы и математическое обеспечение ЭВМ [Текст] / ред. А. Н. Чекалин, ред. Е. В. Ермолин. - Казань : Изд-во ун-та, 1980 - . Вып.2. - 159 с. - Библиогр. в конце ст. - Б. ц.
Доп.точки доступа: Чекалин, А.Н. \ред.\; Ермолин, Е.В. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |