Электронный каталог

    страница из
    всего найдено записей: 7,
      отображать

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Formal aspects in security and trust : 6th International workshop, FAST 2009, Eindhoven, the Netherlands, November 5-6, 2009: revised selected papers / ed. P. Degano, 2010 r=on-line. - Текст : электронный.

    Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday / ed. P. Degano [et al.], 2008 r=on-line. - Текст : электронный.

    Papers presented at the international colloquium on automata, languages and programming held in Bologna, July 7-11, 1997 / ICALP'97, 1999. - 493 p. - Текст : непосредственный.

    Foundations and applications of security analysis : joint workshop on automated reasoning for security protocol analysis and issues in the theory of security, ARSPA-WITS 2009, York, UK, Mar. 28-29, 2009: rev. sel. papers / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.

    Computational methods in systems biology : 7th International conference, CMSB 2009, Bologna, Italy, Aug. 31-Sept. 1, 2009: proceedings / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.