Your search returned 51 results. Subscribe to this search

|
1. Articles Algebraic reconstruction of types and effects [ [Texte imprimé]] / P. Jouvelot, D.K. GiffordPublication :Fontainebleau : ENSMP, 1991Description : 8 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.978 CCL.5537] (2).
2. Congrès Analyse de compléxité des programmes / {V. Dornic} : Vérification et interferencePublication :S.L. : [s.n.], 1992Description : 01 VOL.,103 P. : PR 5 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-866] (1).
3. Thèses / Jean-Pierre TalpinAspects théoriques et pratiques de l'inférence de type et d'effets, Jean-Pierre TalpinPublication :Fontainebleau : ENSMP, 1993Description : 117 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.535 CCL.TH.767] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1634] (1).
4.  Monographies, textes / Benjamin C. Pierce, Davide SangiorgiBehavioral equivalence in the polymorphic pi-calculus, Benjamin C. Pierce, Davide SangiorgiPublication :Le Chesnay : Institut national de recherche en informatique et en automatique, 1996Description : 29 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (3042)] (2).
5.  Monographies, textes Categories for types [] / Roy L. Crole,...Publication :Cambridge, New York : Cambridge University Press, cop. 1993Description : 1 vol. (XVII-335 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1438] (1).
6.  Monographies, textes Contribution à l'étude des propriétés physiques des minéraux à haute pression [] : spectroscopie et calcul des grandeurs thermodynamiques de la lawsonite, des épidotes et des polymorphes de SiO2 / A. Le Cleac'hPublication :Rennes : Centre armoricain d'étude structurale des socles, 1990Description : 1 vol. (172 p.) : ill., couv. ill ; 30 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 536(36)] (1).
7. Thèses / {C. Levillain}CONTRIBUTION DE LA SPECTROMETRIE MOSSBAUER ET INFRAROUGE A LA CARACTERISATION CRISTALLOCHIMIQUE DES MICAS LITHIQUES ET DES SIDEROPHYLLITES.Publication :PARIS : Université de Paris 6, 1979Description : 01 VOL.,162 P. : IL 103, RF 120 ; 30 CMAvailability: Copies available for loan: Bib. Fontainebleau[EMF 10581-8] (1).
8. Livres Anciens Cristallographie [Texte imprimé] : Déformation des corps cristallisés, groupements, polymorphisme-isomorphisme / Frédéric Félix Auguste WallerantPublication :Paris : Librairie polytechnique Ch. Béranger, 1909Description : 1 vol. (523 p.) : ill., diagrs. ; 25 cmAvailability: Copies available for reference: Bib. Fontainebleau[EMF 12002-8] (1), Bib. Paris[EMP 0026.765/669] (1).
9.  Monographies, textes Crystallization and polymorphism of fats and fatty acids / ed. by Nissim Garti, Kiyotaka SatoPublication :New York, Basel : M. Dekker, 1988Description : viii, 450 p : ill ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP 108.744] (1).
10. Congrès DEDUCTION AND COMPUTATION. / {H. Huet}Publication :ROCQUENCOURT : INRIA, 1986Description : 01 VOL.,36 P. : 164 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3190] (1).
11.  Monographies, textes Diagrammes de phases des matériaux cristallins [] / par Paul Champion, ... Léon Guillet,... et Philippe Poupeau,...Publication :Paris, New York, Barcelone [etc] : Masson, 1981, impr. en HongrieDescription : 1 vol. (X-244 p.) : ill., fig. ; 25 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 9907-8] (1). Copies available for reference: Bib. Evry[EMC 2224] (1).
12.  Monographies, textes Différentiation symbolique orientée objets / Laurent Cogné, Bruno ArnaldiPublication :[S.l.], 06-1995Description : 28 p.Availability: Copies available for loan: Bib. Paris[EMP C 113 (2601)] (1).
13.  Monographies, textes Les distances génétiques [] : estimations et applications / Marianne Lefort-Buson et D. de Vienne, éditeurs scientifiquesPublication :Paris : Institut national de la recherche agronomique, DL 1985, 06-Gap : Impr. Louis-JeanDescription : 1 vol. (181 p.) : couv. ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[ELO 111.088] (1).
14. Congrès EXTENSIBLE RECORDS IN A PURE CALCULUS OF SUBTYPING. / {L. Cardelli}Publication :[s.n.], 1992Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI14105] (1).
15. Congrès EXTENSION (AN) OF SYSTEM F WITH SUBTYPING. / {L. Cardelli, J. Mitchell, S. Martini, A. Scedrov}Publication :S.L. : [s.n.], 1991Description : 01 VOL.,42 P. : 26 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI14106] (1).
16. Thèses Foraminifères des dépots actuels des côtes de Tunisie Sud orientale [ [Texte imprimé]] / par Georgette Glaçon ; publié sous la direction de J. Avias, L. Emberger, P. Mathias ; secrétaire de rédaction C. DroguePublication :Montpellier : Université de Montpellier, 1963Description : 324 p. : Ill. ; 27 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 4385-8] (1).
17. Congrès GLASGOW WORKSHOP ON FUNCTIONAL PROGRAMMING.Publication :S.L. : [s.n.], 1989Description : 01 VOL.,219 P. : X RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6187] (1).
18.  Monographies, textes / Silvano Dal-ZilioImplicit polymorphic type system for the blue calculus, Silvano Dal-ZilioPublication :Le Chesnay : Institut national de recherche en informatique et en automatique, 1997Description : 31 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.618 CCL.5700] (1).
19.  Monographies, textes INSECTES (LES) CARBONIFERES : REVUE SOMMAIRE.Publication :S.L. : [s.n.], 1983Description : 1983,P. : 449 A 454, RF 19 ; 28 CMAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3902(280)] (1).
20. Livres Anciens Interpretative petrology of the igneous rocks [Texte imprimé] / Harold Lattimore AllingPublication :New York : McGraw-Hill, 1936Description : 1 vol. (XV-353 p.) : fig. ; In-8°Availability: Copies available for reference: Bib. Fontainebleau[EMF 8633-8] (1).
21. Congrès LANGAGE (UN) FONCTIONNEL POLYMORPHE. APPLICATION AUX PROBLEMES LOGICIELS DU CACUL FORMEL. / {S. Dalmas}Publication :S.L. : [s.n.], 1991Description : 01 VOL.,102 P. : PR 4 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-834] (1).
22. Livres Anciens Mémoire sur la cristallisation et la structure intérieure du quartz [Texte imprimé] / par M. DescloizeauxPublication :Paris : Mallet-Bachelier, Imprimeur-Libraire, 1855Description : 1 vol. (188 p.- 4 f. de pl.) : ill. ; 23 cmAvailability: Copies available for reference: Bib. Fontainebleau[EMF 9176-8] (1).
23. Congrès METACIRCULARITY IN THE POLYMORPHIC LAMBDA-CALCULUS. / {F. Pfenning, P. Lee}Publication :S.L. : [s.n.], 1989Description : 01 VOL.,21 P. : 36 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6654] (1).
24.  Monographies, textes Mineralogie ; Herausgegeben von Hermann SteinmetzPublication :Wiesbaden : Inhaber W. Klemm, 1948Description : 1 vol. (304 p.) ; 23 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 5368-8] (1).
25.  Monographies, textes / Joint meeting of the Deutsche mineralogische Gesellschaft and the ÈOsterreichische mineralogische Gesellschaft; guest editor, G. AmthauerModern sulphide mineralogy : oral contributions at the, Joint meeting of the Deutsche mineralogische Gesellschaft and the ÈOsterreichische mineralogische GesPublication :Wien : Springer, 1995Description : P. 209 à 341 : Ill. en noir et en coul. ; 28 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF P13(53:4)] (1).

Powered by Koha

//]]>