1-24 of 35 Books

Introduction to Algorithms
By Thomas H. Cormen,Charles E. Leiserson,Ronald L. Rivest,Clifford Stein
Methodology for sensitivity analysis, approximate analysis, and design optimization in CFD for multidisciplinary applications
Methodology for sensitivity analysis, approximate analysis, and design optimization in CFD for multidisciplinary applications
By Arthur C. Taylor

Oracle 24x7 Tips and Techniques
By Venkat S. Devraj
SAGA, a project to automate the management of software production systems
SAGA, a project to automate the management of software production systems
By Roy Harold Campbell
Visualization of unsteady computational fluid dynamics
Visualization of unsteady computational fluid dynamics
By Robert Haimes
The nature and evaluation of commercial expert system building tools
The nature and evaluation of commercial expert system building tools
By William B. Gevarter
Measuring fault tolerance with the FTAPE fault injection tool
Measuring fault tolerance with the FTAPE fault injection tool
By Timothy K. Tsai
Design tool for multiprocessor scheduling and evaluation of iterative dataflow algorithms
Design tool for multiprocessor scheduling and evaluation of iterative dataflow algorithms
By Jones, Robert L. III.
The grid analysis and display system (GrADS)
The grid analysis and display system (GrADS)
By James L. Kinter
Multiversion software reliability through fault-avoidance and fault-tolerance
Multiversion software reliability through fault-avoidance and fault-tolerance
By Mladen A. Vouk
EEsoF MICAD and ACADEMY macro files for coplanar waveguide and finite ground plane coplanar waveguide
EEsoF MICAD and ACADEMY macro files for coplanar waveguide and finite ground plane coplanar waveguide
By George E. Ponchak
A survey of program slicing for software engineering
A survey of program slicing for software engineering
By Jon Beck
Software engineering and data management for automated payload experiment tool
Software engineering and data management for automated payload experiment tool
By Gary A. Maddux
Software risk management through independent verification and validation
Software risk management through independent verification and validation
By John R. Callahan
An interactive interface for NCAR graphics
An interactive interface for NCAR graphics
By B. Buzbee
Collected notes from the Benchmarks and Metrics Workshop (NASA Ames, June 25, 1990)
Collected notes from the Benchmarks and Metrics Workshop (NASA Ames, June 25, 1990)
By Benchmarks and Metrics Workshop (1990 NASA Ames Research Center)
Autonomous Rendezvous and Docking Conference, Lyndon B. Johnson Space Center, Houston, Texas, August 15-16, 1990
Autonomous Rendezvous and Docking Conference, Lyndon B. Johnson Space Center, Houston, Texas, August 15-16, 1990
By Autonomous Rendezvous and Docking Conference (1990 Lyndon B. Johnson Space Center)
Exploiting virtual synchrony in distributed systems
Exploiting virtual synchrony in distributed systems
By Kenneth P. Birman
Experimental study of software dependability
Experimental study of software dependability
By Wei-lun Kao
Analytic Patch Configuration (APC) gateway
Analytic Patch Configuration (APC) gateway
By Bradford D. Bingel