LEADER 02273oam 2200433zu 450 001 9910145644703321 005 20241212215414.0 010 $a9781538602935 010 $a1538602938 035 $a(CKB)1000000000278016 035 $a(SSID)ssj0000451908 035 $a(PQKBManifestationID)12167272 035 $a(PQKBTitleCode)TC0000451908 035 $a(PQKBWorkID)10463764 035 $a(PQKB)11242339 035 $a(NjHacI)991000000000278016 035 $a(EXLCZ)991000000000278016 100 $a20160829d2005 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHASE 2005: Ninth IEEE International Symposium on High Assurance Systems Engineering (12-14 October 2005/Heidelberg, Germany) 210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2005 215 $a1 online resource (xii, 173 pages) $cillustrations 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780769523774 311 08$a0769523773 330 $aHASE 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. 606 $aComputer input-output equipment$vCongresses 615 0$aComputer input-output equipment 676 $a621.3984 702 $aIEEE Staff 801 0$bPQKB 906 $aPROCEEDING 912 $a9910145644703321 996 $aHASE 2005: Ninth IEEE International Symposium on High Assurance Systems Engineering (12-14 October 2005$92415246 997 $aUNINA LEADER 01472nam 22004333 450 001 9911021977203321 005 20250823060313.0 010 $a1-394-40166-3 010 $a1-394-40164-7 035 $a(CKB)40331109400041 035 $a(MiAaPQ)EBC32265588 035 $a(Au-PeEL)EBL32265588 035 $a(OCoLC)1533171031 035 $a(EXLCZ)9940331109400041 100 $a20250823d2025 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEnergetics of the Climate System 205 $a1st ed. 210 1$aNewark :$cJohn Wiley & Sons, Incorporated,$d2025. 210 4$d©2025. 215 $a1 online resource (355 pages) 225 1 $aISTE Invoiced Series 311 08$a1-78945-230-9 330 $aEnergetics of the Climate System is derived from a course taught by Hervé Le Treut, who has been delivering this lecture series for decades to students at institutions such as the École Normale Supérieure, École Polytechnique, and Sorbonne University, along with students from other international institutions. 410 0$aISTE Invoiced Series 676 $a551.6 700 $aLe Treut$b Herve$0418929 701 $aMostefaoui$b Mounia$01845405 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911021977203321 996 $aEnergetics of the Climate System$94429240 997 $aUNINA