Полное описание
Trust management : proceedings of IFIPTM 2007: Joint i trust and PST conferences on privacy, trust management and security, July 30- August 2, 2007, New Brunswick, Canada / SpringerLink (Online service) ; eds. S. Etalle, S. Marsh. - Boston, Ma : International federation for information processing, 2007. - on-line. - (IFIP international federation for information processing, ISSN 1571-5736 ; 238). - URL: http://dx.doi.org/10.1007/978-0-387-73655-6 . - ISBN 978-0-387-73655-6. - Текст : электронный.
ГРНТИ УДК 50.37.23 004.056(062)
Рубрики: Информация -- Сохранность -- Съезды и конференции
Доп. точки доступа: Etalle, S.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-0-387-73655-6
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.056(063)/T88-455826)
Шифр в сводном ЭК: 5ac1759e00cde0a058239bbf9731c7f6
Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный. Etalle S. More (on) unification-free Prolog programs / S. Etalle, 1994. - 36 p. - Текст : непосредственный. Logic based program synthesis and transformation / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Bossi A. Simultaneous replacement in normal programs / A.Bossi,N.Cocco,S.Etalle, 1993. - 34 p. - Текст : непосредственный. Apt K.R. On the unification free Prolog programs / K.R.Apt,S.Etalle, 1993. - 16 p. - Текст : непосредственный. Bossi A. Transforming acyclic programs / A.Bossi,S.Etalle, 1993. - 14 p. - Текст : непосредственный. Etalle S. Transformations of CLP modules / S.Etalle,M.Gabbrielli, 1995. - 34 p. - Текст : непосредственный. Logic programming : 22nd international conference, ICLP 2006, Seattle, Wa, USA, August 17-20, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line Trust management : proceedings of IFIPTM 2007: Joint i trust and PST conferences on privacy, trust management and security, July 30- August 2, 2007, New Brunswick, Canada / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Precision assembly technologies for mini and micro products / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. The past and future of information systems: 1976-2006 and beyond / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Software engineering techniques: design for quality / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Trust management / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Artificial intelligence applications and innovations iii / ed. Iliadis, 2009 r=on-line. - Текст : электронный. VlSI-Soc: from systems to silicon : proceedings of IFIP TC 10, WG 10.5, thirteenth International conference on very large scale integration of system on chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australia / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Показать все результаты Greiner W. Quantum electrodynamics / W. Greiner, J. Reinhardt, 2009. - XVI, 447 p. - Текст : непосредственный. Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный. Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный. Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Catalysis by metal complexes / ed.: B. James , P. W. N. M. van Leeuwen. Vol. 28 : Heterocycles from transition metal catalysis : formation and functionalization / A. Kotschy, G. Timari, 2005. - XII, 199 p. - Текст : непосредственный. Catalysis by metal complexes / ed.: B. James, P. W. N. M. van Leeuwen. Vol. 29 : Metal catalysed reactions in ionic liquids / P. J. Dyson, T. J. Geldbach, 2005. - X, 246 p. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line. Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line. Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Показать все результаты Гришаев С.П. Правовая охрана товарных знаков,программ ЭВМ, ноу-хау в России и за рубежом / С. П. Гришаев, 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 с. - Текст : непосредственный. Показать все результаты Просмотр издания
Приложение
для Android
