Filtrer vos résultats
- 7
- 1
- 6
- 1
- 5
- 6
- 1
- 7
- 5
- 2
- 6
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
|
Higher-order abstract syntax with induction in Coq[Research Report] RR-2292, INRIA. 1994
Rapport
inria-00074381v1
|
||
|
The Planar motion with bounded derivative of the curvature and its suboptimal paths[Research Report] RR-2189, INRIA. 1994
Rapport
inria-00074482v1
|
||
|
La transformation des traités français d'analyse (1870-1914)1994
Pré-publication, Document de travail
hal-00347740v1
|
||
|
Numerical simulations of compressible mixing layers[Research Report] RR-2217, INRIA. 1994
Rapport
inria-00074453v1
|
||
|
Simulation of compressible viscous flows on a variety pf MPPs : computational algorithms for unstructured dynamic meshes and performance results[Research Report] RR-2154, INRIA. 1994
Rapport
inria-00074518v1
|
||
|
Gestion de maillages triangulaires déformables[Rapport de recherche] RR-2272, INRIA. 1994
Rapport
inria-00074399v1
|
||
|
A Second Order Defect Correction Scheme for Unsteady ProblemsRR-2447, INRIA. 1994
Rapport
inria-00074228v1
|