top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci






Seleziona tutte
Deseleziona


A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem
Espandi opera
...
A well-clear volume based on time to entry point
Espandi opera
...
State-based implicit coordination and applications
Espandi opera
...

Time of closest approach in three-dimensional airspace
Espandi opera
...