Your search returned 14 results. Subscribe to this search

|
1. Mémoires, thèses professionnelles ADAGAUGE,UN OUTIL D'ANALYSE DE COMPLEXITE. / {P. Bazet}Publication : PARIS : ENSMP, 1991Description : 01 VOL.,112 P. : RF 11 ; 30 CMAvailability: Copies available for loan: Bib. Paris[EMP 140.362 CCL.5514] (2).
2. Articles Algebraic time reconstruction [ [Texte imprimé]] / Vincent Dornic, Pierre JouvelotPublication : Fontainebleau : ENSMP, 1992Description : 11 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.960 CCL.5535] (2).
3. 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).
4. Thèses Analyse de complexité des programmes [ [Texte imprimé]] : vérification et inférence / Vincent DornicPublication : Paris : ENSMP, 1992Description : 103 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 141.140 CCL.TH.701] (2).
5.  Monographies, textes L'analyse des données, 2, l'analyse des correspondances : introduction, théorie, applications diverses, notamment à l'analyse des questionnaires, programmes de calcul : leçons sur l'analyse factorielle et la reconnaissance des formes et travaux du laboratoire de statistique de l'Université de Paris VI / rédigés et publiés sous la direction du Professeur J-P. BenzécriPublication : Paris : Dunod, 1976Description : 1 vol. (VI-616 p.) : portr. en front., ill., fig., graph., tabl. ; 25 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 20178-8] (1).
6.  Monographies, textes / Béatrice Creusillet, François IrigoinInterprocedural analyses of Fortran programs, Béatrice Creusillet, François IrigoinPublication : Fontainebleau : ENSMP, 1997Description : 40 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.999 CCL.5709] (1).
7. Mémoires, thèses professionnelles Mémoire et recueil de travaux / François Irigoin : compilation pour machines parallèles, François IrigoinPublication : Fontainebleau : ENSMP, 1993Description : 2 vol.(pagination multiple) : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.323 (1) CCL.5583] (4).
8.  Monographies, textes / V. Dornic, P. Jouvelot, D.K. GiffordPolymorphic time systems for estimating program complexity, V. Dornic, P. Jouvelot, D.K. GiffordPublication : Fontainebleau : ENSMP, 1991Description : 8 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.956 CCL.5535] (2).
9.  Monographies, textes / Vincent Dornic, Pierre Jouvelot, David K. GiffordPolymorphic time systems for estimating program complexity, Vincent Dornic, Pierre Jouvelot, David K. GiffordPublication : Fontainebleau : ENSMP, 1992Description : 23 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.958 CCL.5535] (2).
10.  Monographies, textes / François MasdupuySemantic analysis of interval congruences, François MasdupuyPublication : Fontainebleau : ENSMP, 1993Description : 14 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.309 CCL.5584] (2).
11.  Monographies, textes Separate abstract interpretation for control-flow analysis / Yan-Mei Tang, Pierre Jouvelot, Yan-Mei Tang, Pierre JouvelotPublication : Fontainebleau : ENSMP, 1993Description : 20 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.307 CCL.5584] (2).
12.  Monographies, textes Separate polyvariant binding-time analysis / Pierre Jouvelot, Charles Consel, Pierre Jouvelot, Charles ConselPublication : Fontainebleau : ENSMP, 1993Description : 9 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.306 CCL.5584] (2).
13. Thèses / {Y. Tang}Systèmes d'effet et interprétation abstraite pour l'analyse de flot de contrôlePublication : Paris : ENSMP, 1994Description : 118 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.245 CCL.TH.791] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1558] (1).
14. Mémoires, thèses professionnelles Vérification formelle de hardware et software autour d'Esterel / David Coulon, David CoulonPublication : Paris : ENSMP, 2001Description : 34 f. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 150.011 CCL.5828] (1). Copies available for reference: Centre de recherche en informatique[2001 BNI: 9170] (1).

Powered by Koha