An ontology-based virtual orrery /

Developing CORBA-based distributed scientific applications from legacy Fortran programs /
by: Sang, Janche, et al.
Published: (2000)

Final report for an expert system based software sizing tool, phase II /
by: Friedlander, David
Published: (1990)

Defining and reasoning about model-based safety analysis : a review /
by: Sun, Minghui, et al.
Published: (2021)

Overview of design, lifecycle, and safety for computer-based systems /
by: Torres-Pomales, Wilfredo, et al.
Published: (2015)

A common distributed language approach to software integration : final report /
by: Antonelli, Charles J.
Published: (1989)

Rule-based air combat simulation /
by: Burgin, G. H.
Published: (1988)

Rule-based air combat simulation /
by: Burgin, George H.
Published: (1988)

Preventing camera clipping through varies terrain and other planetary objects /
by: O'Brien, Kristie, et al.
Published: (2024)

Web-based distributed simulation of aeronautical propulsion system /
Published: (2001)

Web-based distributed simulation of aeronautical propulsion system /
by: Zhang, Desheng
Published: (2001)

Improving automated strategies for univariate quantifier elimination /
by: Cordwell, Katherine, et al.
Published: (2021)

User's guide for SKETCH /
by: Hedgley, David R.
Published: (2000)

Proceedings of the Fourteenth Annual Software Engineering Workshop.
Published: (1989)

Virtual reality systems /
Published: (1993)

Application development with IDL : combining analytical methods with widget programming /
by: Kling, Ronn
Published: (2000)

Mastering algorithms with Perl /
by: Orwant, Jon
Published: (1999)

Users guide for Skylab Dynamics Program /
by: Hopkins, M. S.
Published: (1980)

3-D sound for virtual reality and multimedia /
by: Begault, Durand R., 1957-
Published: (2000)

GEMPAK5 : version 5 /
by: DesJardins, Mary L.
Published: (1991)

Programming parallel architectures : the BLAZE family of languages /
by: Mehrotra, Piyush
Published: (2013)

Development of an aeroelastic code based on an Euler/Navier-Stokes aerodynamic solver /
by: Bakhle, Milind A.
Published: (1996)

DAB user's guide /
by: Trosin, Jeff
Published: (1985)

A three dimensional thermodynamically based function for the progressive failure of unidirectional composites /
by: Huang, H. Sam, et al.
Published: (2019)

Transformational derivation of programs using the Focus system /
by: Reddy, Uday S.
Published: (1988)

Software design improvements /
by: Lalli, Vincent R., et al.
Published: (1997)

The new Cloud Absorption Radiometer (CAR) software : one model for NASA remote sensing virtual instruments /
by: Roth, Don J.
Published: (2001)

The development of a program analysis environment for Ada /
by: Brown, David B., 1943-
Published: (1989)

Logic programming with extensible types /
by: Perez, Ivan (Research scientist), et al.
Published: (2024)

Development of a data management front end for use with a Landsat based information system.
by: Turner, Brian J.
Published: (1982)

Integrating automated support for a software management cycle into the TAME system /
by: Sunazuka, Toshihiko
Published: (1989)

RIACS workshop on the verification and validation of autonomous and adaptive systems /
by: Pecheur, Charles
Published: (2001)

PLOT3D user's manual /
Published: (1990)

Modeling of rolling element bearing mechanics--computer program updates /
by: Ryan, S. G.
Published: (1997)

Solar-terrestrial models and application software /
by: Bilitza, D.
Published: (1990)

JavaScript : the definitive guide /
by: Flanagan, David
Published: (1998)

CDC to Cray FORTRAN : conversion manual /
by: McGary, Charlotte, et al.
Published: (1983)