Perfeziona i miei risultati
Document type
Institution
Collection spécifique
Lingua
- Inglese (3)
Autore
- Basin, David (1)
- Burckhardt, Christof W. (1)
- Gay-Balmaz, François (1)
- Marsden, Jerrold (1)
- Mödersheim, Sebastian (1)
- Ratiu, Tudor (1)
- Romerio, Michel V. (1)
- Viganò, Luca (1)
Parola chiave
-
Constraints (3)
- Arbitrary displacements (1)
- Convective representation (1)
- Elastic material (1)
- Formal methods (1)
- Ideal fluid (1)
- Lagrangian (1)
- Material representation (1)
- Model checking (1)
- Reduction (1)
- Rigid body (1)
- Security protocols (1)
- Spatial representation (1)
- Successive rotations (1)
- Symmetry (1)
- Variational principle (1)
- Vehicles (1)
- Verification (1) Di più Meno