Search Results

L'abbé de Saint-Denis, accompagné d'une procession, apporte la sainte ampoule : Ordo du sacre de 1250 (Ordo ad coronandum regem et reginam Francorum)

• Authors : Enluminures de Maître de la Vie de Saint-Denis et Maître de Guignes

Subjects: laicite; Histoire des représentationsParis

• Source: BnF, département des Manuscrits, Latin 1246, fol. 4 © Bibliothèque nationale de France

Record details

L'abbé de Saint-Denis, accompagné d'une procession, apporte la sainte ampoule : Ordo du sacre de 1250 (Ordo ad coronandum regem et reginam Francorum), vers 1250

• Authors : Enluminures de Maître de la Vie de Saint-Denis et Maître de Guignes

• Source: BnF, département des Manuscrits, Latin 1246, fol. 4 © Bibliothèque nationale de France, vers 1250.

Record details

Les Polo quittent Venise : Marco Polo (1254-1324), Le Devisement du monde ou Livre des Merveilles

Subjects: marine; Cartes et globes

• Source: BnF, département des Manuscrits, Français 2810, fol. 4

Record details

Les Polo quittent Venise : Marco Polo (1254-1324), Le Devisement du monde ou Livre des Merveilles, Récit de 1299, copié à Paris vers 1410-1412

• Source: BnF, département des Manuscrits, Français 2810, fol. 4, Récit de 1299, copié à Paris vers 1410-1412.

Record details

Recueil de pièces concernant les FINANCES ROYALES et le DOMAINE DE LA COURONNE, de 1399 à 1600 environ, 1301-1400

• Authors : Savoie, Louise de, 1476-1531, Auteur de lettres

• Source: Bibliothèque nationale de France. Département des manuscrits. Dupuy 466, 1301-1400.

Record details

The Internet Standards Process-- Revision 2

• Authors : Request For Comments; The Pennsylvania State University CiteSeerX Archives

Subjects: Category; Informational Status of this Memo

• Source: http://ietfreport.isoc.org/rfc/PDF/rfc-pdf/rfc1602.pdf.

Record details

Des centaines de chantiers au Moyen Âge : Construction de la Tour de Babel

Subjects: passerelles; Arts et architecture

• Source: BnF, Manuscrits occidentaux, FRANCAIS 63, folio 2v

Record details

Des centaines de chantiers au Moyen Âge : Construction de la Tour de Babel, 1440?-1450?

• Source: BnF, Manuscrits occidentaux, FRANCAIS 63, folio 2v, 1440?-1450?.

Record details

Well-founded recursion done right

• Authors : Leroy, Xavier;

Subjects: [INFO]Computer Science [cs]London; United Kingdom

• Source: CoqPL 2024: The Tenth International Workshop on Coq for Programming Languages ; https://inria.hal.science/hal-04356563 ; CoqPL 2024: The Tenth International Workshop on Coq for Programming Languages,

Record details

Thunks and Debits in Separation Logic with Time Credits

• Authors : Pottier, François; Guéneau, Armaël; Jourdan, Jacques-Henri ...

Subjects: ¨Program verification; Separation logic; Time complexityLondres; United Kingdom

• Source: Proceedings of the ACM ; POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.science/hal-04238691 ; POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of

Record details