Author: Danièle ConsoPublisher: Presses Univ. Franche-Comté
ISBN: 9782848671208
Category : Latin language
Languages : fr
Pages : 230
Book Description
Les vocabulaires techniques des arpenteurs romains
Author: Danièle ConsoPublisher: Presses Univ. Franche-Comté
ISBN: 9782848671208
Category : Latin language
Languages : fr
Pages : 230
Book Description
Treaties and Other International Acts Series
Author: United StatesPublisher:
ISBN:
Category : United States
Languages : en
Pages : 982
Book Description
Author: Publisher: Odile Jacob
ISBN: 2738178855
Category :
Languages : en
Pages : 337
Book Description
United States Treaties and Other International Agreements
Author: United StatesPublisher:
ISBN:
Category : Treaties
Languages : en
Pages : 1022
Book Description
Outils de mise en œuvre industrielle des techniques formelles
Author: BOULANGER Jean-LouisPublisher: Lavoisier
ISBN: 274628801X
Category :
Languages : en
Pages : 402
Book Description
Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.
La génomique en biologie végétale
Author: Jean-François Morot-GaudryPublisher: Editions Quae
ISBN: 9782738011671
Category : Science
Languages : en
Pages : 356
Book Description
Cet ouvrage illustre de façon claire et pédagogique les méthodes et les concepts qui sont à la base des progrès de la génomique en biologie végétale (grands programmes internationaux de séquençage, outils de la bio-informatique, méthodes d'analyse de l'expression des gènes incluant leurs produits métaboliques finaux et leur spécificité tissulaire et/ou cellulaire). Il rend compte des applications potentielles de la génomique dans les domaines de la génétique et de l'amélioration des plantes, de l'écophysiologie et de l'agronomie. Ce livre s'adresse aux étudiants de fin d'études universitaires ou agronomiques, aux professeurs de l'enseignement supérieur, aux techniciens, aux ingénieurs et scientifiques qui souhaitent acquérir des connaissances en génomique végétale.
Publications
Author: Permanent Court of International JusticePublisher:
ISBN:
Category :
Languages : en
Pages : 624
Book Description
Actes Du Sixième Colloque International Sur la Convention Européenne Des Droits de L'Homme
Author: Council of Europe General SecretariatPublisher: Martinus Nijhoff Publishers
ISBN: 9789024735396
Category : Political Science
Languages : en
Pages : 1170
Book Description
0.2. Address by Mr M. Oreja.
Publisher's Practical Dictionary in 20 Languages / Dictionnaire pratique de l'édition en 20 langues / Wörterbuch des Verlagswesens in 20 Sprachen
Author: Imre MóraPublisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110977826
Category : Reference
Languages : en
Pages : 432
Book Description
Coed. with Akadémiai Kiadó, Budapest
Descriptions monumentales et discours sur l’édification chez Paulin de Nole
Author: Gaëlle Herbert de la Portbarré-ViardPublisher: BRILL
ISBN: 9047409515
Category : Religion
Languages : en
Pages : 564
Book Description
Pontius Meropius Paulinus (ca 353-431), one of the greatest poets of Late Latin Poetry and author of an important correspondence, was born in a wealthy family of the Gallo-Roman aristocracy in Bordeaux. After his spectacular conversion to asceticism and his sacerdotal ordination, he set up definitively as a monk in Italy, in Campanian Nola besides the tomb of St. Felix. There, Paulinus devoted his considerable fortune to the restructuring of the monumental complex which has appeared around this holy place, since the early years of the fourth century and mainly a church. This book is a literary and spiritual study of the description of this complex (carm. 27 and 28 and epist. 32), an other way of edification (the edification of the soul in temple for her creator.) A careful comparison with archaeological testimonies must help estimate the status of Paulinus’monumental descriptions. *** Pontius Meropius Paulinus (vers 353-431), un des plus grands poètes de l’Antiquité tardive, auteur d’une importante correspondance, est issu d’une riche famille de l’aristocratie bordelaise. Après sa conversion spectaculaire à l’ascétisme et son ordination sacerdotale, il vint s’installer définitivement en tant que moine à Nole en Campanie auprès de la tombe de saint Félix. Là Paulin consacra sa fortune considérable à la restructuration du complexe monumental apparu autour de ce saint lieu, depuis les premières années du quatrième siècle, principalement une église. Ce livre est une étude littéraire et spirituelle de la description de ce complexe (carm. 27 et 28; epist. 32), une autre sorte d’édification (celle de l’âme en temple pour son créateur). Une comparaison prudente avec les témoignages archéologiques permettra d’évaluer le statut des descriptions monumentales de Paulin.