Search results
Pages
-
-
-
Experiments with the ALPOC theorem prover
-
Author(s):
-
Spencer, Horton, Francis
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1995
-
Type:
-
Article
-
-
A system for selecting and preparing a batch of data files, and running a selected computer program with each data file is...
-
-
-
Secondary phaselag computation
-
Author(s):
-
Mahmood
-
Discipline:
-
Geodesy & Geomatics
-
Discipline:
-
Geodesy & Geomatics
-
Date:
-
1986
-
Type:
-
Article
-
-
The success of using electronic positioning systems depends on a reasonable precise knowledge of the speed of propagation of...
-
-
-
Short-Arc orbit improvement for GPS satellites
-
Author(s):
-
Parrot
-
Discipline:
-
Geodesy & Geomatics
-
Discipline:
-
Geodesy & Geomatics
-
Date:
-
1989
-
Type:
-
Article
-
-
Over the past four years, different research groups involved in the application of the Global Positioning System (GPS) have...
Pages
Zircon - This is a contributing Drupal Theme
Design by
WeebPal.