Приложение
для AndroidПолное описание
Foundations of secure computation : материалы временных коллективов / Ed.: F. L. Bauer, R. Steinbruggen. - Amsterdam [etc.] : IOS press, 2000. - IX,319 p. p. : ill. - (NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences ; vol.175). - ISBN 1-58603-015-9. - Текст : непосредственный.
Библиогр.в конце ст. Указ.:с.319
| ГРНТИ | УДК | |
| 50.37.23 | 004.056(063) |
Рубрики:
Информация -- Сохранность -- Съезды и конференции
Кл.слова (ненормированные): ИНФОРМАЦИЯ -- ИНФОРМАЦИЯ
Доп. точки доступа:
Bauer, F.L.\ed.\
Steinbruggen, R.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/14525/175)
Шифр в сводном ЭК: 7be486dfb30696292216abb409324aed
Бауэр Ф.Л. Информатика : Ввод.курс:В 2 ч. Ч. 1 / ред. А. П. Ершов, пер. М. К. Валиев, 1990. - 324,VШ с. с. - Текст : непосредственный.Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Foundations of secure computation : материалы временных коллективов / Ed.: F. L. Bauer, R. Steinbruggen, 2000. - IX,319 p. p. - Текст : непосредственный.
Bauer F.L. Elementare Aussagenlogik / F.L.Bauer,M.Wirsing, 1991. - X,228 p. p. - Текст : непосредственный.Bauer F.L. Historische Notizen zur Informatik / F. L. Bauer, 2009 r=on-line. - Текст : электронный.Proof and system-reliability : Proc .of the NATO ASI 24, July- 5 Aug., Marktoberdorf / Ed.: H. Schwichtenberg, R. Steinbruggen, 2002. - XII, 415 p 415 p. - Текст : непосредственный.Calculational system design : Proc.of the NATO Advanced inst.on calculational system design,Marktoberdorf,Germany,28 July-9 Aug.1998 / Ed.: M. Broy, R. Steinbruggen, 1999. - ix,507 p. p. - Текст : непосредственный.Logic,algebra and computation : Proc.of the NATO advanced study inst.on logic,algebra and computation,Marktoberdorf,July 25-Aug.6 1989 / сост.ed. F. L. Bauer, 1991. - 485 p. - Текст : непосредственный.Bauer F.L. Origins and foundations of computing : in cooperation with heinz nixdorf museumsforum / F. L. Bauer, 2010 r=on-line. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Fractal image encoding and analysis : сборник / Ed. Y. Fisher, 1998. - XIII,368 p. p. - Текст : непосредственный.Active perception and robot vision : материалы временных коллективов / Ed.: A. K. Sood, H. Wechsler, 1992. - IX,756 p. p. - Текст : непосредственный.Adaptive learning environments : материалы временных коллективов / Ed.: M. Jones, P. H. Winne, 1992. - VIII,408 p. p. - Текст : непосредственный.Cognitive modelling and interactive environments in language learning : материалы временных коллективов / Ed. F. L. Engel, 1992. - IX,310 p. p. - Текст : непосредственный.Programming and mathematical method : материалы временных коллективов / Ed. M. Broy, 1992. - VIII,407 p. p. - Текст : непосредственный.Hypermedia courseware:structures of communication and intelligent help : материалы временных коллективов / Ed. A. Oliveira, 1992. - X,239 p. p. - Текст : непосредственный.Interactive multimedia learning environments : материалы временных коллективов / Ed. M. Giardina, 1992. - VI,254 p. p. - Текст : непосредственный.New directions in educational technology : материалы временных коллективов / Ed.: E. Scanlon, T. O'Shea, 1992. - 251 p. - Текст : непосредственный.Multisensor fusion for computer vision : материалы временных коллективов / Comp. J. K. Aggarwal, 1993. - X,456 p. p. - Текст : непосредственный.Communication from an artificial intelligence perspective : материалы временных коллективов / Ed. A. Ortony, 1992. - XI,269 p. p. - Текст : непосредственный.Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Software for parallel computation : материалы временных коллективов / Ed.: J. S. Kowalik, L. Grandinetti, 1993. - 363 p. - Текст : непосредственный.Concurrent engineering:Tools and technologies for mechanical system design : материалы временных коллективов / Ed. E. J. Haug, 1993. - 998 p. - Текст : непосредственный.Advanced educational technology in technology education : сборник научных трудов / Ed. A. Gordon, 1993. - 251 p. - Текст : непосредственный.Cognitive models and intelligent environments for learning programming : материалы временных коллективов / Ed. E. Lemut, 1993. - 305 p. - Текст : непосредственный.Learning electricity and electronics with advanced educational technology : материалы временных коллективов / Сост. M. Caillot, 1993. - 329 p. - Текст : непосредственный.Foundations of secure computation : материалы временных коллективов / Ed.: F. L. Bauer, R. Steinbruggen, 2000. - IX,319 p. p. - Текст : непосредственный.Knowledge acquisition,organization,and use in biology : сборник / Ed.: K. M. Fisher, M. R. Kibby, 1996. - VII,245 p. p. - Текст : непосредственный.Cooperation: game-theoretic approaches : Proc.of the NATO Advanced study inst.on cooperation:game-theoretic approaches, held at SUNY, Stony Brook,New York,July 18-29,1994 / сост.ed. S. Hart, сост.ed. A. Mas-Colell, 1997. - VIII,328/7/ 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. - Текст : непосредственный.
Показать все результатыГришаев С.П. Правовая охрана товарных знаков,программ ЭВМ, ноу-хау в России и за рубежом / С. П. Гришаев, 1994. - 64 c. - Текст : непосредственный.Kane P. Keine Macht den Viren! : монография / P. Kane ; @:ubers. P. Riswick, 1990. - XVI,343 S. S. - Текст : непосредственный.Прокушев Я.Е. Криптографическая защита информации / Я. Е. Прокушев, 2005. - 145 с. - Текст : непосредственный.Фомичев В.М. Дифференциация элементов в конечных группах и в автоматах по заданным признакам, определяющим криптографические свойства систем защиты информации : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени д-ра физ.-мат. наук / В. М. Фомичев, 2006. - 38 с. - Текст : непосредственный.Хоглунд Г. Руткиты: внедрение в ядро Windows / Г. Хоглунд, Д. Батлер, 2007. - 284 с. - Текст : непосредственный.Басан А.С. Разработка моделей, алгоритмов и программ реализации мандатного разграничения доступа в СУБД с интеграцией прав доступа в цифровые сертификаты : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / А. С. Басан, 2007. - 16 с. - Текст : непосредственный.Балашов С.Г. Научно-методическое обеспечение риск-анализа и управление защитой региональных информационно-телекоммуникационных систем : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / С. Г. Балашов, 2007. - 15 с. - Текст : непосредственный.Пелешенко В.С. Разработка математической модели информационного обмена в локальной вычислительной сети для реализации средств и метода сетевой защиты информации : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / В. С. Пелешенко, 2007. - 18 с. - Текст : непосредственный.Оглтри Т.В. Firewalls. Практическое применение межсетевых экранов / Т. В. Оглтри, 2001. - 396 с. - Текст : непосредственный.Степанов П.В. Развитие телекоммуникационных систем и обеспечение информационной безопасности / П. В. Степанов, 2008. - 56 с. - Текст : непосредственный.Астахова А. В. Информационные системы в экономике и защита информации на предприятиях - участниках ВЭД : выставочные материалы / А. В. Астахова, 2014. - 214 с. - Текст : непосредственный.Клименко С.Г. Разработка моделей и методов взаимодействия интернет-ориентированных систем управления документооборотом со средствами аутентификации / С. Г. Клименко, 2011. - 18 с. - Текст : непосредственный.Полищук В.С. Охранные и сетевые устройства внешнего контура системы защиты информации на объектах электронновычислительной техники : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. С. Полищук, 2000. - 21 с. - Текст : непосредственный.Шевченко А.С. Исследование и разработка комплексной методики обнаружения сетевых вторжений : автореф. дис. .. канд. техн. наук: 05.13.13 / А. С. Шевченко, 2007. - 20 с. - Текст : непосредственный.Хорев П.Б. Методы и средства защиты информации в компьютерных системах : учеб. пособие / П. Б. Хорев, 2007. - 255 с. - Текст : непосредственный.Сыпин А.А. Модель и методика обнаружения несанкционированных действий и атак в сетях TCP/IP : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Сыпин, 2006. - 20 с. - Текст : непосредственный.Проблемы информационной безопасности : материалы временных коллективов / Ростовский гос. экономический ун-т, 2006. - 96 с. - Текст : непосредственный.Легкий В.Н. Методы защиты информации / В. Н. Легкий, Р. А. Пермяков, А. Г. Жуков, 1998. - 44 с. - Текст : непосредственный.Ермилов Е.В. Анализ и управление рисками нарушения информационной безопасности критически важного объекта / Е. В. Ермилов, 2014. - 17 с. - Текст : непосредственный.Мошак Н.Н. Организация безопасного доступа к информационным ресурсам : выставочные материалы / Н. Н. Мошак, Т. М. Татарникова, 2014. - 121 с. - Текст : непосредственный.
Показать все результатыSecurity and privacy : Proc.of the 1980-84 symp.on security and privacy and the 1985-87 IEEE symp.on security and privacy / Ed.:C.E.Garvey. Vol. 1 : Proceedings of the first 5 symposia 1980-84, 1990. - VIII,227 p. p. - Текст : непосредственный.Безопасные информационные технологии : материалы временных коллективов / Московский гос. технический ун-т им. Н. Э. Баумана, 2015. - 120 с. - Текст : непосредственный.Security protocols / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Formal aspects in security and trust / SpringerLink (Online service), 2007 r=on-lineТехнологии безопасности : материалы временных коллективов, 2006. - 271 с. - Текст : непосредственный.Computer security in the age of information : сборник / Сост. W. J. Caelli, 1989. - XV,490 p. p. - Текст : непосредственный.Математика и безопасность информационных технологий : материалы временных коллективов / Институт проблем информ. безопасности (Москва), 2005. - 364 с.. - Текст : непосредственный.Security and privacy in communication networks / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Database security: status and prospects : материалы временных коллективов / Ed. C. E. Landwehr, 1988. - IX, 331 p. - Текст : непосредственный.Intelligence and security informatics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Information security and cryptology / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Formal aspects in security and trust / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Emerging challenges for security, privacy and trust / SpringerLink (Online service), 2009 r=on-lineForensics in telecommunications, information and multimedia / SpringerLink (Online service), 2009 r=on-lineАктуальные вопросы обеспечения информационной безопасности : сборник научных трудов / Белгородский ун-т кооперации, экономики и права, 2015. - 106 с. - Текст : непосредственный.Information security and cryptology - ICISC 2004 / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Foundations of secure computation : материалы временных коллективов / Ed.: F. L. Bauer, R. Steinbruggen, 2000. - IX,319 p. p. - Текст : непосредственный.Безопасность информационного пространства : материалы временных коллективов / Южно-Уральский гос. ун-т (Челябинск), 2009. - 255 с. - Текст : непосредственный.Sichere Software:Formale Spezifikation und Verifikation vertrauenswurdiger Systeme : монография / Hrsg. H. Kersten, 1990. - 315 S. - Текст : непосредственный.Security in ad-hoc and sensor networks / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Показать все результатыЗаказ фрагмента документа ₽