LEADER 02895 am 2200721 n 450 001 9910418016003321 005 20191214 010 $a979-1-03-654304-3 010 $a979-1-03-654305-0 024 7 $a10.4000/books.larhra.4361 035 $a(CKB)4100000011314415 035 $a(FrMaCLE)OB-larhra-4361 035 $a(NjHacI)994100000011314415 035 $a(PPN)248499122 035 $a(EXLCZ)994100000011314415 100 $a20200623j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGouverner l?Église catholique au xxe siècle. Perspectives de recherche /$fChristian Sorrel, Bruno Dumons 210 $a[S.I] $cLARHRA$d2019 210 1$a[Lyon] :$cLARHRA,$d2015. 215 $a1 online resource (159 p.) 225 1 $aChre?tiens et socie?te?s ;$v29 311 $a979-1-0915-9214-7 311 $a979-1-0915-9213-0 330 $aLes historiens se sont intéressés tardivement à la question de la gouvernance ecclésiale. La journée d?étude organisée par le LARHRA à Lyon en 2013 avait pour but d?envisager les e jeux d?échelles structurant le gouvernement de l?Église catholique au xxe siècle. L?examen de plusieurs niveaux (romain, national, diocésain, congréganiste) dans l?espace de la catholicité européenne est apparu comme un moyen d?ouvrir la voie vers une histoire plus large, transnationale, du catholicisme contemporain au sein duquel circulent des modèles de gouvernance et de nouvelles figures de pouvoir fondant leur légitimité sur le savoir et l?expertise. 410 0$aChre?tiens et socie?te?s.$pDocuments et me?moires ;$v29. 517 $aNourritures terrestres 517 $aNourritures terrestres  606 $aReligion 606 $aHistory 606 $aépiscopat 606 $adiocèse 606 $acatholicisme contemporain 606 $acurie romaine 606 $apastorale 606 $acarrière épiscopale 615 4$aReligion 615 4$aHistory 615 4$aépiscopat 615 4$adiocèse 615 4$acatholicisme contemporain 615 4$acurie romaine 615 4$apastorale 615 4$acarrière épiscopale 676 $a234.163 700 $aDumons$b Bruno$01288723 701 $aGuise-Castelnuovo$b Antoinette$01299403 701 $aHerbinet$b Vincent$01367026 701 $aMokry$b Stephan$01367027 701 $aPettinaroli$b Laura$0884084 701 $aPlanzi$b Lorenzo$01309707 701 $aRaison du Cleuziou$b Yann$01288215 701 $aSorrel$b Christian$01081829 701 $aDumons$b Bruno$01288723 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910418016003321 996 $aGouverner l?Église catholique au xxe siècle. Perspectives de recherche$93389787 997 $aUNINA LEADER 03211nam 22006975 450 001 9910485034903321 005 20251226204255.0 010 $a3-319-41540-9 024 7 $a10.1007/978-3-319-41540-6 035 $a(CKB)3710000000765257 035 $a(DE-He213)978-3-319-41540-6 035 $a(MiAaPQ)EBC6286618 035 $a(MiAaPQ)EBC5595358 035 $a(Au-PeEL)EBL5595358 035 $a(OCoLC)1076256634 035 $a(PPN)19451496X 035 $a(EXLCZ)993710000000765257 100 $a20160712d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Aided Verification $e28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /$fedited by Swarat Chaudhuri, Azadeh Farzan 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVII, 521 p. 126 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9780 311 08$a3-319-41539-5 320 $aIncludes bibliographical references and index. 327 $aProbabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis -- Timed and hybrid systems -- Verification in practice -- Concurrency -- Automata and games. 330 $aThe two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9780 606 $aComputer science 606 $aSoftware engineering 606 $aMachine theory 606 $aComputer engineering 606 $aComputer networks 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aComputer Engineering and Networks 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Engineering and Networks. 676 $a004.015113 702 $aChaudhuri$b Swarat$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFarzan$b Azadeh$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910485034903321 996 $aComputer Aided Verification$94409985 997 $aUNINA