NAS 1.26:209730
|
Proof-term synthesis on dependent-type systems via explicit substitutions |
1 |
NAS 1.26:209731
|
Roll-out and turn-off display software for integrated display system |
1 |
NAS 1.26:209735
|
Co-investigator for study entitled "Research on orbital plasma electrodynamics (ROPE)" final report ... under contract #NAS 8-37109 / |
1 |
NAS 1.26:209737
|
LDEF satellite radiation analyses final report, contract no. NAS8-39386 / |
1 |
NAS 1.26:209738
|
Temperature dependence of diffusivities in liquid elements (LMD) final report, NASA contract NAS8-39716 : period of performance 2/3/93 through 5/31/98 / |
1 |
NAS 1.26:209739
|
Crystal growth of ZnSe and related ternary compound semiconductors by physical vapor transport contract number NAS8-39718 : final report / |
1 |
NAS 1.26:209742
|
Zeolite crystal growth (ZCG) flight on USML-2 final report : NASA contract no. NAS8-40260 / |
1 |
NAS 1.26:209744
|
Cost and schedule analytical techniques development final report for option 1 contract year : contract NAS8-40431 / |
1 |
NAS 1.26:209745
|
Cost and schedule analytical techniques development final report for option 2 contract year : contract NAS8-40431. |
1 |
NAS 1.26:209751
|
Launch vehicle design process description and training formulation final report for order no. H-30968D : 23 April 1999 through 15 August 1999 / |
1 |
NAS 1.26:209755
|
Theory and Modeling in Support of Tether final report : NASA contract no. NAS8-36811; contract period, December 19, 1985 to September 31, 1999 / |
1 |
NAS 1.26:209759
|
User's guide for monthly vector wind profile model |
1 |
NAS 1.26:209783
|
Architectural methodology report |
1 |
NAS 1.26:209785
|
Trade-off analysis report |
1 |
NAS 1.26:209787
|
Micromechanical prediction of the effective behavior of fully coupled electro-magneto-thermo-elastic multiphase composites |
1 |
NAS 1.26:209804
|
Measurements and modeling of nitric oxide formation in counterflow, premixed CH₄/O₂/N₂ flames |
1 |
NAS 1.26:209805
|
Laser-induced fluorescence measurements and modeling of nitric oxide in counterflow diffusion flames |
1 |
NAS 1.26:209806
|
ACTS--technology description and results |
1 |
NAS 1.26:209812
|
Effects of thermal and mechanical processing on microstructures and desired properties of particle-strengthened Cu-Cr-Nb alloys |
1 |
NAS 1.26:209813/V.-
|
Acoustic and aerothermal performance test of the axisymmetric coannular ejector nozzle |
1 |