65

Order-sorted Equational Unification Revisited

Year:
2012
Language:
english
File:
PDF, 291 KB
english, 2012
68

Spacecraft Thermal Control || Thermal protection systems

Year:
2012
Language:
english
File:
PDF, 194 KB
english, 2012
70

Spacecraft Thermal Control || Thermal control design

Year:
2012
Language:
english
File:
PDF, 163 KB
english, 2012
71

Spacecraft Thermal Control || Space environment

Year:
2012
Language:
english
File:
PDF, 166 KB
english, 2012
74

A logical theory of concurrent objects

Year:
1990
Language:
english
File:
PDF, 1.95 MB
english, 1990
77

Spacecraft Thermal Control || Heaters

Year:
2012
Language:
english
File:
PDF, 125 KB
english, 2012
84

Rapid prototyping

Year:
1982
Language:
english
File:
PDF, 529 KB
english, 1982
88

Spacecraft Thermal Control || Mechanical interfaces

Year:
2012
Language:
english
File:
PDF, 163 KB
english, 2012
89

Spacecraft Thermal Control || Thermal mathematical models

Year:
2012
Language:
english
File:
PDF, 109 KB
english, 2012
90

Spacecraft Thermal Control || Thermal control testing

Year:
2012
Language:
english
File:
PDF, 148 KB
english, 2012
97

Metalevel algorithms for variant satisfiability

Year:
2018
Language:
english
File:
PDF, 1.45 MB
english, 2018