Your search returned 13 results. Subscribe to this search

|
1.  Monographies, textes Aide au placement d'applications de traitement du signal sur machines parallèles multi-SPDM. Rencontre de la parallélisation automatique et de la programmation par contraintes / Nicolas Museux ; sous la direction de François IrigoinPublication :2001Description : 1 vol. (208 f.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 150.200 CCL.TH.1022] (1). Copies available for reference: Bib. Paris[EMP 149.693 CCL.TH.1022] (1), Centre de recherche en informatique[01 MUS] (1).
2. Congrès Colloque GEMSTIC'03 : "l'industrie du logiciel - outils et méthodologies" - 3 avril 2003, Ecole des mines de ParisPublication :Paris : ENSMP, 2003Description : Pagination multiple : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 03] (1).
3. Congrès Contraintes et objets: clefs de voute d'un outil d'aide à la composition musicale ? / {P. Ballesta}Publication :S.L. : INRIA, 1994Description : 196 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1871] (1).
4. Thèses Étude de la compilation des langages logiques de programmation par contraintes sur les domaines finis [Texte imprimé] : le système clp (FD) / par Daniel DiazPublication :Le Chesnay : INRIA, 1995Description : 1 vol. (12-270 p.) : graph., ill., tabl. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1868] (1).
5. Congrès Functional and Logic Programming [ [Texte imprimé]] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ; edited by Michael Codish, Eijiro SumiiPublication :Cham, Heidelberg : Springer International Publishing Switzerland : Imprint: Springer : Springer e-books, 2014Description : 1 vol. XVI-353 p. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[KAN14] (1).
6. Thèses Langages concurrents avec contraintes [Texte imprimé] : communication par messages et distribution / par Jean-Hugues Réty ; [sous la dir. de Philippe Codognet]Publication :[Le Chesnay] : [INRIA], [1997]Description : 146 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2154] (1).
7.  Monographies, textes Planification de tâches de téléprogrammation au moyen d'un attracteur virtuel [] / par Stéphane Morel ; sous la dir. de Christian Laugier et Isabelle MazonPublication :[Le Chesnay] : [INRIA], [1996]Description : VI-105 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1944] (1).
8. Congrès Principles and practice of declarative programming : proceedings / of the 2nd International ACM SIGPLAN conference on ..., PPDP'00, Montréal, Canada, September 20-23, 2000Publication :New York : ACM press, 2000Description : X-301 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[MON 00] (1).
9. Ressources électroniques Proceedings of the 2007 Symposium on applied computing ; hosted by: Seoul National university and Suwon universityPublication :Stoughton (WI) : ACM, 2007Description : 1 CD-Rom ; 13 x 14Availability: Copies available for reference: Centre de recherche en informatique[CRI06018D] (1).
10. Congrès Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming [Texte imprimé] : (PPDP '02) : Pittsburgh, Pennsylvania, USA, October 6-8, 2002 / sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)Publication :New York, N.Y. : ACM Press, cop. 2002Description : VIII-216 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PIT 02] (1).
11.  Monographies, textes Programmation logique par contraintes [] / François Fages,...Publication :Paris : Ellipses, Impr. 1996, 86-Ligugé : Impr. AubinDescription : 1 vol. (183 p.) : ill., couv. ill. en coul ; 26 cmAvailability: Copies available for reference: Centre de recherche en informatique[FAG] (1), Sophia Antipolis[EMS 110-C03/N 3824] (1).
12. Congrès Programming languages and systems [Texte imprimé] : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Daniel Le Métayer (ed.)Publication :Berlin, New York : Springer, cop. 2002Description : XII-329 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).
13. Congrès Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.)Publication :Berlin, New York : Springer, cop. 2003Description : XVI-604 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).

Powered by Koha