LEADER 03557nam 22007092 450 001 9910457492403321 005 20151005020624.0 010 $a1-139-17992-6 010 $a1-107-22885-9 010 $a1-283-37858-2 010 $a1-139-18970-0 010 $a9786613378583 010 $a1-139-18839-9 010 $a1-139-19099-7 010 $a1-139-18377-X 010 $a1-139-18609-4 010 $a0-511-98453-7 035 $a(CKB)2550000000061326 035 $a(EBL)807345 035 $a(OCoLC)771999512 035 $a(SSID)ssj0000570810 035 $a(PQKBManifestationID)11353519 035 $a(PQKBTitleCode)TC0000570810 035 $a(PQKBWorkID)10592816 035 $a(PQKB)10324186 035 $a(UkCbUP)CR9780511984532 035 $a(MiAaPQ)EBC807345 035 $a(Au-PeEL)EBL807345 035 $a(CaPaEBR)ebr10520677 035 $a(CaONFJC)MIL337858 035 $a(EXLCZ)992550000000061326 100 $a20101125d2011|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIdeas of power in the late Middle Ages, 1296-1417 /$fJoseph Canning$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2011. 215 $a1 online resource (xii, 219 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a1-107-64069-5 311 $a1-107-01141-8 320 $aIncludes bibliographical references and index. 327 $a1. Ideas of power and authority during the disputes between Philip IV and Boniface VIII -- 2. Dante Alighieri: the approach of political philosophy -- 3. Marsilius of Padua -- 4. Power and powerlessness in the poverty debates -- 5. The treatment of power in juristic thought -- 6. The power crisis during the Great Schism (1378-1417). 330 $aThrough a focused and systematic examination of late medieval scholastic writers - theologians, philosophers and jurists - Joseph Canning explores how ideas about power and legitimate authority were developed over the 'long fourteenth century'. The author provides a new model for understanding late medieval political thought, taking full account of the intensive engagement with political reality characteristic of writers in this period. He argues that they used Aristotelian and Augustinian ideas to develop radically new approaches to power and authority, especially in response to political and religious crises. The book examines the disputes between King Philip IV of France and Pope Boniface VIII and draws upon the writings of Dante Alighieri, Marsilius of Padua, William of Ockham, Bartolus, Baldus and John Wyclif to demonstrate the variety of forms of discourse used in the period. It focuses on the most fundamental problem in the history of political thought - where does legitimate authority lie? 606 $aPower (Social sciences)$xHistory$yTo 1500 606 $aAuthority$xHistory$yTo 1500 606 $aPower (Social sciences)$vEarly works to 1800 606 $aAuthority$vEarly works to 1800 615 0$aPower (Social sciences)$xHistory 615 0$aAuthority$xHistory 615 0$aPower (Social sciences) 615 0$aAuthority 676 $a303.301 700 $aCanning$b Joseph$f1944-$0302024 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910457492403321 996 $aIdeas of power in the late Middle Ages, 1296-1417$92491911 997 $aUNINA LEADER 03733nam 2200601 a 450 001 9910825784103321 005 20240313214233.0 010 $a1-118-57861-9 010 $a1-118-57991-7 010 $a1-118-57865-1 035 $a(CKB)2670000000369864 035 $a(EBL)1187169 035 $a(OCoLC)843331672 035 $a(SSID)ssj0000904892 035 $a(PQKBManifestationID)11494814 035 $a(PQKBTitleCode)TC0000904892 035 $a(PQKBWorkID)10922416 035 $a(PQKB)11018759 035 $a(MiAaPQ)EBC1187169 035 $a(Au-PeEL)EBL1187169 035 $a(CaPaEBR)ebr10700376 035 $a(CaONFJC)MIL491909 035 $a(EXLCZ)992670000000369864 100 $a20121210d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aSafety management for software-based equipment /$fJean-Louis Boulanger 205 $a1st ed. 210 $aHoboken, N.J. $cISTE Ltd./John Wiley and Sons Inc.$d2013 215 $a1 online resource (193 p.) 225 1 $aFocus series in computer engineering and IT,$x2051-2481 300 $aDescription based upon print version of record. 311 $a1-84821-452-9 320 $aIncludes bibliographical references and index. 327 $aCONTENTS; INTRODUCTION; CHAPTER 1. SAFETY MANAGEMENT; 1.1.Introduction; 1.2.Dependability; 1.3.Conclusion; 1.4.Bibliography; CHAPTER 2. FROM SYSTEM TO SOFTWARE; 2.1.Introduction; 2.2 Systems of command and control; 2.3 System; 2.4 Software implementation; 2.5.Conclusion; 2.6.Bibliography; 2.7.Glossary; CHAPTER 3. CERTIFIABLE SYSTEMS; 3.1. Introduction; 3.2. Normative context; 3.3.Conclusion; 3.4.Bibliography; 3.5.Glossary; CHAPTER 4. RISK AND SAFETY LEVELS; 4.1. Introduction; 4.2. Basic definitions; 4.3.Safety implementation; 4.4. In standards IEC 61508 and IEC 61511; 4.5.Conclusions 327 $a4.6.Bibliography4.7.Acronyms; CHAPTER 5. PRINCIPLES OF HARDWARE SAFETY; 5.1. Introduction; 5.2 Safe and/or available hardware; 5.3.Reset of a processing unit; 5.4. Presentation of safety control techniques; 5.5. Conclusion; 5.6.Bibliography; 5.7.Glossary; CHAPTER 6. PRINCIPLES OF SOFTWARE SAFETY; 6.1. Introduction; 6.2. Techniques to make software application safe; 6.3.Other forms of diversification; 6.4.Overall summary; 6.5.Quality management; 6.6.Conclusion; 6.7.Bibliography; 6.8.Glossary; CHAPTER 7. CERTIFICATION; 7.1. Introduction; 7.2. Independent assessment; 7.3. Certification 327 $a7.4. Certification in the rail sector7.5.Automatic systems; 7.6.Aircraft; 7.7. Nuclear; 7.8. Automotive; 7.9. Spacecraft; 7.10.Safety case; 7.11. Conclusion; 7.12. Bibliography; 7.13. Glossary; CONCLUSION; INDEX 330 $aA review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From software objectives, the authors present the different safety techniques (fault detection, redundancy and quality control). "Certifiable system" aspects are taken into account throughout the book. C 410 0$aFocus series in computer engineering and IT. 606 $aComputer security 615 0$aComputer security. 676 $a621.392 700 $aBoulanger$b Jean-Louis$0847395 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910825784103321 996 $aSafety management for software-based equipment$93968306 997 $aUNINA