Полное описание
Монахов, М. Ю. Кн. 3 : Логика и функционирование. - 1999. - 119 с. : ил. - 200 экз. - ISBN 5-89368-118-5
Рубрики: Математическая логика -- Применение в вычислительной технике
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНАЯ МАШИНА -- ДИСКРЕТНЫЙ АВТОМАТ -- ЛОГИЧЕСКАЯ СХЕМА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- СХЕМА
Экз-ры полностью 47a5b5109d5efdf61193984cf3489269 Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/56521/3)
Шифр в сводном ЭК: 47a5b5109d5efdf61193984cf3489269
Лицевая сторона карточки Обратная сторона карточки
Комплексная защита объектов информатизации : Материалы науч.-техн. семинара межрегион. выставки "Информационные технологии-2005", Владимир, 24 марта 2005 г. / ред. М. Ю. Монахов, 2005. - 92 с. - Текст : непосредственный. Монахов М.Ю. Учимся проектировать на компьютере : практикум / М. Ю. Монахов, С. Л. Солодов, Г. Е. Монахова, 2006. - 171 с. - Текст : непосредственный. Монахов М.Ю. Методы и модели обработки и представления информации в распределенных образовательных системах : автореф. дис. .. д-ра техн. наук: 05.13.01, 05.13.10 / М. Ю. Монахов, 2005. - 32 c. - Текст : непосредственный. Монахов, М. Ю. Основы информатики и вычислительной техники : Учеб.пособие. Кн. 3 : Логика и функционирование, 1999. - 119 с. - Текст : непосредственный. Илларионов Ю.А. Безопасное управление ресурсами в распределенных информационных и телекоммуникационных системах : Монография / Ю.А.Илларионов,М.Ю.Монахов, 2004. - 211 с. - Текст : непосредственный. Монахов М.Ю. Учимся проектировать на компьютере : Практикум / М. Ю. Монахов, С. Л. Солодов, Г. Е. Монахова, 2005. - 172 с. - Текст : непосредственный. Монахов, М. Ю. Информатика : Учеб.пособие. Кн. 4 : Программные и аппаратные средства, 2002. - 91 с. - Текст : непосредственный. Комплексная защита объектов информатизации / Министерство науки и высшего образования Российской Федерации, Владимирский государственный университет имени Александра Григорьевича и Николая Григорьевича Столетовых. Кн. 29 : Техническая защита информации : проектирование технических средств защиты территорий и объектов от несанкционированного доступа : учебное пособие / Тельный А.В. ; под редакцией М. Ю. Монахова, 2020. - 250 с. - Текст (визуальный) : непосредственный. Модели обеспечения достоверности и доступности информации в информационно-телекоммуникационных системах : монография / М. Ю. Монахов [и др.], 2015. - 208 с. - Текст : непосредственный. Алтухов Е.В. Основы информатики и вычислительной техники / Е. В. Алтухов, Л. А. Рыбалко, В. С. Савченко, 1992. - 303 с. - Текст : непосредственный. Антипов И.Н. Основы информатики и вычислительной техники : методический материал / И. Н. Антипов, 1991. - 247 c. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Завальский, Л. Ю. Введение в информатику. Ч. 1, 1997. - 149 с. - Текст : непосредственный. Основы информатики и вычислительной техники : Пробное учеб.пособие / А.Г.Гейн,В.Г.Житомирский,Е.В.Линецкий и др., 1989. - 272 с. - Текст : непосредственный. Основы информатики и вычислительной техники : Тексты лекций / И.Г.Ахмедов,В.В.Евдокимов,А.Н.Жигарев и др., 1990. - 168 с. - Текст : непосредственный. Громов А.И. Основы информатики и вычислительной техники : учеб. курс по математике и информатике / А. И. Громов, Е. С. Курышев, Л. О. Курышева, 2007. - 270 с. - Текст : непосредственный. Андреев А.В. Основы информатики и вычислительной техники : Учеб. пособие / А. В. Андреев, Б. И. Беккерман, В. И. Гриднев, 2002. - 255 с. - Текст : непосредственный. Кузнецов Э.И. Основы информатики и вычислительной техники : Учеб. пособие для средних спец. учеб. заведений / Э.И.Кузнецов,О.М.Сорокина;Под общ. ред. Э.И.Кузнецова, 1993. - 190 c. - Текст : непосредственный. Громов А.И. Основы информатики и вычислительной техники / А.И.Громов,М.Я.Сафин, 1994. - 118 c. - Текст : непосредственный. Основы информатики и вычислительной техники / А.И.Громов,М.Я.Сафин,Т.Е.Аросева,Т.Г.Арсеньева, 1991. - 88 с. - Текст : непосредственный. Ермаков А. П. Основы информатики и вычислительной техники : Учебное пособие / А. П. Ермаков, 2017. - 262 с. - Текст : электронный. Федотов И. Е. Квантовые алгоритмы и симуляция квантовых вычислений : выставочные материалы / И. Е. Федотов, 2012. - 110 с. - Текст : непосредственный. Theoretical aspects of computing - ICTAC 2006 / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. FSTTCS 2005: foundations of software technology and theoretical computer science / SpringerLink (Online service), 2005 r=on-line Graph-theoretic concepts in computer science / SpringerLink (Online service), 2005 r=on-line Computational science and high performance computing III / SpringerLink (Online service), 2008 r=on-line Андреев Н.Е. Исследование и реализация эффективных методов анализа производительности параллельных программ / Н. Е. Андреев, 2011. - 18 с. - Текст : непосредственный. STOC/FOCS bibliography : материалы временных коллективов / Ed. D. S. Johnson, 1991. - 313 p. - Текст : непосредственный. Микони С.В. Общие диагностические базы знаний вычислительных систем / С. В. Микони, 1992. - 236 c. - Текст : непосредственный. Computational logic : сборник научных трудов / Ed. J. W. Lloyd, 1990. - 211 p. - Текст : непосредственный. Епифанов А.Ф. Функциональное диагностирование процессорных блоков по схемам алгоритмов : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / А. Ф. Епифанов, 1992. - 14 с. - Текст : непосредственный. Computational logic and proof theory : сборник научных трудов / Ed. G. Gottlob, 1993. - XI,348 p. p. - Текст : непосредственный. Software and System Modeling. - выходит с 2002г. - Текст : электронный. Fundamentals of computation theory : материалы временных коллективов / Ред.Ed. L. Budach, 1991. - XII, 426 p. 426 p. - Текст : непосредственный. Journal Computer Science Technology. - Журнал. - Текст : непосредственный. Category theory and computer science : сборник научных трудов / Ed. D. H. Pitt, 1989. - VI,365 p. p. - Текст : непосредственный. Паршин Д.Я. Математические основы электротехники и автоматики : выставочные материалы / Д. Я. Паршин, 2013. - 135 с. - Текст : непосредственный. Теоретические вопросы вычислительной техники и программного обеспечения : сборник научных трудов / Московский ин-т радиотехники, электроники и автоматики, 2003. - 223 с. - Текст : непосредственный. Данилин Н.С. Руководство по поиску неисправностей и ремонту компьютеров IBM PC / Н. С. Данилин, В. П. Улитенко, А. А. Крипак, 1992. - 256 с. - Текст : непосредственный. Пивоварчик А.А. Математическое программирование : выставочные материалы / А. А. Пивоварчик, 1997. - 300 с. - Текст : непосредственный. Concurrency. - Журнал, 1995г. 7 № 3. Показать все результаты Computational logic : сборник научных трудов / Ed. J. W. Lloyd, 1990. - 211 p. - Текст : непосредственный. Computational logic and proof theory : сборник научных трудов / Ed. G. Gottlob, 1993. - XI,348 p. p. - Текст : непосредственный. Computer science logic : материалы временных коллективов / Ed. E. Borger, 1991. - VIII,399 p. p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Rounds W.C. Suggestions for a non-monotonic feature logic / W.C.Rounds,G.Q.Zhang, 1995. - 27 p. - Текст : непосредственный. Computer science logic : 7th workshop,CSL'93,Swansea,United Kingdom,Sept.13-17 1993:Sel.papers / CSL'93, 1994. - VIII,336 p. p. - Текст : непосредственный. 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. - Текст : непосредственный. Deontic logic in computer science : 10th International сonference, DEON 2010, Fiesole, Italy, July 7-9, 2010: proceedings / eds. G. Governatori, G. Sartor, 2010 r=on-line. - Текст : электронный. Puppis G. Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / G. Puppis, 2010 r=on-line. - Текст : электронный. Proceedings of the 5th symposium on logic in computer science,June 1990,Philadelphia, Pa : Mfiche (10) / Symposium on logic in computer science (5 ; 1990 ; Philadelphia, Pa) , 1990. - 509 мкфш. - Текст : непосредственный. Gallier J.H. Logic for computer science : Foundations of automatic theorem proving / J.H.Gallier, 1986. - XV,511 p. p. - Текст : непосредственный. Klop J.W. geometric proof of confluence by decreasing diagrams / J.W.Klop,V.van Oostrom,R.de Vrijer, 2000. - 22 p. - Текст : непосредственный. Symposium on logic in computer science : Proc., June 16-18 1986,Cambridge(Ma) / Symposium on logic in computer science (1986 ; Cambridge(Ma)) , 1986. - 383 p. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
