Refine your search

Your search returned 14 results. Subscribe to this search

|
1.  Monographies, textes Applications industrielles du Grafcet [] / par Sylvain Thelliez et Jean-Marc ToulottePublication :Paris : Eyrolles, 1985Description : 1 vol. (XI-187 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 108.362] (1).
2.  Monographies, textes L'automatique en classes préparatoires [] / Bernard Descotes-Genon,... Jean Le Bail,...Publication :Paris : Ellipses, cop. 1995, 37-Tours : Impr. MameDescription : 1 vol. (188 p.) : ill., couv. ill ; 26 cmAvailability: Copies available for reference: Sophia Antipolis[EMS 110-D/N 4839] (1).
3.  Monographies, textes L'Automatique par les problèmes : à l'intention des débutants, Tome I [] / J.Cojean et L.Thiberville,...R.Chappert et A.Campa,...Publication :Paris : Foucher, [1968]Description : VIII-197 p. : ill., couv. ill. en coul. ; 27 cmAvailability: Copies available for loan: Bib. Paris[EMP 500.980] (1).
4.  Monographies, textes Clavis universalis [] : arts de la mémoire, logique combinatoire et langue universelle de Lulle à Leibniz / Paolo Rossi ; traduit de l'italien par Patrick VighettiPublication :Grenoble : J. Millon, 1993Description : 1 vol. (268 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP STS 3660] (1).
5.  Monographies, textes Combinators, [lambda]-terms and proof theory [] / Sören StenlundPublication :Dordrecht, Holland : D. Reidel publishing Company, 1972Description : 1 vol. (184 p.) ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI0943BIS] (1).
6.  Monographies, textes Électronique : exercices / Jean-Pierre Burban, Bruno SteuxPublication :Paris : École des Mines de Paris, 2004Description : 1 vol. (100 p.) : ill., graph., couv. ill. en coul. ; 30 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3920(361)] (1), Bib. Paris[EMP C5 [310-2]] (2). Copies available for reference: Bib. Paris[EMP C5 [310-1]] (1).
7.  Monographies, textes Grafcet et logique industrielle programmée / par Sylvain Thelliez, Jean-Marc ToulottePublication :Paris : Eyrolles, 1985Description : 138 p ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 108.687] (1).
8.  Monographies, textes Homotopic deductions in unification logic = Déductions homotopes dans la logique de l'unification / Philippe Le ChenadecPublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, [1991]Description : 64 p. : ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (1384)] (1).
9.  Monographies, textes Lambda-calcul [] : types et modèles / Jean-Louis Krivine,...Publication :Paris, Milan, Barcelone [etc.] : Masson, cop.1990, 53-Mayenne : Impr. FlochDescription : 1 vol. (VIII-176 p.) : couv. ill. en coul. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-061] (1), Sophia Antipolis[EMS 110-C/N 2821] (1).
10.  Monographies, textes La logique combinatoire [] / Jean-Pierre Ginisti,...Publication :Paris : Presses universitaires de France, impr. 1997Description : 1 vol. (126 p.) ; 18 cmAvailability: Copies available for loan: Bib. Paris[EMP C 11 (3205)] (1).
11.  Monographies, textes Logique, réduction, résolution [] / René Lalement,... ; préf. de Michel DemazurePublication :Paris, Milan, Barcelone [etc.] : Masson, 1990, 61-Alençon : Normandie impr.Description : 1 vol. (xii-370 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-062] (1), Sophia Antipolis[EMS 110-C/N 2843] (1).
12.  Monographies, textes Principes de fonctionnement des ordinateurs [] / R. Dowsing, F. Woodhams ; trad. de l'anglais par Éric DavidTranslation of : Computer architecturePublication :Paris, New York, Barcelone : Masson, 1987, 14-Condé-sur-Noireau : Impr. CorletDescription : 154 p. : ill. ; 24 cmAvailability: Copies available for reference: Sophia Antipolis[EMS 110-C/N 2445] (1).
13. Thèses RESULTATS DE CONFLUENCE POUR LES REGLES FORTES DE LA LOGIQUE COMBINATOIRE CATEGORIQUE ET LIENS AVEC LES LAMBDA-CALCULS / THERESE HARDIN-ACCART ; SOUS LA DIRECTION DE PIERRE-LOUIS CURIENPublication :[S.l.] : [s.n.], 1987Description : 238 P. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3763] (1).
14.  Monographies, textes The Stanford GraphBase [] : a platform for combinatorial computing / Donald E. KnuthPublication :New York, N.Y. : ACM Press, Reading, Mass. : Addison-Wesley, c1993Description : 1 vol. (VII-576 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[KNU] (1).

Powered by Koha