Your search returned 98 results. Subscribe to this search

|
1. 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).
2. 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).
3. 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).
4.  Monographies, textes An implementation guide to compiler writing / Jean-Paul Tremblay, Paul G. Sorenson [ [Texte imprimé]]Publication :New York : McGraw-Hill, c1982Description : 1 vol. (VII-259 p.) ; 26 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 20040-8] (1).
5.  Monographies, textes Approche logique de l'intelligence artificielle, 1, De la logique classique à la programmation logique [] / par André Thayse, Pascal Gribomont,Georges Louis... [et al.] ; avec la collaboration de Philippe Delsarte,...Publication :Paris : Dunod, DL 1988, cop. 1988Description : 1 vol. (XIV-385 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 109.833 (1)] (1). Copies available for reference: Centre de Gestion Scientifique[BAH00359] (1), Centre de Morphologie Mathématique[L-17/92/MM] (1).
6. Congrès Automates à piles et programmation dynamique DyALog: Une application à la programmation logique / {E. Villemonte de la clergerie}Publication :S.L. : [s.n.], 1993Description : 269 P., PR 5 ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1402] (1).
7.  Monographies, textes Automates programmables [] : programmation, automatisme & logique programmée / par André Simon,... ; préface de G. Gonda et M. Quoirin,...Publication :Liège : L'Élan, DL 1983Description : 1 vol. (222 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2680] (1).
8.  Monographies, textes Les Automates programmables industriels [] / Gilles Michel,... Claude Laurgeau,... Bernard Espiau,...Publication :Paris : Dunod, 1979, 93-Montreuil : impr. Gauthier-VillarsDescription : 1 vol. (XXI-273 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 112.707] (1).
9.  Monographies, textes Automatic data mapping of signal processing applications / Corinne Ancourt, Denis Barthou, François Irigoin, [et al.], Corinne Ancourt, Denis Barthou, François Irigoin, [et al.]Publication :Fontainebleau : ENSMP, 1997Description : Non paginé ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.996 CCL.5709] (1).
10. Congrès Les Avancées en programmation : Journées AFCET-GROPLAN, Nice, 24-25 janvier 1990 / org. par le CERISI, le GRECO-PRC PAOIA et l'IRITPublication :Rennes : IRISA, [1990?]Description : 269 p. : ill. ; 30 cm.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI13159] (1).
11.  Monographies, textes Complete evaluation of Horn clauses : an automata theoretic approach = Evaluation complète des clauses de Horn : une approche par la théorie des automates / Bernard LangPublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1988Description : [3], 50, [1] p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI4980] (1).
12. 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).
13.  Monographies, textes Computing with logic : logic programming with Prolog / David Maier, David S. WarrenPublication :Menlo Park, Calif. : Benjamin/Cummings Pub. Co., c1988Description : xxi, 535 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5135] (1), Sophia Antipolis[EMS 110-C03(ISIA)/N 2399] (2).
14.  Monographies, textes Concepts in programming languages [] / John C. Mitchell,...Publication :Cambridge, New York (N. Y.) : Cambridge University Press, cop. 2002Description : 1 vol. (X-529 p.) : ill., couv. ill. ; 26 cmAvailability: Copies available for reference: Centre de recherche en informatique[MIT] (1).
15. Congrès CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION.Publication :1515, Broadway N.Y. 10036 : ACM, New York, 1990Description : P. 1 A 369, X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6792] (2).
16. Congrès Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium : Portland, Oregon, January 17-21, 1994 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)Publication :New York, N.Y. : The Association, c1994Description : viii, 492 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1486] (2).
17. Congrès Conference record of POPL '95 : 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, San Francisco, California, January 22-25, 1995 / sponsored by the Association for Computing Machinery, Special Interest Group on...(SIGACT)...(SIGPLAN)Publication :New York, N.Y. : ACM Press, c1995Description : viii, 492 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1653] (1).
18. Congrès Conference record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages [Texte imprimé] : papers presented at the Symposium, San Francisco, California, January 17-19, 1990 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Comupuability [sic] Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)Publication :New York, N.Y. : The Association, cop. 1990Description : 1 vol. (VI-401 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6749] (2).
19. Congrès Conference record of the sixteenth annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Austin, Texas, January 11-13, 1989 [Texte imprimé] / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)Publication :New York, N.Y. : The Association, cop. 1989Description : 1 vol. (VI-352 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6240] (1).
20. Congrès Conference record of the twentieth annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [Texte imprimé] : papers presented at the symposium, Charleston, South Carolina, January 10-13, 1993 / sponsored by the Association [for] Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)Publication :New York, N.Y. : ACM Press, cop. 1993Description : 1 vol. (VIII-510 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1499] (1).
21. Congrès CONPAR 90-VAPP IV, Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990 : proceedings / H. Burkhart, edPublication :Berlin, New York : Springer-Verlag, c1990Description : xi, 900 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6891] (1).
22. Thèses La consommation en registres en présence de parallélisme d'instructions [Texte imprimé] / Sid-Ahmed-Ali Touati ; sous la dir. de William JalbyPublication :[S. l.] : [s. n.], 2002Description : 2 vol.(348 p.) : ill., tabl. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[02 TOU(1)] (2).
23. Thèses Contribution à la réalisation d'une spécification formelle pour Prolog [Texte imprimé] / Gilles RichardPublication :[S.l.], [s.n.], 1989Description : 1 vol. (202 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6407] (1).
24. Congrès Contribution à la validation de programmes concurrents avec contraintes / {P. Chambre}Publication :Rocquencourt (FRA) : INRIA, 1997Description : XXVI-253 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2186] (1).
25. Thèses EAGLE : un système pour la découverte interactive de descriptions de concepts basé sur la théorie des ensembles approximatifs / Emmanuelle MartiennePublication :[S.l.] : [s.n.], 1999Description : XII-169 p. : Ill. ; 30 cmAvailability: No copies available Checked out (1).

Powered by Koha