Your search returned 76 results. Subscribe to this search

|
1. Articles 13TH Annual International Symposium on Computer ArchitecturePublication :WASHINGTON : IEEE, 1986Description : P. 1 A 454 : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3382] (2).
2. 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).
3.  Monographies, textes Abstract interpretation of declarative languages [Texte imprimé] / editors Samson Abramsky,...Chris Hankin,...Publication :Chichester : Ellis Horwood Limited, New York, Chichester, Brisbane, [etc.] : J. Wiley and sons, 1987Description : 1 vol. (284 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5042] (1).
4.  Monographies, textes Algebraic specification [Texte imprimé] / edited by J.A. Bergstra, J. Heering, P. KlintPublication :New York, N.Y. : ACM Press, Wokingham, England, Reading, Mass. : Addison-Wesley, c1989Description : xiii, 397 p. : ill. ; 25 cm.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI6389] (2).
5.  Monographies, textes L'anatomie de Prolog [Texte imprimé] / Michel Van CaneghemPublication :Paris : Inter Éditions, 1986Description : 1 vol. (191 p.) ; 23 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN] (1).
6. Congrès ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE.Publication :1515, Broadway N.Y. 10036, New York : ACM, 1987Description : P. 1 A 332 : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI11012] (1).
7. Congrès ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE.Publication :ACM, 1515, Broadway N.Y. 10036, New York, 1990Description : P. 1 A 393 : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI 6830] (1).
8. Congrès APPLICATION DES TECHNIQUES DE L'INTELLIGENCE ARTIFICIELLE AU DIAGNOSTIC DE DEFAUTS DES CIRCUITS IMPRIMES. / {E. Barrielle}Publication :PARIS : ENST, 1985Description : 01 VOL.,130 P. : PR 8 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3270] (1).
9. Congrès Approaches to prototyping : proceedings of the working conference on Prototyping, Namur, Belgique, October, 1983 / Reinhard BuddePublication :Berlin, Heidelberg, New York : Springer Verlag, 1984Description : XI-458 p. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2769] (1).
10. Congrès APPROCHE LOGIQUE DE L'INTELLIGENCE ARTIFICIELLE. 1,DE LA LOGIQUE CLASSIQUE A LA PROGRAMMATION LOGIQUE / {D. Synyers, P. Gribomont, A. Thayse, G. Louis}Publication :PARIS : BORDAS, 1988Description : 01 VOL.,400 P. : PR 9 ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5043] (1).
11. Congrès ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS II).Publication :New York : ACM, 1987Description : P. 1 A 205 : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3758] (4).
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. Congrès Conference record of the eleventh annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and ] Special Interest Group on Programming LanguagesPublication :New York : ACM, c1983 [i.e. 1984]Description : vi, 302 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2643] (1).
15. Congrès CONPAR 90-VAPP IV SPECIAL TECHNICAL CONTRIBUTIONS.Publication :S.L. : [s.n.], 1990Description : 01 VOL.,134 P. : X RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6908] (1).
16. 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).
17. Articles DECLARATIVE LANGUAGES. [[Texte imprimé]]Publication :1985Description : P. 148 A 258 : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI7927] (1).
18. Congrès Design tools for the 90's : Fifteenth Euromicro Symposium on Microprocessing and Microprogramming (EUROMICRO 89) Cologne, September 4-8, 1989 / edited by Lorenzo Mezzalira and Stephen WinterPublication :Amsterdam, New York : North-Holland, New York, NY, U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989Description : xx, 851 p. : ill. ; 27 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI12241] (1).
19.  Monographies, textes Designing efficient algorithms for parallel computers / Michael J. QuinnPublication :New York : McGraw-Hill, c1987Description : xvi, 288 p. : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI4983] (1).
20. Articles DOMESTICATING PARALLELISM. [[Texte imprimé]] / {D. Gelernter}Publication :New York : IEEE, 1986Description : P. 12 A 71 : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI10307] (1).
21.  Monographies, textes Éléments d'intelligence artificielle [Texte imprimé] / Henri Farreny, Malik GhallabPublication :Paris, Londres, Lausanne : Hermès, impr. 1987, 58-Clamecy : Impr. LaballeryDescription : 1 vol. (367 p.) : fig. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 108.171] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI3881] (1).
22. Congrès ESOP '90 / 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings ; A. Arnold, N. Jones (eds.)Publication :Berlin, New York : Springer-Verlag, c1990Description : ix, 435 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-144] (1).
23. Congrès ETUDE DE LA CONSTUCTION DES PROGRAMMES / {J. Finance} : METHODES ET LANGAGES DE SPECIFICATION ET DE RESOLUTION DE PROBLEMES.Publication :S.L. : [s.n.], 1979Description : 01 VOL.,488 P. : PR 17 ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1576] (1).
24.  Monographies, textes Exercices programmés d'intelligence artificielle [Texte imprimé] / Henri Farreny,...Publication :Paris, New York, Barcelone : Masson, 1987Description : 1 vol. (328 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3634] (2).
25. Thèses Une formalisation des structures de contrôle de Prolog / Michel BillaudPublication :[S.l.] : [s.n.], 1985Description : Non paginé ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2771] (1).

Powered by Koha

//]]>