Полное описание
> Construction and analysis of safe, secure, and interoperable smart devices / SpringerLink (Online service) ; ed. G. Barthe. - Berlin ; Heidelberg : Springer, 2005. - on-line. - (Lecture notes in computer science, ISSN 0302-9743 ; 3362). - URL: http://dx.doi.org/10.1007/b105030 . - ISBN 978-3-540-30569-9. - Текст : электронный.
ГРНТИ УДК 50.11.99 004.087.5
Рубрики: Смарт-устройства
Доп. точки доступа: Barthe, G.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/b105030
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.087.5/C75-323097)>
Шифр в сводном ЭК: 32770fe9d094930e286a529d684c1120
Construction and analysis of safe, secure, and interoperable smart devices / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008: proceedings / ed. G. Barthe, 2008 r=on-line. - Текст : электронный. Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007: revised selected papers / eds. G. Barthe, C. Fournet, 2008 r=on-line. - Текст : электронный. Construction and analysis of safe, secure, and interoperable smart devices : second International workshop, CASSIS 2005, Nice, France, March 8-11, 2005: revised selected papers / SpringerLink (Online service), 2006 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. - Текст : электронный. Показать все результаты DRAM:Data book, 1993. - Pag var. var. - Текст : непосредственный. KleinOsowski A.J. Performance analysis of a novel cache architecture for speculative multithreaded computer systems / A. J. KleinOsowski, D. J. Lilja, 2001. - 9 p. - Текст : непосредственный. McCrindle J. Smart cards / J. McCrindle, 1990. - 223 p. - Текст : непосредственный. Галушкин А.И. Нейронные системы памяти : Учеб.пособие. Ч. 1, 1991. - 177 с. - Текст : непосредственный. Галушкин А.И. Нейронные системы памяти : Учеб.пособие. Ч. 2, 1991. - 116 с. - Текст : непосредственный. Construction and analysis of safe, secure, and interoperable smart devices / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Комаров А.Н. Исследование и разработка ассоциативных сред и методов обработки информации : автореф. дис. .. канд. техн. наук: 05.13.05 / А. Н. Комаров, 2003. - 20 с. - Текст : непосредственный. Gollmann D. Smart card research and advanced application : 9th IFIP WG 8.8/11.2 International conference, CARDIS 2010, Passau, Germany, April 14-16, 2010: proceedings / ed. D. Gollmann [et al.], 2010 r=on-line. - Текст : электронный. Трифонов Я.Д. Развитие сферы услуг с использованием универсальных электронных карт : автореф. дис. .. канд. экон. наук: 08.00.05 / Я. Д. Трифонов, 2016. - 27 с. - Текст : непосредственный. Smart card research and advanced applications : 8th IFIP WG 8.8/11.2 International conference, CARDIS 2008, London, UK, September 8-11, 2008: proceedings / ed. G. Grimaud, 2008 r=on-line. - Текст : электронный. Гелль П. Чип-карты. Устройство и применение в практических конструкциях : Телефон., кредит. и SIM-картыПер. с англ. / П.Гелль, 2000. - 169 с. - Текст : непосредственный. Показать все результаты McCrindle J. Smart cards / J. McCrindle, 1990. - 223 p. - Текст : непосредственный. Чен Ж. Технология Java Card TM для смарт-карт. Архитектура и руководство программиста / Ж. Чен, 2008. - 341 с. - Текст : непосредственный. Дшхунян В.Л. Электронная идентификация. Бесконтактные электронные индентификаторы и смарт-карты / В. Л. Дшхунян, В. Ф. Шаньгин, 2004. - 695 с. - Текст : непосредственный. Construction and analysis of safe, secure, and interoperable smart devices / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Gollmann D. Smart card research and advanced application : 9th IFIP WG 8.8/11.2 International conference, CARDIS 2010, Passau, Germany, April 14-16, 2010: proceedings / ed. D. Gollmann [et al.], 2010 r=on-line. - Текст : электронный. Трифонов Я.Д. Развитие сферы услуг с использованием универсальных электронных карт : автореф. дис. .. канд. экон. наук: 08.00.05 / Я. Д. Трифонов, 2016. - 27 с. - Текст : непосредственный. Матвеев П.П. Принципы и решения по совершенствованию эффективности функционирования операционных систем и приложений микропроцессорных карт : автореф. дис. .. канд. техн. наук: 05.13.11 / П. П. Матвеев, 2008. - 19 с. - Текст : непосредственный. Гелль П. ПК и ЧИП-карты : Пер.с фр. / П.Гелль, 2001. - 142 с. - Текст : непосредственный. Smart card research and advanced applications : 8th IFIP WG 8.8/11.2 International conference, CARDIS 2008, London, UK, September 8-11, 2008: proceedings / ed. G. Grimaud, 2008 r=on-line. - Текст : электронный. Гелль П. Чип-карты. Устройство и применение в практических конструкциях : Телефон., кредит. и SIM-картыПер. с англ. / П.Гелль, 2000. - 169 с. - Текст : непосредственный. Rankl W. Smart card applications : design models for using and programming smart cards / W. Rankl, 2007 r=on-line. - Текст : электронный. Smart Device to Smart Device Communication / ed.: S. Mumtaz, J. Rodriguez, 2014 r=on-line. - Текст : электронный. Гелль П. Чип-карты. Устройство и применение в практических конструкциях : Пер. с фр. / П.Гелль, 2003. - 170 с. - Текст : непосредственный. Information security theory and practices. smart devices, convergence and next generation networks : second IFIP WG 11.2 international workshop, WISTP 2008, Seville, Spain, May 13-16, 2008: proceedings / ed. J. A. Onieva, 2008 r=on-line. - Текст : электронный. Голдовский И.М. Микропроцессорные карты стандарта EMV / И. М. Голдовский, 2006. - 544 с. - Текст : непосредственный. Шорин Д.В. Разработка платформенно-независимого программного комплекса распределенной операционной системы для самрт-карт : автореф. дис. .. канд. техн. наук: 05.13.01 / Д. В. Шорин, 2006. - 28 с. - Текст : непосредственный. Показать все результаты Просмотр издания