Приложение
для AndroidПолное описание
Formal aspects in security and trust / SpringerLink (Online service) ; ed. T. Dimitrakos. - Berlin ; Heidelberg : Springer, 2007. - on-line. - (Lecture notes in computer science, ISSN 0302-9743 ; 4691). - URL: http://dx.doi.org/10.1007/978-3-540-75227-1. - ISBN 978-3-540-75227-1
| ГРНТИ | УДК | |
| 50.37.23 | 004.056(063) |
Рубрики:
Информация -- Сохранность -- Съезды и конференции
Доп. точки доступа:
Dimitrakos, T.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-540-75227-1
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.056(063)/F76-457088)
Шифр в сводном ЭК: 4413e41940b6a73da6400eb028d989dc
Formal aspects in security and trust / SpringerLink (Online service), 2007 r=on-line
Formal aspects in security and trust : IFIP TC1 WG1.7 workshop on formal aspects in security and trust (FAST), World computer congress, August 22-27, 2004, Toulouse, France / ed. T. Dimitrakos, 2005 r=on-line. - Текст : электронный.Formal aspects in security and trust : third International workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Service oriented infrastructures and cloud service platforms for the enterprise : a selection of common capabilities validated in real-life business trials by the BEinGRID consortium / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
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. - Текст : электронный.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. - Текст : электронный.Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Computer vision - ECCV 2008 / SpringerLink (Online service), 2008 r=on-line.Computer vision -ECCV 2008 / SpringerLink (Online service), 2008 r=on-line.On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 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 с. - Текст : непосредственный.
Показать все результаты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. - Текст : электронный.
Показать все результатыПросмотр издания