Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Dissertation/ Thesis

Homogénéisation et Controle Optimal pour des Problèmes de Stokes et pour un Problème de Torsion Elastique

Subjects: Torsion Elastique; Homogénéisation; Contrôle optimal

  • Source: https://theses.hal.science/tel-00001290 ; Mathématiques [math]. Université de Metz, 2001. Français. ⟨NNT : ⟩.

تفاصيل العنوان

×
Conference

Towards Certifying Network Calculus

Subjects: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Rennes; France

  • Source: ITP - 4th International Conference on Interactive Theorem Proving ; https://inria.hal.science/hal-00904796 ; ITP - 4th International Conference on Interactive Theorem Proving, Jul 2013, Rennes,

تفاصيل العنوان

×
Dissertation/ Thesis

Homogénéisation et contrôle optimal pour des problèmes de Stokes et pour un problème de torsion élastique

Subjects: Stokes; Théorème de; Torsion (mécanique)

  • Source: https://hal.univ-lorraine.fr/tel-01775441 ; Mathématiques générales [math.GM]. Université Paul Verlaine - Metz, 2001. Français. ⟨NNT : 2001METZ026S⟩.

تفاصيل العنوان

×
  • 1-10 ل  19 نتائج ل ""Paulin""