Полное описание
>
Lecture notes in computer science : материалы временных коллективов / ed. G. Goos [et al.]. - Berlin[etc.] : Springer , 19 - . - ISSN 0302-9743. - Текст : непосредственный.
6542 : Engineering secure software and systems : third intern. symp., ESSoS 2011, Madrid, Spain, Febr. 9-10, 2011: proc. / International symposium on engineering secure software and systems (3; 2011; Madrid) ; ed. U. Erlingsson [et al.]. - 2011. - XI, 273 p. : ill. - Библиогр. в конце докл. Указ.: с. 273. - ISBN 978-3-642-19124-4 : 2994.88 р.
| ГРНТИ | УДК | |
| 50.41 | 004.4.052(063) | |
| 50.39 | 004.7.052(063) |
Рубрики:
Программное обеспечение ЭВМ -- Надежность -- Съезды и конференции
Вычислительные системы -- Надежность -- Съезды и конференции
Доп. точки доступа:
Goos, G.\ed.\
Erlingsson, U.\ed.\
International symposium on engineering secure software and systems (3 ; 2011 ; Madrid)
>
Имеются экземпляры в отделах: всего 2 : ПНТ (1), (1)
Свободны: ПНТ (1), (1)
Копия:
Methods of programming : Selected papers of the CIP-project / сост.ed. M. Broy, сост.ed. M. Wirsing, 1991. - XII,268 p. p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 1 : Conference contributions, 1991. - 698 p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 2 : Tutorials, 1991. - 430 p. - Текст : непосредственный.Proceedings,Oct.1991,Milan / ESEC'91, 1991. - XII,515 p. p. - Текст : непосредственный.Computational geometry-methods,algorithms and applications : Proc.of the 7th intern.workshop on computational geometry,Bern,March 21-22,1991 / CG'91, 1991. - VIII,320 p. p. - Текст : непосредственный.Grahne G. The problem of incomplete information in relational databases / G.Grahne, 1991. - VIII,149 p. p. - Текст : непосредственный.New results and new trends in computer science : Proc.of a symp.,held in Graz,June 20-21,1991 / ed. H. Maurer, 1991. - VIII,403 p. p. - Текст : непосредственный.Jacquet J.-M. Conclog:A methodological approach to concurrent logic programming / J.-M.Jacquet, 1991. - XII,781 p. p. - Текст : непосредственный.ISA'91 algorithms : 2nd intern.symp.on algorithms,Taipei,Dec.16-18,1991:Proc. / Ed.: W. L. Hsu, R. C.T. Lee, 1991. - X,396 p. p. - Текст : непосредственный.Hooman J. Specification and compositional verification of real-time systems / J.Hooman, 1991. - VIII,235 p. p. - Текст : непосредственный.Butler G. Fundamental algorithms for permutation groups / G.Butler, 1991. - XII,238 p. p. - Текст : непосредственный.Herman I. The use of projective geometry in computer graphics / I.Herman, 1992. - 146 p. - Текст : непосредственный.Graph-theoretic concepts in computer science : 17th intern.workshop on graph-theoretic concepts in computer science,Fischbachau,June 17-19,1991Proc. / WG'91, 1992. - VIII,253 p. p. - Текст : непосредственный.Formal techniques in real-time and fault-tolerant systems : 2nd intern.symp.on formal techniques in real-time and fault-tolerant systems,Jan.1992,NijmegenProc. / Ed. J. Vytopil, 1991. - IX,620 p. p. - Текст : непосредственный.Word equations and related topics : 1st intern.workshop on word equations and related topics,Tubingen,Oct.1990Proc. / IWWERT'90, 1992. - 256 p. - Текст : непосредственный.Parallel architectures and languages Europe : 4th intern.PARLE conf.,Paris,June 1992Proc. / PARLE'92, 1992. - XVII,984 p. p. - Текст : непосредственный.Recent trends in data type specification:8th workshop on specification of abstract data types with 3rd COMPASS workshop,Dourdan Aug.26-30,1991 : Selected papers / сост.ed.by M. Bidoit, сост.ed.by C. Choppy, 1993. - 344 p. - Текст : непосредственный.Conditional term rewriting systems:Third intern.workshop,CTRS-92 Pont-a-Mousson,July 8-10,1992 : Proc. / сост.ed.by M. Rusinowitch, сост.ed.by J. L. Remy, 1993. - 501 p. - Текст : непосредственный.Breu R. Algebraic specification techniques in object oriented programming environments / R.Breu, 1991. - 228 p. - Текст : непосредственный.Cheese A. Parallel execution of Parlog / A.Cheese, 1992. - 184 p. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Интерфейсная плата Ethernet : Руководство пользователя / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Введение в VAX/VMS / ВЦП. - 130 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.
Показать все результатыDependable computing for critical applications 2 : 2nd intern.working conf.on dependable computing for critical applications,held in Tucson(Az) on Febr.18-20,1991 / Ed.: J. F. Meyer, R. D. Schlichting, 1992. - XIII,437 p. p. - Текст : непосредственный.1991 International symposium on software reliability engineering,May 17-18,1991,Austin(Tx) / ISSRE'91, 1991. - X,242 p. p. - Текст : непосредственный.3rd international symposium on software reliability engineering,Oct.7-10,1992,Research Trangle Park(NC) / ISSRE'92, 1992. - XI,369 p. p. - Текст : непосредственный.Proceedings of national workshop on software reliability engineering,Nov.23-25 1992,Bombay / Bhabha atomic research centre, 1992. - Pag.var. - Текст : непосредственный.Formal methods for trustworthy computer systems(FM 89) : Rep.from FM 89A workshop on the assessment of formal methods for trustworthy computer systems, July 23-27, 1989, Halifax / сост.ed. D. Craigen, 1990. - VI,248 p. p. - Текст : непосредственный.Dependability of critical computer systems : Guidelines prooduced by the European workshop on industrial computer systems techn.comm. / EWICS TC7;Ed.:F.J.Redmill. 2, 1989. - XV, 286 p. 286 p. - Текст : непосредственный.Dependability of critical computer systems : Guidelines prooduced by the European workshop on industrial computer systems techn.comm. / EWICS TC7;Ed.:F.J.Redmill. 3 : Tchniques directory, 1990. - XIII,249 p. p. - Текст : непосредственный.Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe 2000 intern.conf., Potsdam, June 26-30: Proc. / Ed.: H. B. Keller, E. Plodereder, 2000. - 304 p. - Текст : непосредственный.Proceedings of the sixth IEEE International symposium on high assurance systems engineering, 22-24 Oct.2001, Boca Raton(Fl.),USA / HASE 2001, 2001. - X,237 p. p. - Текст : непосредственный.Надежность ЭВМ (аппаратуры и программного обеспечения), вычислительных сетей в процессе их разработки и эксплуатации : Материалы краткосроч. семинара, 25-26 сент. / Ленинградский дом науч.-технической пропаганды, 1990. - 87 с. - Текст : непосредственный.Proceedings: 2001 pacific rim international symposium on dependable computing, 17-19 Dec., 2001, Seoul, Korea / Spons. by IEEE computer soc. techn. comm. on fault-tolerant computing Sungkyunkwan univ., Korea, 2001. - XIV,384 p. p. - Текст : непосредственный.Reliable systems on unreliable networked platforms : 12th Monterey workshop 2005, Laguna Beach, Ca, USA, September 22-24, 2005: revised selected papers / ed.: F. Kordon, J. Sztipanovits, 2007 r=on-line.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.Reliable software technologies- ada-europe 2008 : 13th Ada-Europe International conference on reliable software technologies, Venice, Italy, June 16-20, 2008: proceedings / ed.: F. Kordon, T. Vardanega, 2008 r=on-line.Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe international conference on reliable software technologies, York, UK, June 20-24, 2005: proceedings / eds. T. Vardanega, A. Wellings, 2005 r=on-line.Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers / ed. N. De Nicola, D. Sangiorgi, 2005 r=on-lineReliable software technologies - Ada-Europe 2006 : 11th Ada-Europe international conference on reliable software technologies, Porto, Portugal, June 5-9, 2006 : proceedings / ed. L. Pinho, 2006 r=on-line.Reliable software technologies - Ada Europe 2007 : 12th ada-europe international conference on reliable software technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / eds.: N. Abdennahder, F. Kordon, 2007 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.Engineering secure software and systems : first international symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009 : proceedings / ed. F. Massacci [et al.], 2009 r=on-line.
Показать все результатыЗаказ фрагмента документа ₽