Mark A. Holhouse;Daniel M. Forman:'Human engineering with dialogue processor techniques' (6A-1). --Thomas E. Perkins: 'A very high level language for the structured specification and design of business data processing systems' (6A-6+). --John F. Clemons: 'Verification of the onboard flight software developed for the nasa space shuttle program' (6B-1). --Joe W. Duran;John J. Wiorkowski: 'Random testing may be better than you think' (6B-6). --Lislie Miller: 'Interpolation file systems' (7-1). --Ching-hua Chen;James R. Driscoll;Karl Grammel: 'Physical storage and physical navigation within the relational DBMS RAQUEL II' (7-3). --Peter A. Ng;Jean F. Paul: 'Algorithms for constructing search trees for efficient querying' (7-11).
Proc. of the 8th Texas conf. on computing systems, Dallas, Texas, Nov. 12-13, 1979 (Programming languages; validation and testing; file systems)
Programmiersprachen; Ueberpruefung und Testen; Filesysteme
1979
30 Seiten
Aufsatz (Konferenz)
Englisch
Motel DHW Retrofit--Dallas, Texas
NTRS | 1982
Solar-Heated Office Building -- Dallas, Texas
NTRS | 1982
Motel solar-hot-water system--Dallas, Texas
NTRS | 1981