LEADER 04027nam 22006972 450 001 9910777384303321 005 20230607184406.0 010 $a9786610432318 010 $a1-107-11595-7 010 $a1-280-43231-4 010 $a0-511-17296-6 010 $a0-511-04021-0 010 $a0-511-15190-X 010 $a0-511-30322-X 010 $a0-511-49066-6 010 $a0-511-05126-3 035 $a(CKB)1000000000000821 035 $a(EBL)201824 035 $a(OCoLC)437063268 035 $a(SSID)ssj0000108824 035 $a(PQKBManifestationID)11128748 035 $a(PQKBTitleCode)TC0000108824 035 $a(PQKBWorkID)10045055 035 $a(PQKB)11696250 035 $a(UkCbUP)CR9780511490668 035 $a(OCoLC)648370980 035 $a(Au-PeEL)EBL201824 035 $a(CaPaEBR)ebr2000779 035 $a(CaONFJC)MIL43231 035 $a(MiAaPQ)EBC201824 035 $a(EXLCZ)991000000000000821 100 $a20090302d1999|||| uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBarbarism and religion$hVolume 1$iThe Enlightenments of Edward Gibbon, 1737-1764 /$fJ. G. A. Pocock 210 1$aCambridge :$cCambridge University Press,$d1999. 215 $a1 online resource (xv, 339 pages) $cdigital, PDF file(s) 225 1 $aBarbarism and religion 311 0 $a0-521-79759-4 311 0 $a0-521-63345-1 320 $aIncludes bibliographical references and indexes. 327 $aCover; Half-title; Title; Copyright; Dedication; Contents; Acknowledgements; Note on references, quotations and translations; Abbreviations; Introduction; CHAPTER 1 Putney, Oxford and the question of English Enlightenment; CHAPTER 2 Lausanne and the Arminian Enlightenment; CHAPTER 3 The re-education of young Gibbon: method, unbelief and the turn towards history; CHAPTER 4 The Hampshire militia and the problems of modernity; CHAPTER 5 Study in the camp: erudition and the search for a narrative; CHAPTER 6 The politics of scholarship in French and English Enlightenment 327 $aCHAPTER 7 Erudition and Enlightenment in the Acade?mie des Inscriptions; CHAPTER 8 D'Alembert's 'Discours pre?liminaire': the philosophe perception of history; CHAPTER 9 The 'Essai sur l'e?tude de la litte?rature': imagination, irony and history; CHAPTER 10 Paris and the gens de lettres: experience and recollection; CHAPTER 11 The return to Lausanne and the pursuit of erudition; CHAPTER 12 The journey to Rome and the transformation of intentions; EPILOGUE Gibbon and the rhythm that was different; References; ORIGINALLY PUBLISHED BEFORE 1800; MODERN AND SECONDARY SOURCES; Index 330 $a'Barbarism and Religion' - Edward Gibbon's own phrase - is the title of an acclaimed sequence of works by John Pocock designed to situate Gibbon, and his Decline and Fall of the Roman Empire, in a series of contexts in the history of eighteenth-century Europe. This is a major intervention from one of the world's leading historians of ideas, challenging the notion of any one 'Enlightenment' and positing instead a plurality of enlightenments, of which the English was one. In this first volume, The Enlightenments of Edward Gibbon, John Pocock follows Gibbon through his youthful exile in Switzerland and his criticisms of the Encyclope?die, and traces the growth of his historical interests down to the conception of the Decline and Fall itself. 410 0$aBarbarism and religion 517 3 $aBarbarism & Religion 606 $aEnlightenment$zGreat Britain 607 $aRome$xHistory$yEmpire, 30 B.C.-476 A.D$xHistoriography 607 $aGreat Britain$xIntellectual life$y18th century 615 0$aEnlightenment 676 $a937/.06/092 700 $aPocock$b J. G. A$g(John Greville Agard),$f1924-$0147944 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910777384303321 996 $aBarbarism and religion$9511898 997 $aUNINA LEADER 03567nam 22007695 450 001 9910484945403321 005 20251225210957.0 010 $a3-319-66266-X 024 7 $a10.1007/978-3-319-66266-4 035 $a(CKB)3710000001631274 035 $a(DE-He213)978-3-319-66266-4 035 $a(MiAaPQ)EBC5591398 035 $a(PPN)203850319 035 $a(EXLCZ)993710000001631274 100 $a20170816d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Safety, Reliability, and Security $e36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /$fedited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIX, 344 p. 107 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10488 311 08$a3-319-66265-1 320 $aIncludes bibliographical references and index. 327 $aDynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security. 330 $aThis book constitutes the refereed proceedings of the 36th International Conference  on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented  were carefully reviewed  and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v10488 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aData protection 606 $aApplication software 606 $aComputer engineering 606 $aComputer networks 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aData and Information Security 606 $aComputer and Information Systems Applications 606 $aComputer Engineering and Networks 615 0$aComputer science. 615 0$aCompilers (Computer programs) 615 0$aSoftware engineering. 615 0$aData protection. 615 0$aApplication software. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aData and Information Security. 615 24$aComputer and Information Systems Applications. 615 24$aComputer Engineering and Networks. 676 $a621.38195835 702 $aTonetta$b Stefano$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchoitsch$b Erwin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBitsch$b Friedemann$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484945403321 996 $aComputer Safety, Reliability, and Security$92908259 997 $aUNINA