Your search returned 149 results. Subscribe to this search

|
1.  Monographies, textes A computational logic [] / Robert S. Boyer and J Strother MoorePublication : New York : Academic Press, cop. 1979Description : 1 vol. (XIV-397 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3043] (1).
2. Thèses AGREGATION DE PREFERENCES [Texte imprimé] / PIERRE MICHAUDPublication : [S.l.] : [s.n.], 1981Description : 1 vol. (pagination multiple) : tabl. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 133.960 CCL.TH.397] (1).
3. Articles / {C. Ponsard}ALEA ET FLOU [ [Texte imprimé]]Publication : PARIS : Dalloz-Sirey, 1977Availability: Copies available for loan: Bib. Paris[EMP 130.841 CCL.1416] (1).
4.  Monographies, textes Algèbre de Boole et machines logiques [] / sous la direction de J. Kuntzmann, P. NaslinPublication : Paris : Dunod, 1967Description : 1 vol. (XVI-313 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 101.377] (1). Copies available for reference: Centre de recherche en informatique[KUN] (1).
5.  Monographies, textes Analyse mathématique et calcul numérique pour les sciences et les techniques / Robert Dautray, Jacques-Louis Lions, Michel Artola (et al.), Robert Dautray, Jacques-Louis Lions, Michel Artola (et al.)Publication : Paris : Masson, 1984Description : 3 vol. XXIII-1410 + XXIII-1062 + XXXII-1302 p. : Ill. ; 25 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 13990-8(1)] (3), Bib. Paris[515 DAU a(1)] (6), Sophia Antipolis[EMS 110-A/N 10745-1] (3).
6.  Monographies, textes Analyse non standard [] / Alain Robert,...Publication : Lausanne : Presses polytechniques romandes, cop. 1985Description : 1 vol. (XVII-118 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 107.483] (1). Copies available for reference: Centre de Morphologie Mathématique[L-43/87/MM] (1).
7.  Monographies, textes Analyse non standard [Texte imprimé] / Francine Diener, Georges ReebPublication : Paris : Hermann, DL 1989, 53-Mayenne : Impr. de la ManutentionDescription : 1 vol. (196 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de Morphologie Mathématique[L71/89/MM] (1).
8.  Monographies, textes APPLICATIONS (LES) IDEMPOTENTES. / {G. Matheron}Publication : FONTAINEBLEAU : ENSMP, 1982Description : 01 VOL.,62 P. ; 30 CMAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3909(196)] (1), Bib. Paris[EMP 133.976 CCL.5315] (1). Copies available for reference: Géostatistique[N-743] (1).
9.  Monographies, textes Applied proof theory [] : proof interpretations and their use in mathematics / U. KohlenbachPublication : Berlin, Heidelberg : Springer, cop. 2008Description : 1 vol. (XIX-532 p.) ; 24 cmAvailability: No copies available Checked out (1).
10.  Monographies, textes Basic proof theory [ [Texte imprimé]] / A. S. Troelstra, H. SchwichtenbergPublication : Cambridge : Cambridge University Press, cop. 2000Description : 1 vol. (XII-417 p.) ; 23 cmAvailability: No copies available Checked out (1).
11. Mémoires, thèses professionnelles / Adil Idrissi KhamlichiBenchmark de taux pour un corporate, Adil Idrissi KhamlichiPublication : Paris : ENSMP, 2002Description : 56 f. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 156.063 CCL.5949] (1).
12.  Monographies, textes Boole, 1815-1864 [] : l'oiseau de nuit en plein jour / par Souleymane Bachir Diagne ; avec des notes et annexes de Marie-José DurandPublication : Paris : Belin, DL 1989, 37-Tours : Impr. MameDescription : 1 vol. (262 p.) : ill., couv. ill. ; 22 cmAvailability: Copies available for loan: Bib. Paris[EMP STS 3131] (1).
13.  Monographies, textes Calculabilité et décidabilité [] : une introduction / J.-M. Autebert,...Publication : Paris, Milan, Barcelone [etc] : Masson, DL 1992, 58-Clamecy : Impr. LaballeryDescription : 1 vol. (118 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[003.3 AUT c] (1).
14. Articles / {P. Gilormini, F. Montheillet}CHAMPS DE VITESSES ET DE CONTRAINTES AUTOUR D'UNE INCLUSION CYLINDRIQUE EN TRACTION OU COMPRESSION PLANE = VELOCITY AND STRESS FIELDS AROUND A CYLINDRICAL INCLUSION IN PLANE TENSION OR COMPRESSION (ANALYTICAL APPROACH).Publication : Quai des Grands-Augustins, 55 : impr. Gauthier-Villars, Paris, 1984Description : 01 VOL.,14 P. : IL 7, RF 17 ; 27 CMAvailability: Copies available for loan: Bib. Paris[EMP 135.975 CCL.1338] (1).
15.  Monographies, textes Cinq conférences sur l'indécidabilité [Texte imprimé] / Nicolas Bouleau, Jean-Yves Girard, Alain LouveauPublication : Paris : Presses de l'École nationale des Ponts et chaussées, impr. 1983Description : 1 vol. (77 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP STS 3314] (1). Copies available for reference: Bib. Evry[EMC 2889] (1), Centre de Gestion Scientifique[BAH00365] (1).
16.  Monographies, textes / Ed. Lázslo KalmárColloque sur les fondements des mathématiques, les machines mathématiques et leurs applications = Colloquium on the foundations of mathematics, mathematical machines and their applications = Kolloquium über die Grundlagen der Mathematik, mathematische Maschinen und ihre Anwendungen : Tibany, 11-15 septembre 1962, Ed. Lázslo KalmárPublication : Paris, Quai des Grands-Augustins, 55 : impr. Gauthier-Villars • Louvain : Nauwelaerts, 1965Description : 317 p. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 100.833] (1).
17.  Monographies, textes Compléments de théorie des graphes / par M. MinouxPublication : Paris : ENST, 1975Description : 108 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 75 (10)] (1).
18.  Monographies, textes Comprendre les méthodes formelles [] : panorama et outils logiques / Jean-François Monin,... ; préface de Gérard Huet,...Publication : Paris, Milan, Barcelone : Masson, impr. 1996, Impr. en BelgiqueDescription : 1 vol. (XVII-306 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 4116] (1).
19.  Monographies, textes Computability and logic [] / Daniel E. CohenPublication : Chichester, West Sussex, England : E. Horwood, New York : Halsted Press, 1987Description : 1 vol. (243 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3828] (1).
20.  Monographies, textes Computability and logic [] / George S. Boolos,... Richard C. Jeffrey,...Publication : Cambridge, New York (N.Y.) : Cambridge university press, 1989Description : 1 vol. (X-304 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-043] (1).
21. Congrès Computational logic [Texte imprimé] : symposium proceedings, Brussels, November 13/14, 1990 / J. W. Lloyd (Ed.)Publication : Berlin, Heidelberg, New York [etc.] : Springer, Luxembourg : [DG XIII], Commission of the European Communities, cop.1990Description : 1 vol. (IX-211 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-141] (1).
22. Congrès Computer science logic [ [Texte imprimé]] : 26th international workshop, CSL'12, 21th annual conference of the EACSL, Fontainebleau, France, September 3-6, 2012 : proceedings ; edited by: Patrick Cégielski, Arnaud DurandPublication : S.L. : LIPICS, 2012Description : 1 vol. (XIV-542 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[FON 12] (1).
23. Thèses CONNECTIVITE DES GRAPHES ET AUTOMORPHISMES DES CARTES. PROPRIETES ET ALGORITHMES. / {M. Fontet}Publication : PARIS : Université de Paris 6, 1979Description : 01 VOL.,X P. : IL X,RF X ; 21 CMAvailability: Copies available for loan: Bib. Paris[EMP 132.203 CCL.TH.179] (1).
24.  Monographies, textes Constructivism in mathematics, Volume II : an introduction / A.S. Troelstra,... D. van Dalen,...Publication : Amsterdam : North-Holland : Elsevier Science Publishers, 1988Description : 1 vol. (XVII p. ; 345-879-LII p.) : ill. ; 23 cmAvailability: No copies available Checked out (1).
25. Thèses CONTRIBUTION DES SOUS-ENSEMBLES FLOUS A L'AIDE A LA DECISION ET A L'ANALYSE STRUCTURALE / {S. Sagaama}Publication : LYON : Université de Lyon 1, 1977Description : 173 P.:BIBLIOGR.;29,5 CMAvailability: Copies available for loan: Bib. Paris[EMP 131.394 CCL.TH.293] (1).

Powered by Koha