Your search returned 5 results. Subscribe to this search

|
1. 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).
2. 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).
3.  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).
4.  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).
5.  Monographies, textes Time bounds reconstruction in higher-order typed languages / Vincent Dornic, Brian Reistad, Pierre Jouvelot, Vincent Dornic, Brian Reistad, Pierre JouvelotPublication : Fontainebleau : ENSMP, 1992Description : 12 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 141.512 CCL.5553] (2).

Powered by Koha