1-24 of 49 Books
Defining the IEEE-854 floating-point standard in PVS
Defining the IEEE-854 floating-point standard in PVS
By Paul S. Miner

Rapid Prototyping and Engineering Applications
By Frank W. Liou
National Aero-Space Plane Program
National Aero-Space Plane Program
By United States. Congress. House. Committee on Science, Space, and Technology. Subcommittee on Transportation, Aviation, and Materials.

Combat aircraft prototypes since 1945
By Robert Jackson
Construction of prototype lightweight mirrors
Construction of prototype lightweight mirrors
By William G. Robinson
Data understanding applied to optimization
Data understanding applied to optimization
By Wray Buntine
Secret U.S. aircraft proposals of the Cold War
Secret U.S. aircraft proposals of the Cold War
By Jim Keeshen,Jim Keeshen

Cold War Combat Aircraft Prototypes
By Robert Jackson
Le Centre d'essais en vol à 50 ans
Le Centre d'essais en vol à 50 ans
By
Effect of processing parameters on surface finish for fused deposition machinable wax patterns
Effect of processing parameters on surface finish for fused deposition machinable wax patterns
By Roberts, F. E. III.

Virtual Modelling and Rapid Manufacturing
By Paulo Jorge da Silva Bartolo

X Planes : Research Aircraft 1891-1970
By Hugh Cowin
The Lightweight Fighter Program
The Lightweight Fighter Program
By David C. Aronstein,Albert C. Piccirillo
The Lightweight Fighter Program
The Lightweight Fighter Program
By David C. Aronstein,Albert C. Piccirillo
The quiescent and flaring EUV spectrum of algol and its relationship to other active coronae EUV spectroscopy of bright hyades coronae
The quiescent and flaring EUV spectrum of algol and its relationship to other active coronae EUV spectroscopy of bright hyades coronae
By Robert A. Stern
Elegance in flight
Elegance in flight
By Albert C. Piccirillo

Phototyping with application generators
By Tung X. Bui
Abstract datatypes in PVS
Abstract datatypes in PVS
By Sam Owre
The formal semantics of PVS
The formal semantics of PVS
By Sam Owre
National Aero-Space Plane Program
National Aero-Space Plane Program
By United States. Congress. House. Committee on Science, Space, and Technology. Subcommittee on Transportation, Aviation, and Materials