004.415.2/A71-373445

   
    Architecting dependable systems III [Electronic resource] / ed. R. Lemos [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3549). - ISBN 978-3-540-31648-0 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительные системы--Надежность
   Информация--Сохранность


См. : Текст издания

Доп.точки доступа:
Lemos, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет

004.415.2/A71-358135

   
    Architecting dependable systems iv [Electronic resource] / ed. R. de Lemos [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4615). - ISBN 978-3-54074-035-3 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительные системы--Надежность
   Информация--Сохранность


См. : Текст издания

Доп.точки доступа:
de Lemos, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет

004.41/A71-036497

   
    Architecting dependable systems v [Electronic resource] / ed. R. Lemos. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5135). - ISBN 978-3-540-85571-2 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительные системы--Надежность
   Информация--Сохранность


См. : Текст издания

Доп.точки доступа:
Lemos, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет

004.415.2.052
A71


   
    Architecting dependable systems VIi [Electronic resource] / ed. R. Lemos [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5835). - ISBN 978-3-642-10248-6 : Б. ц.

ГРНТИ
УДК

Кл.слова (ненормированные):
вычислительные системы -- надежность -- информация -- сохранность -- архитектурно-зависимые системы

См. : Текст издания

Доп.точки доступа:
Lemos, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет

006.91/D44-832983

   
    Dependability metrics [Electronic resource] : advanced lectures / eds. I. Eusgeld [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4909). - ISBN 978-3-540-68947-8 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительные системы--Надежность

См. : Текст издания

Доп.точки доступа:
Eusgeld, I. \ed.\; SpringerLink (Online service)
Свободных экз. нет

004.031.6.052/O-12-141239

    Obermaisser, R.
    Event-triggered and time-triggered control paradigms [Electronic resource] / R. Obermaisser. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - (Real-time systems series, event-triggered and time-triggered control paradigms, ISSN 0922-6443 ; 22). - ISBN 0-387-23044-0. - ISBN 0-387-23043-2 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительные системы--Надежность

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет

004.75
G93


    Guerraoui, R.
    Introduction to reliable distributed programming [Electronic resource] / R. Guerraoui, L. Rodrigues. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - ISBN 3-540-28846-5 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительные системы распределенные
   Программное обеспечение эвм--Надежность


См. : Текст издания

Доп.точки доступа:
Rodrigues, L.; SpringerLink (Online service)
Свободных экз. нет

004.415.2.052
C85


    Courtois, P.
    Justifying the dependability of computer-based systems [Electronic resource] : with applications in nuclear engineering / P. Courtois. - Electronic text data. - London : Springer-Verlag, 2008. - (Springer series in reliability engineering, ISSN 1614-7839). - ISBN 978-1-84800-372-9 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительные системы--Надежность
   Атомные энергетические установки--Техника безопасности


См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет

004.4.052/M61-971409

   
    Methods, models and tools for fault tolerance [Electronic resource] / ed. M. Butler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5454). - ISBN 978-3-642-00867-2 : Б. ц.

ГРНТИ
УДК
Рубрики: Программное обеспечение эвм--Надежность

См. : Текст издания

Доп.точки доступа:
Butler, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет

004.7.052/R45-489606

   
    Responsibility and dependable systems [Electronic resource] / ed. G. Dewsbury. - Electronic text data. - London : Springer, 2007. - ISBN 978-1-84628-626-1 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительные системы--Надежность
   Информация--Сохранность


См. : Текст издания

Доп.точки доступа:
Dewsbury, G. \ed.\; SpringerLink (Online service)
Свободных экз. нет

004.78
S89


   
    Structure for dependability: computer-based systems from an interdisciplinary perspective [Electronic resource] / ed. D. Besnard [et al.]. - Electronic text data. - London : Springer-Verlag, 2006. - ISBN 978-1-846-28111-2 : Б. ц.

ГРНТИ
УДК
Рубрики: Система человек-компьютер
   Программное обеспечение ЭВМ--Надежность


См. : Текст издания

Доп.точки доступа:
Besnard, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет

004.415.2.052
P56


    Pham, H.
    System software reliability [Electronic resource] / H. Pham. - Electronic text data. - London : Springer-Verlag, 2006. - (Springer series in reliability engineering, ISSN 1614-7839). - ISBN 978-1-846-28295-9 : Б. ц.

ГРНТИ
УДК
Рубрики: Программное обеспечение ЭВМ--Надежность

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет

004.78/T88-422909

   
    Trust in technology: a socio-technical perspective [Electronic resource] / ed. K. Clarke [et al.]. - Electronic text data. - Dordrecht : Springer, 2006. - (Computer supported cooperative work, ISSN 1431-1496 ; 36). - ISBN 1-4020-4258-2 : Б. ц.

ГРНТИ
УДК
Рубрики: Программное обеспечение ЭВМ--Надежность
   Информация--Сохранность


См. : Текст издания

Доп.точки доступа:
Clarke, K. \ed.\; SpringerLink (Online service)
Свободных экз. нет

004.056
S68


    Smith, S.
    Trusted computing platforms: design and applications [Electronic resource] / S. Smith. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - ISBN 978-0-387-23917-0 : Б. ц.

ГРНТИ
УДК
Рубрики: Информация--Сохранность
   Вычислительные системы--Надежность


См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет