Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
correction to “Degree Programs in Computer Science, Processing, EtcACM SIGCSE Bulletin staffSIGCSE bulletin, 1972, Vol.4 (4), p.45-46Texto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Optimized space shuttle trajectory simulationTramonti, L. ; Brusch, R. G.Legacy CDMS 1972Texto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
On a laboratory for the study of automating programmingCheatham, T. E. ; Wegbreit, BenSIGACT news, 1972 (14), p.208-211Texto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Implementation and applications of Scott's logic for computable functionsMilner, RobinSIGACT news, 1972 (14), p.1-6Texto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Calculating properties of programs by valuations on specific modelsSintzoff, MichelSIGACT news, 1972 (14), p.203-207Texto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
The definition and validation of the radix sorting techniqueLee, John A. N.SIGACT news, 1972 (14), p.142-149Texto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
A survey of local interstellar hydrogen from OAO-2 observations of Lyman alpha absorptionSavage, B. D. ; Jenkins, E. B.Legacy CDMS 1972Texto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
The University of Wisconsin OAO operating systemHeacox, H. C. ; Mcnall, J. F.Legacy CDMS 1972Texto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Factors affecting frequency and orbit utilization by high power transmission satellite systemsKuhns, P. W. ; Miller, E. F. ; Malley, T. A.Legacy CDMS 1972Texto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Future techniques for tracking of synchronous satellitesCooley, J. L.Legacy CDMS 1972Texto completo disponível |