Приложение
для AndroidПолное описание
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 ; Ed. D. Craigen. - London [etc.] : Springer, 1990. - VI,248 p. p. : ill. - (Workshops in computing). - ISBN 3-540-19635-8. - Текст : непосредственный.
Библиогр.:с.237-243.Указ.:с.245-248
| ГРНТИ | УДК | |
| 50.39 | 004.7.052(063) |
Рубрики:
Вычислительные системы -- Надежность -- Съезды и конференции
Доп. точки доступа:
Craigen, D.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/23232)
Шифр в сводном ЭК: 2427164e04c0e926f01cdb7376d463ae
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Сети.Рынок телекоммуникаций : Журн.по компьютерным сетям и телекоммуникационным технологиям. - Журнал выходит с 1989г. - Текст : непосредственный.Шиндялов С.А. Принятие решений в планировании и управлении корпоративными сетями интерактивными методами имитационного моделирования : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Шиндялов, 2001. - 11 c. - Текст : непосредственный.Додонов А.Г. Введение в теорию живучести вычислительных систем / А. Г. Додонов, М. Г. Кузнецова, Е. С. Горбачик, 1990. - 181 c. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный.Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный.Морозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 2007. - 20 с. - Текст : непосредственный.Lecture notes in electrical engineering. Vol. 34 : Designing reliable and efficient networks on chips / S. Murali, 2009. - X, 198 p. - Текст : непосредственный.Поленов М.Ю. Разработка инструментальных средств проектирования, исследования и оптимизации проблемно-ориентированных вычислительных систем : специальность 05.13.13 "", 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Поленов, 1995. - 16 с. - Текст : непосредственный.Ермаков А.А. Комплексное обеспечение надежности кластерных систем на основе математического моделирования / А. А. Ермаков, 2008. - 24 с. - Текст : непосредственный.Труды Института системного анализа Российской академии наук. Т. 14 : Проблемы вычислений в распределенной среде. Модели обработки и представления данных. Динамические системы : сб. статей / Под ед. С.В. Емельянова, А.П. Афанасьева, 2005. - 222 с. - Текст : непосредственный.Поляков А.Ю. Разработка и исследование средств отказоустойчивости распределенных вычислительных систем / А. Ю. Поляков, 2010. - 19 с. - Текст : непосредственный.Захаров В.Н. Программные методы и средства обеспечения отказоустойчивости в распределенных системах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени д-ра техн. наук / В. Н. Захаров, 2011. - 41 с. - Текст : непосредственный.Чернова Т.А. Научные основы информационного обеспечения сложных объектов при оптимизации режимов их функционирования в распределенной вычислительной среде : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени д-ра техн. наук / Т. А. Чернова, 2011. - 26 с. - Текст : непосредственный.Working implementation agreements for open systems interconnection protocols / Ed.:F.E.Boland. Vol. 3,N 1 : Based on the proceedings of the March 1990 National institute of standards and technology OSI implementor's workshop, 1991. - XXVIII,pag.var. - Текст : непосредственный.Working implementation agreements for open systems interconnection protocols / Ed.:F.E.Boland. Vol. 3,N 2 : Based on the proceedings of the June National institute of standards and technology OSI implementor's workshop, 1991. - Pag.var. - Текст : непосредственный.Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Пирогов В.В. Исследование применимости генетических алгоритмов в автоматизированном проектировании вычислительных сетей и в задачах размещения : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд.техн.наук / В. В. Пирогов, 2000. - 23 с. - Текст : непосредственный.Хьюс Д.Ф. Переход к сетям NetWare 4.1 / Д. Ф. Хьюс, Б. В. Томас, 1996. - 417 с. - Текст : непосредственный.Online Information Review : The International Journal of Digital Information Research and Use. - Журнал выходит с 1976г. r=on-line. - Текст : электронный.
Показать все результаты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. - Текст : непосредственный.
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. - Текст : непосредственный.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. - Текст : электронный.Lecture notes in computer science / ed. G. Goos [et al.]. 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), 2011. - XI, 273 p. - Текст : непосредственный.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. - Текст : электронный.New results in dependability and computer systems : proc. of the 8th intern. conf. on dependability and complex systems DepCoS-RELCOMEX, Sept. 9-13, 2013, Brunów, Poland / International conference on dependability and complex systems DepCoS-RELCOMEX (8; 2013; Brunow), 2013 r=on-line. - Текст : электронный.Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008: revised selected papers / eds. D. Hutchison [et al.], 2009 r=on-line. - Текст : электронный.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. - Текст : непосредственный.Надежность ЭВМ (аппаратуры и программного обеспечения), вычислительных сетей в процессе их разработки и эксплуатации : Материалы краткосроч. семинара, 25-26 сент. / Ленинградский дом науч.-технической пропаганды, 1990. - 87 с. - Текст : непосредственный.Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005: revised selected papers / SpringerLink (Online service), 2005 r=on-lineProceedings: 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. - Текст : непосредственный.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. - Текст : непосредственный.Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 15th international GI/ITG conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010: proceedings / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.Trust and trustworthy computing : 3rd International conference, TRUST 2010, Berlin, Germany, June 21-23, 2010: proceedings / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽