Приложение
для AndroidПолное описание
Schoning, U. Logic for computer scientists / U.Sch@:oning. - Boston, Ma [etc.] : Birkh@:auser , 1989. - 166 с : ил. - (Progress in computer science and applied logic ; vol.8). - ISBN 0-8176-3453-3 : 58.00 р. - Текст : непосредственный.
Библиогр.:с.155-159.Указ.:с.169-166
Перевод заглавия: Логика для специалистов ЭВМ
| ГРНТИ | УДК | |
| 50.07 | 510.285 |
Рубрики:
Математическая логика -- Применение в вычислительной технике
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Snyder W. A proof theory for general unification / W.Snyder, 1991. - 175 175 p. - Текст : непосредственный.Schoning U. Logic for computer scientists / U.Sch@:oning, 1989. - 166 с. - Текст : непосредственный.Greene D.H. Mathematics for the analysis of algorithms / D.H.Greene,D.E.Knuth, 1990. - 132 p. - Текст : непосредственный.
TOFTS-MI.Тестовая и диагностическая программа периферийного оборудования : Операционное руководство.Гл.6.Подсистема В/В / ВЦП. - 150 с. - Текст : непосредственный.Программируемые рабочие станции для проверок с платой 227Х фирмы ГенРэд. Описания языка испытания (версия 8.2). Гл.6 / ВЦП. - 162 c. - Текст : непосредственный.Черноуцан В.П. Применение естественной избыточности кодов для контроля вычислительных структур : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. П. Черноуцан, 1990. - 15 с. - Текст : непосредственный.Шапилов В.Д. Исследование и разработка систем тестового технического диагностирования цифровых узлов высокопроизводительных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. Д. Шапилов, 1991. - 22 с. - Текст : непосредственный.Саидов А.А. Исследование и разработка интерактивной системы моделирования цифровых устройств для диагностики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. А. Саидов, 1991. - 16 с. - Текст : непосредственный.Раков С.В. Автоматизированные методы верификации структуры и анализа тестов цифровых микропроцессорных устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / С. В. Раков, 1991. - 16 с. - Текст : непосредственный.Микони С.В. Методы и алгоритмы автоматизированного диагностирования вычислительных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.14,05.13.16 / С. В. Микони, 1991. - 38 с. - Текст : непосредственный.Вершинин С.В. Последовательная идентификация дефектов программно-управляемых систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05,05.13.12 / С. В. Вершинин, 1991. - 22 с. - Текст : непосредственный.Кащеев Н.И. Разработка методов и алгоритмов диагностирования дискретных устройств по их непрерывным моделям : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Н. И. Кащеев, 1991. - 14 с. - Текст : непосредственный.Ильченко С.Н. Методы построения тестовых последовательностей для константных и временных неисправностей элементов цифровых устройств на основе их статического и динамического функционального моделирования : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / С. Н. Ильченко, 1991. - 21 с. - Текст : непосредственный.Колчанов И.В. Исследование и разработка принципов построения функционально совместимых устройств автоматизации испытания микросборок памяти на цилиндрических магнитных доменах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / И. В. Колчанов, 1992. - 19 с. - Текст : непосредственный.Щербакова Г.Ю. Термофункциональное гипермоделирование и повышение стабильности электронных устройств с многоэлементной структурой : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Г. Ю. Щербакова, 1992. - 16 с. - Текст : непосредственный.Андрюшаев А.М. Анализ и синтез тестов в динамической диагностике цифровых схем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / А. М. Андрюшаев, 1992. - 22 с. - Текст : непосредственный.Дорофеева О.С. Функциональное диагностирование вычислительных процессов на основе стандартных схем программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / О. С. Дорофеева, 1992. - 16 с. - Текст : непосредственный.Епифанов А.Ф. Функциональное диагностирование процессорных блоков по схемам алгоритмов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. Ф. Епифанов, 1992. - 14 с. - Текст : непосредственный.Описание и руководство по работе интерфейсного тестера модели DIT-24 / ВЦП. - 26 c. - Текст : непосредственный.Хамисов О.В. Минимизация функций,имеющих вогнутую миноранту на компактном множестве,и их свойства : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / О. В. Хамисов, 1993. - 18 с. - Текст : непосредственный.Линейный анализатор данных А-5 / ВЦП. - 94 c. - Текст : непосредственный.Тестовые кристаллы / ВЦП. - 15 c. - Текст : непосредственный.Орлов М.А. Системотехнические основы организации и разработки программно-аппаратных средств моделирования для комплексных САПР ИЭВТ : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.05, 05.13.12 / М. А. Орлов, 1993. - 85 с. - Текст : непосредственный.
Показать все результатыFifth annual IEEE symposium on logic in computer science,June,1990,Philadelphia(Pa) : Proc. / Symposium on logic in computer science (5 ; 1990 ; Philadelphia, Pa) , 1990. - XVI,509 p. p. - Текст : непосредственный.Sixth annual IEEE symposium on logic in computer science,July 15-18,1991,Amsterdam : Proc. / Symposium on logic in computer science (6 ; 1991 ; Amsterdam) , 1991. - XVII,417 p. p. - Текст : непосредственный.Proceedings of the 7th annual IEEE symposium on logic in computer science,June 22-25,1992,Santa Cruz(Ca) / Sponsored by IEEE computer soc.techn.comm.on math.foundations, 1992. - XIII,471 p. p. - Текст : непосредственный.Computer science logic : 7th workshop,CSL'93,Swansea,United Kingdom,Sept.13-17 1993:Sel.papers / CSL'93, 1994. - VIII,336 p. p. - Текст : непосредственный.Rounds W.C. Suggestions for a non-monotonic feature logic / W.C.Rounds,G.Q.Zhang, 1995. - 27 p. - Текст : непосредственный.Computational logic and proof theory : Third Kurt G@:odel colloquium,KGC'93,Brno,Aug.24-27 1993.Proc. / KGC'93, 1993. - XI,348 p. p. - Текст : непосредственный.Логика и компьютер : Сб.ст. / Российская академия наук. 2 : Логические языки, содержательные рассуждения и методы поиска доказательств, 1995. - 131 с. - Текст : непосредственный.Blackburn P. Relational methods in logic,language and information / P.Blackburn,M.de Rijke,Y.Venema, 1995. - 17 p. - Текст : непосредственный.Bakker, Jacobus Willem de. Topological models for higher order control flow / Bakker J.W. de, Breugel F.van , 1993. - 19 p. - Текст : непосредственный.Khasidashvili Z. Perpetual reductions in orthogonal commbinatory reduction systems / Z.Khasidashvili, 1993. - 19 p. - Текст : непосредственный.Петров В.В. Обработка языка и логика предикатов / В.В.Петров,В.Н.Переверзев;Отв.ред.В.В.Целищев, 1993. - 157 с. - Текст : непосредственный.Algebra,combinatoriсs and logic in computer science / Ed.:J.Demetrovics, G.et.al. Vol. 1, 1986. - 449 мкфш. - Текст : непосредственный.Algebra,combinatories and logic in computer science / Ed.:J.Demetrovics, G.et.al. Vol. 2, 1986. - 887 мкфш. - Текст : непосредственный.Logic of computation : Proc.of the NATO Advanced study inst.on logic of computation, held in Marktoberdorf, Germany,July 25-Aug.6,1995 / Ed. H. Schwichtenberg, 1997. - VI,394,/8/ p. p. - Текст : непосредственный.Логические методы в компьютерных науках : Тр. н.-и. семинара по логике Ин-та философии АН СССР / Институт философии (Москва), 1991. - 198 с. - Текст : непосредственный.Mathematical logic and theoretical computer science / сост.ed. D. W. Kueker, 1987. - 384 мкф. - Текст : непосредственный.Монахов, М. Ю. Основы информатики и вычислительной техники : Учеб.пособие. Кн. 3 : Логика и функционирование, 1999. - 119 с. - Текст : непосредственный.Computational logic : Symp. proc., Brussels, Nov. 13-14, 1990 / сост.ed. J. W. Lloyd, 1990. - 211 p. - Текст : непосредственный.Computer science logic : Proc. of the 4th workshop, Oct. 1-5,1990, Heidelberg / Ed. E. Borger, 1991. - VIII,399 p. p. - Текст : непосредственный.Schoning U. Logic for computer scientists / U.Sch@:oning, 1989. - 166 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽