Полное описание
> Trustworthy global computing : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006: revised selected papers / ed. U. Montanari [et al.] ; ed. U. Montanari. - Berlin ; Heidelberg : Springer-Verlag, 2007. - on-line. - (Lecture notes in computer science ; 4661). - URL: http://dx.doi.org/10.1007/978-3-540-75336-0 . - ISBN 978-3-540-75336-0. - Текст : электронный.
ГРНТИ УДК 50.39 004.7.052(063) 50.37.23 004.056(062)
Рубрики: Вычислительные системы -- Надежность -- Съезды и конференции
Информация -- Сохранность -- Съезды и конференции
Доп. точки доступа: Montanari, U.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-540-75336-0
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.7.052(063)/T88-407533)>
Шифр в сводном ЭК: e5bd19e51de2c2730d19f9d8ed88cc03
Лицевая сторона карточки Обратная сторона карточки
De Nicola R. Back and forth bisimulations / R.De Nicola,U.Montanari,F.W.Vaandrager, 1990. - 14 p. - Текст : непосредственный. Trustworthy global computing : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006: revised selected papers / ed. U. Montanari [et al.], 2007 r=on-line. - Текст : электронный. Recent trends in algebraic development techniques : 19th International workshop, WADT 2008, Pisa, Italy, June 13-16, 2008: rev. sel. papers / SpringerLink (Online service), 2009 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. - Текст : непосредственный. Сети.Рынок телекоммуникаций : Журн.по компьютерным сетям и телекоммуникационным технологиям. - Журнал выходит с 1989г. - Текст : непосредственный. Шиндялов С.А. Принятие решений в планировании и управлении корпоративными сетями интерактивными методами имитационного моделирования : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Шиндялов, 2001. - 11 c. - Текст : непосредственный. Додонов А.Г. Введение в теорию живучести вычислительных систем / А. Г. Додонов, М. Г. Кузнецова, Е. С. Горбачик, 1990. - 181 c. - Текст : непосредственный. Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Kane P. Keine Macht den Viren! : монография / P. Kane ; @:ubers. P. Riswick, 1990. - XVI,343 S. S. - Текст : непосредственный. Прокушев Я.Е. Криптографическая защита информации / Я. Е. Прокушев, 2005. - 145 с. - Текст : непосредственный. Фомичев В.М. Дифференциация элементов в конечных группах и в автоматах по заданным признакам, определяющим криптографические свойства систем защиты информации : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени д-ра физ.-мат. наук / В. М. Фомичев, 2006. - 38 с. - Текст : непосредственный. Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный. Хоглунд Г. Руткиты: внедрение в ядро Windows / Г. Хоглунд, Д. Батлер, 2007. - 284 с. - Текст : непосредственный. Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный. Басан А.С. Разработка моделей, алгоритмов и программ реализации мандатного разграничения доступа в СУБД с интеграцией прав доступа в цифровые сертификаты : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / А. С. Басан, 2007. - 16 с. - Текст : непосредственный. Балашов С.Г. Научно-методическое обеспечение риск-анализа и управление защитой региональных информационно-телекоммуникационных систем : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / С. Г. Балашов, 2007. - 15 с. - Текст : непосредственный. Пелешенко В.С. Разработка математической модели информационного обмена в локальной вычислительной сети для реализации средств и метода сетевой защиты информации : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / В. С. Пелешенко, 2007. - 18 с. - Текст : непосредственный. Морозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 2007. - 20 с. - Текст : непосредственный. Оглтри Т.В. Firewalls. Практическое применение межсетевых экранов / Т. В. Оглтри, 2001. - 396 с. - Текст : непосредственный. Lecture notes in electrical engineering. Vol. 34 : Designing reliable and efficient networks on chips / S. Murali, 2009. - X, 198 p. - Текст : непосредственный. Степанов П.В. Развитие телекоммуникационных систем и обеспечение информационной безопасности / П. В. Степанов, 2008. - 56 с. - Текст : непосредственный. Поленов М.Ю. Разработка инструментальных средств проектирования, исследования и оптимизации проблемно-ориентированных вычислительных систем : специальность 05.13.13 "", 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Поленов, 1995. - 16 с. - Текст : непосредственный. Ермаков А.А. Комплексное обеспечение надежности кластерных систем на основе математического моделирования / А. А. Ермаков, 2008. - 24 с. - Текст : непосредственный. Показать все результаты Современные проблемы и задачи обеспечения информационной безопасности. СИБ - 2016 : материалы временных коллективов / Московский финансово-юридический ун-т, 2016. - 167 с. - Текст : непосредственный. Безопасность информационных систем и технологий : материалы 53-й и науч.-метод. конф. "Университетская наука - региону", 25 апр. 2008 г. / Ставропольский гос. ун-т, 2008. - 110 с. - Текст : непосредственный. Lecture notes in computer science / ed. G. Goos [et al.]. 7201 : Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 16th intern. GI/ITG conf. MMB & DFT 2012, Kaiserslautern, Germany, Mar. 19-21, 2012: proc. / International GI/ITG conference on measurement, modelling, and evaluation of computing systems and dependability and fault tolerance (16; 2012; Kaiserslautern), 2012. - XIII, 331p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Просмотр издания