Logic programming with extensible types /

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

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

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

The chorus conflict and loss of separation resolution algorithms /
by: Butler, Ricky W., et al.
Published: (2013)

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

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

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

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

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

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

User guide for compressible flow toolbox : version 2.1 for use with MATLAB® version 7 /
by: Melcher, Kevin J.
Published: (2006)

The beginner's guide to wind tunnels with TunnelSim and TunnelSys /
by: Benson, Thomas J.
Published: (2010)

Extension of an object-oriented optimization tool : use's reference manual /
by: Pak, Chan-gi, et al.
Published: (2015)

Design and application of strategies/tactics in higher order logics /
Published: (2003)

M68HC11 gripper controller software /
by: Tsai, Jodi Wei-Duk
Published: (1991)

Modula-2* : an extension of Modula-2 for highly parallel programs /
by: Tichy, Walter F.
Published: (1989)

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

Formal verification of AI software /
by: Rushby, John, 1949-
Published: (1989)

An intelligent propulsion control architecture to enable more autonomous vehicle operation /
by: Litt, Jonathan S.
Published: (2018)

Formal verification of AI software /
by: Rushby, John, 1949-
Published: (1989)

A user's manual for the method of moments Aircraft Modeling Code (AMC) /
by: Peters, M. E.
Published: (1989)

Analytical learning and term-rewriting systems /
by: Laird, Philip, et al.
Published: (1990)

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

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

Shared memory parallelization of an implicit adi-type cfd code /
by: Huang, P. G., et al.
Published: (1999)

Engineering and programming manual : two-dimensional kinetic reference computer program (TDK) /
by: Nickerson, G. R.
Published: (1985)

User manual for the NASA Glenn Ice Accretion Code LEWICE /
by: Wright, William B.
Published: (2002)

Spectrum orbit utilization program documentation : SOUP5 version 3.8 user's manual /
Published: (1985)

Engineering and programming manual : two-dimensional kinetic reference computer program (TDK) /
by: Nickerson, Gary R.
Published: (1985)

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)

Ada projects at NASA : runtime environment issues and recommendations.
by: Roy, Daniel M.
Published: (1988)

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

Introduction of the ASP3D computer program for unsteady aerodynamic and aeroelastic analyses /
by: Batina, John T.
Published: (2005)

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

NASA software engineering benchmarking study /
by: Rarick, Heather L.
Published: (2013)