01605nam--2200409---450-99000189323020331620040802103914.03-540-20527-6000189323USA01000189323(ALEPH)000189323USA0100018932320040802d2003----km-y0itay0103----baengDEa|||||||001yyFormal methods at the crossroadsfrom panacea to foundational support10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations UniversityLisbon, Portugal, March 18-20, 2002revised papersBernhard K. Aichernig, Tom Maibaum (Eds.)Berlin [etc.]Springercopyr. 2003XIV, 453 p.ill.24 cm.Lecture notes in computer science27572001Lecture notes in computer science27572001001-------2001Ingegneria del softwareCongressi005.1AICHERNIG,Bernhard K.MAIBAUM,TomAnniversary colloquium of the United Nations University and the International Institute for software technology <10. ; 2002 ; Lisbon, Portugal>564945International Institute for Software TechnologyITsalbcISBD990001893230203316001 LNCS 27570029973/CBS00100114224BKSCIRIVELLI9020040802USA011039Formal methods at the crossroads954141UNISA01112nas 2200361 450 991031192620332120230517164457.02074-384X(CKB)1000000000800828(FR-PaOEC)2074384x(NjHacI)991000000000800828(EXLCZ)99100000000080082820230517a20099999 uy engur||#|||m|n||txtrdacontentcrdamediacrrdacarrierEconomics key tables from OECD /Organisation for Economic Co-operation and DevelopmentParis :OECD Publishing,2009.1 online resourceThis table collection has been discontinued. Please consult data.oecd.org, our new beta platform, to find the new data source.Economic indicatorsPeriodicalsEconomicsEconomic indicatorsEconomics.310.5NjHacINjHaclJOURNAL9910311926203321Economics55292UNINA03092 am 2200565 n 450 9910321059103321201803062-7535-5955-410.4000/books.pur.49302(CKB)4100000008103913(FrMaCLE)OB-pur-49302(oapen)https://directory.doabooks.org/handle/20.500.12854/45522(PPN)267957785(EXLCZ)99410000000810391320190503j|||||||| ||| 0freuu||||||m||||txtrdacontentcrdamediacrrdacarrierDu diocèse à la paroisse Évêchés de Rennes, Dol et Alet/Saint-Malo (Ve-XIIIe siècle) /Anne LunvenRennes Presses universitaires de Rennes20181 online resource (432-XII p.) 2-7535-3299-0 Au Moyen Âge, un maillage ecclésiastique s'étendant de la paroisse au diocèse, en passant par les doyennés et les archidiaconés, fut mis en place à l'échelle de la Chrétienté. Cette hiérarchie territoriale constitue l'aboutissement d'un lent processus de spatialisation des structures ecclésiales que cette étude tente de suivre en Haute Bretagne, dans les diocèses de Rennes, Dol et Alet/Saint-Malo. L'analyse qui combine à l'approche plus traditionnelle par les sources écrites (actes de la pratique, récits hagiographiques et pouillés diocésains) l'enseignement des « archives du sol » (sépultures et bâti religieux), s'étend du Ve au XIIIe siècle, c'est-à-dire de l'installation des premiers évêchés à l'achèvement institutionnel des cadres ecclésiastiques. La démonstration révèle le tournant majeur que représente la réforme dite « grégorienne » dans la mise en place d'une territorialité ecclésiastique. En revanche, l'idée d'une Église des Gaules organisée d'emblée sur un mode très administratif, comme celle d'une Église bretonne profondément originale sont rejetées. Il s'agit également de montrer que le processus de construction ecclésiale de l'espace fut vertical, le mouvement à l'origine de la formation de la paroisse constituant le prolongement local de celui de l'affirmation du pouvoir épiscopal sur tous les lieux de culte situés à l'intérieur du ressort de sa cathédrale.HistoryMoyen ÂgeBretagneÉglise catholiquediocèseaménagement du territoireBretagneMoyen ÂgeÉglise catholiquediocèseaménagement du territoireHistoryMoyen ÂgeBretagneÉglise catholiquediocèseaménagement du territoireLunven Anne1288725Mazel Florian1288726Pichot Daniel778385FR-FrMaCLEBOOK9910321059103321Du diocèse à la paroisse3020948UNINA