| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910145644703321 |
|
|
Titolo |
HASE 2005: Ninth IEEE International Symposium on High Assurance Systems Engineering (12-14 October 2005/Heidelberg, Germany) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : IEEE Computer Society Press, 2005 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xii, 173 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer input-output equipment |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Sommario/riassunto |
|
HASE 2005 focuses on the rapid development and increasing complexity of both software and hardware systems that impose tremendous challenges to systems engineers, in particular to the engineering of high assurance systems. This not only represents a growth trend for the conference, it also reflects the ever increasing importance of "assurance" in all the technology we have come to depend on in virtually all facets of life. The utility of computing technology, be it safety-critical, critical or service-critical, comes fundamentally from the trust we are able to put into it for sustained delivery of desired services. This year's proceedings addresses some of the challenges that systems engineers face. Special attention is paid to hard- and software testing, hardware verification and fault tolerant hard- and software architectures. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996703582503316 |
|
|
Titolo |
Chirurgia per infermieri / a cura di Mario Lise |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[5. ed.] |
|
|
|
|
|
Descrizione fisica |
|
XXVIII, 893 p. : ill. ; 27 cm |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Chirurgia - Manuali [per] infermieri |
|
|
|
|
|
|
Collocazione |
|
617.023 CHI 1 |
617.023 CHI 1 a |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |