Your search returned 252 results. Subscribe to this search

|
1. Congrès 20 Years of the ACM SIGPLAN conference on programming language design and implementation : 1979-1999 : a selection / ed. by Kathryn S. McKinleyPublication :New York : ACM Press, 2004Description : XI-672 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI21452] (2).
2. Congrès 2nd International workshop on automated program analysis, testing, and verification (WAPATV) : ICSE 2001 workshop 4 / Nigel Tracey, John Penix, Willem C. VisserPublication :1515, Broadway N.Y. 10036, New York : ACM, 2001Description : Pagination aléatoire : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOR 01] (1).
3. Congrès 9th International workshop on program comprehension (IWPC 2001) : proceedings : 12-13 may 2001, Toronto, CanadaPublication :Los Alamitos (CA) : IEEE Computer society, 2001Description : XI-325 p. : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOR 01] (1).
4. Articles A practical automatic polyhedral parallelizer and locality optimizer : PLDI'08. Proceedings of the 2008 SIGPLAN conference on Programming language design & implementation / by Uday Bondhugula, Albert Hartono, J. Ramanujam (et al.)Publication :New York : ACM, 2008Description : p. 101 à 113 : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TUC 08] (1).
5. Congrès ABSTRACT INTERPRETATION BY DYNAMIC PARTITIONING. / {F. Bourdoncle}Publication :S.L. : [s.n.], 1992Description : 01 VOL.,32 P. : 14 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-830] (1).
6. Congrès Abstract interpretation frameworks / {P. Cousot}Publication :S.L. : [s.n.], 1992Description : 28 P., 38 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-994] (2).
7. Congrès Abstract interpretation using domain theory / by Flemming NielsonPublication :Edinburgh : University of Edinburgh, 1984Description : 328 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[84 NIE] (1).
8. Congrès Abstraction de traces en analyse statique et transformations de programmes = Traces abstraction in static analysis and program transformation / Xavier RivalPublication :Paris : Ecole normale supérieure, 2005Description : XII-300 p. : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[05 RIV] (1).
9. Congrès ACM Sigplan 2005 : OOPSLA'05 conference proceedings. 20th Annual ACM conference on Object-oriented programming, systems, languages, and applications, OOPSLA'05 San Diego ; ed.: ACMPublication :New York : ACM SIGPLAN, 2005Description : 1 vol. ( XIII-546 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 05] (1).
10.  Monographies, textes Advanced symbolic analysis for compilers [] : new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer, Bernhard ScholzPublication :Berlin, New York : Springer, cop. 2003Description : XII-129 p. ; 24 cmAvailability: No copies available Checked out (1).
11. Articles Advances in Bit Width Selection methodology / {D. Cachera, T. Risset}Publication :Los Alamitos (CA) : IEEE Computer society, 2002Description : P. 381-390 : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 02] (1).
12. Articles AFFINE RELATIONSHIPS AMONG VARIABLES OF A PROGRAM. / {M. Karr}Publication :Berlin, Heidelberg : Springer, 1976Description : P. 133 A 151 : 6 RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI12498] (1).
13. Articles AN INCREMENTAL VERSION OF ITERATIVE DATA FLOW ANALYSIS. [[Texte imprimé]] / {L. Pollock}Publication :New York : IEEE, 1989Description : P. 1537 A 1549 : 19 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI12510] (1).
14.  Monographies, textes Analyse constructive et optimisation séquentielle des circuits générés à partir du langage synchrone réactif ESTEREL / Horia Alexandru Toma ; sous la direction de Gérard BerryPublication :Description : 1 vol. (199 p.) : ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 146.595 CCL.TH.907] (1). Copies available for reference: Bib. Paris[EMP 146.594 CCL.TH.907] (1), Centre de recherche en informatique[EM AI CI200-2267] (1), Sophia Antipolis[EMS T-CMA-042] (1).
15. Thèses Analyse d'échappement [Microforme] : applications à ML et JAVA TM / Bruno BlanchetPublication :Grenoble : ANRT [diff.], 2000Description : 1 microficheAvailability: Copies available for reference: Centre de recherche en informatique[2000 BLA] (1).
16. Thèses Analyse des systèmes mobiles par interprétation abstraite [Texte imprimé] / par Jérôme Feret ; sous la direction de [non précisé : le formulaire indique : sous la direction de "Jérôme Feret"]Publication :[S.l.] : [s.n.], 2005Description : 1 vol. (372 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[2005 FER] (1).
17. Thèses Analyse du flot de données pour tableaux en présence de contraintes non-affines [Texte imprimé] / Denis Barthou ; sous la dir. de Paul FeautrierPublication :[S.l.] : [s.n.], 1998Description : 208 f. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1998 BAR] (1).
18. Congrès Analyse interprocedurale du flot des données / Arnauld LeservotPublication :Limeil-Valenton : [s.n.], 1996Description : 168 P., PR 10 ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1755] (1).
19. Thèses ANALYSE SEMANTIQUE DE STRUCTURES DE DONNEES DYNAMIQUES AVEC APPLICATION AU CAS PARTICULIER DE LANGAGES LISPIENS / JAN STRANSKY ; SOUS LA DIRECTION DE PATRICK COUSOTPublication :[S.l.] : [s.n.], 1988Description : 127 P. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-690] (2).
20. Thèses ANALYSE SEMANTIQUE DES COMMUNICATIONS ENTRE PROCESSUS DE PROGRAMMES PARALLELES / NICOLAS MERCOUROFF ; SOUS LA DIRECTION DE PATRICK COUSOTPublication :[S.l.] : [s.n.], 1990Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-156] (1).
21. Congrès ANALYSE SEMANTIQUE DES CONGRUENCES D'INTERVALLES. / {F. Masdupuy}Publication :S.L. : [s.n.], 1990Description : 01 VOL.,10 P. : 6 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-386] (1).
22.  Monographies, textes Analyse sémantique interactive pour la construction de modèles conceptuels à partir de corpus / Assadi H. = Interactive semantic analysis for building conceptual models from corpora, Assadi H.Publication :Clamart : EDF-DER, 1997Description : 7 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 155C (97NO00001)] (1).
23.  Monographies, textes / Pierre JouvelotAnalyse statique comportementale des langages de programmation, Pierre JouvelotPublication :Paris : ENSMP, 1994Description : 239 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.222 CCL.5620] (2).
24. Thèses / Béatrice CreusilletAnalyses de régions de tableaux et applications, Béatrice CreusilletPublication :Paris : ENSMP, 1996Description : XVI-313 P. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 144.735 CCL.TH.860] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-2068] (3).
25. Thèses ANALYSES SEMANTIQUES DE CONGRUENCE / PHILIPPE GRANGER ; SOUS LA DIRECTION DE PATRICK COUSOTPublication :[S.l.] : [s.n.], 1991Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-594] (1).

Powered by Koha