Your search returned 651 results. Subscribe to this search

|
1.  Monographies, textes Œuvres complètes [] / A. A. CournotPublication :Paris : J. Vrin, 1973-1989Description : 11 vol. (?, X-550, VIII-637, VIII-607, XIII-272, VII-555, VIII-420, X-402, X-195, X-408, VIII-321 p.) : fig., 5 pl. dépl. h.-t., graph. ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP C 96 (44)] (1).
2.  Monographies, textes Œuvres philosophiques, Volume I, Pragmatisme et pragmaticisme / Charles Sanders Peirce ; traduction de l'anglais (États-Unis) et édition établie par Claudine Tiercelin et Pierre ThibaudPublication :Paris : Les Éditions du Cerf, 2002Description : 1 vol. (484 p.) : ouv. ill. en coul., graph. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP STS 6310] (1). Checked out (1).
3.  Monographies, textes Œuvres philosophiques, Volume II, Pragmatisme et sciences normatives / Charles Sanders Peirce ; édition établie par Claudine Tiercelin et Pierre Thibaud ; traduction de l'anglais (États-Unis) par Claudine Tiercelin, Pierre Thibaud et Jean-Pierre ComettiPublication :Paris : Les Éditions du Cerf, 2003Description : 1 vol. (344 p.) : couv. ill. ; 24 cmAvailability: No copies available Checked out (1).
4. Congrès 1988 International Conference on Supercomputing [Texte imprimé] : July 4-8, 1988, St. Malo, France : conference proceedings / @International Conference on SupercomputingPublication :New York, N.Y. : Association for Computing Machinery, Baltimore, MD : Ordered prepaid from ACM Order Dept., c1988Description : xiii-679 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6446] (2).
5.  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).
6. Articles A fuzzy logic and a neural network based wind power forecasting model / E. Nogaret, G. Stavrakakis, G. Kariniotakis [ [Texte imprimé]]Publication :300740 : ENSMP, 1996Description : p. 566-599 : Ill.Availability: Copies available for loan: Bib. Paris[EMP 145.066 CCL.5682] (2).
7. Congrès A Logical view of composition / {M. Abadi, G. Plotkin}Publication :s.l. : [s.n.], 1992 Description : 01 VOL.,35 P. : 28 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-872] (1).
8.  Monographies, textes A social history of truth [] : civility and science in seventeenth-century England / Steven ShapinPublication :Chicago (Ill.), London : the University of Chicago press, 1995, cop. 1994Description : 1 vol. (XXXI-483 p.) : ill ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP STS 3751] (1).
9. Congrès AAMAS 2004 [Ressource électronique] : the third International Joint Conference on Autonomous Agents and Multi Agent Systems, New York, New York, USAPublication :New York, NY : ACM Press, cop. 2004Description : 1 CD-ROM$d4 3/4 inAvailability: No copies available Checked out (1).
10.  Monographies, textes Abrégé d'histoire des mathématiques [] : 1700-1900 / Jean Dieudonné,... ; avec la collaboration de Pierre Dugac, W.J. & F. Ellison, Jean Guérindon... [et al.]Publication :Paris : Hermann, DL 1986, 41-Vendôme : Impr. des PUFDescription : 1 vol. (517 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[510 DIE a] (1).
11. Congrès ACM Sigplan workshop on partial evaluation and semantic-based program manipulation (PEPM'92) : Fairmont hotel, San Francisco, CA, USA, june 19-20, 1992Publication :New Haven (CT) : Yale university, 1992Description : IV-121 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 92] (1).
12.  Monographies, textes Ad infinitum -- the ghost in Turing's machine [] : taking God out of mathematics and putting the body back in : an essay in corporeal semiotics / by Brian RotmanPublication :Stanford, Calif. : Stanford University Press, cop. 1993Description : 1 vol. (XII-203 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP STS 4044] (1).
13. Articles Advanced short-term forecasting of wind power production / G. Kariniotakis, E. Nogaret , G. Stavrakakis [ [Texte imprimé]]Publication :ENSMP, 300740, 1997Description : P. 751-754 : Ill.Availability: Copies available for loan: Bib. Paris[EMP 147.497 CCL.5757] (1).
14. 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).
15.  Monographies, textes Aide à la conception de l'éclairage naturel dans la phase d'esquisse architecturale et son impact sur l'énergetique du bâtiment / Ljubica Mudri ; sous la direction de Albert DupagnePublication :1996Description : 1 vol. (288 p.) : ill. en noir et en coul. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.090 CCL.TH.868] (1). Copies available for reference: Bib. Paris[EMP 145.089 CCL.TH.867] (1).
16. Articles / {C. Ponsard}ALEA ET FLOU [ [Texte imprimé]]Publication :301873, PARIS : Dalloz-Sirey, 1977Availability: Copies available for loan: Bib. Paris[EMP 130.841 CCL.1416] (1).
17.  Monographies, textes ALGEBRE DE BOOLE. / {J. Kuntzmann}Publication :Paris, 5, rue Laromiguière, 75006 : Dunod, 300748, 1965Description : 01 VOL.,319 P. : PR 4 ; 24 CMAvailability: Copies available for loan: Bib. Paris[EMP 100.527] (1). Copies available for reference: Centre de recherche en informatique[KUN] (1).
18.  Monographies, textes Algèbre de Boole [] : théorie, méthodes de calcul, applications : avec exercices / Noël Permingeat,... Denis Glaude,...Publication :Paris, Milan, Barcelone : Masson, 1988, 53-Mayenne : Impr. FlochDescription : 1 vol. (X-211 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 109.730] (1).
19.  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).
20.  Monographies, textes L'algèbre de Boole et son utilisation [] / par H. G. Flegg,... ; traduit par Camille Duby,...Translation of : Boolean algebra and its applicationPublication :Paris : Dunod, 1967Description : 1 vol. (XIII-245 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0005] (1).
21. Congrès ALGEBRE DES LOGIQUES MODALES ET INTUITIONNISTES / {A. Foret} : PROCEDURES DE DECISION ET FORMES CANONIQUES.Publication :ROCQUENCOURT : INRIA, 1990Description : 01 VOL.,163 P. : PR 3 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-322] (1).
22.  Monographies, textes Algèbre moderne et activités humaines [] / par J. G. Kemeny, J. L Snell, G. L. Thompson,... ; traduit par M. C. LoyauTranslation of : Introduction to finite mathematicsPublication :Paris : Dunod, 1960Description : 1 vol. (XI-343 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 99.113] (1).
23. Thèses Algèbre multivaluées [sic] et circuits logiques I2L / Dao Trong TichPublication :[S.l.], [1979]Description : [12]-142 p : ill ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[79 DAO] (1).
24. Congrès ALGORITHMES POUR LA COMPILATION DE BASES DE CONNAISSANCES EN LOGIQUE PROPOSITIONNELLE ET DU PREMIER ORDRE / {H. Philippe} : LES SYSTEMES KHEOPS ET CLOPS.Publication :S.L. : [s.n.], 1989Description : 01 VOL.,146 P. : PR 7 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6709] (1).
25. Congrès AN AXIOMATIZATION OF LAMPORT'S TEMPORAL LOGIC OF ACTIONS. / {M. Abadi}Publication :s.l. : [s.n.], 1990Description : 01 VOL.,18 P. : PR 1 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-073] (1).

Powered by Koha

//]]>