Welcome to the Kids' Library!

2D/3D boundary element programming in petroleum engineering and geomechanics

Morita, Nobuo, author.
Amsterdam, Netherlands ; Cambridge, MA, United States : Elsevier, [2020] 2021

Advances in Computers.

Memon, Atif.
Saint Louis : Elsevier Science, 2017. 2017

Advances in computers.

Amsterdam ; Boston : Academic Press, ©2010. 2010

Coding, bugs, and fixes

Lyons, Heather, 1974- author.
Minneapolis : Lerner Publications, 2017. 2017

Beyond the worst-case analysis of algorithms

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2021. 2021

Building robots with Lego Mindstorms : the ultimate tool for Mindstorms maniacs!

Ferrari, Mario.
Rockland, MA : Syngress Pub., ©2002. 2002

Concentrator optical characterization using computer mathematical modelling and point source testing

Dennison, E. W.
Pasadena, Calif. : Jet Propulsion Laboratory, California Institute of Technology, [1984] 1984

Constructing an advanced software tool for planetary atmospheric modeling

Keller, Richard M., author.
Moffett Field, CA : NASA Ames Research Center, August 1990. 1990-

Data analysis and software support for the Earth radiation budget experiment

Edmonds, W.
Hampton, VA : ST Systems Corporation : National Aeronautics and Space Administration, Langley Research Center, [1987] 1987

Deploying secure containers for training and development

Schipp, Jon, author.
Amsterdam : Syngress is an imprint of Elsevier, [2016] 2016

Design and application of strategies/tactics in higher order logics

Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, September 2003. 2003-

Developments in fiber optics for distribution automation

Pasadena, Calif. : [Jet Propulsion Laboratory, 1991] 1991

A distributed program composition system

Brown, Robert L. (Robert Lloyd)
Moffett Field, CA : Research Institute for Advanced Computer Science, [1989] 1989

Enhancement/upgrade of Engine Structures Technology Best Estimator (EST/BEST) software system

Shah, Ashwin.
Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, [2003] 2003

Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuverin

Rushby, John, 1949-
Menlo Park, Calif. : SRI International ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1990] 1990

Evaluation of automated decisionmaking methodologies and development of an integrated robotic system

Denver, Colo. : Martin Marietta Denver Aerospace ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1986] 1986

Everything you need to ace computer science and coding in one big fat notebook : the complete middle

Smith, Grant, author.
New York : Workman Publishing, [2020] 2020

Final report for an expert system based software sizing tool, phase II

Friedlander, David.
[Goleta, Calif. : MCR Technology, Inc. ; Pasadena, Calif. : Jet Propulsion Laboratory, 1990?] 1990

GRC GSFC TDRSS waveform metrics report

Mortensen, Dale J., author.
Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, [2013] 2013

Ground systems development environment (GSDE) interface requirements analysis final report

[Houston, Tex.] : NASA Johnson Space Center, Mission Operations Directorate, Space Station Ground Systems Division : Research Institute for Computing and Information Systems, University of Houston--Clear Lake, [1991] 1991

Handbook of constraint programming

Amsterdam ; Boston : Elsevier, 2006. 2006

High performance parallelism pearls : multicore and many-core programming approaches.

Reinders, James.
Waltham, MA : Morgan Kaufmann an imprint of Elsevier, [2015] 2015

Integrating automated support for a software management cycle into the TAME system

Sunazuka, Toshihiko.
College Park, Md. : University of Maryland, [1989] 1989

Intel Xeon Phi coprocessor high-performance programming

Jeffers, Jim (Computer engineer)
Amsterdam ; Boston : Elsevier : Morgan Kaufmann, [2013] 2013

Intel Xeon Phi processor high performance programming

Jeffers, Jim (Computer engineer), author.
Cambridge, MA : Morgan Kaufmann is an imprint of Elsevier, [2016] 2016

ISIS and META projects progress report

Birman, Kenneth P.
[Washington, D.C.? : National Aeronautics and Space Administration?, 1990] 1990

Journal of software technology.

Utica, NY : Data & Analysis Center for Software, 2011-2012. 2012

Learn to program

Lyons, Heather, 1974- author.
Minneapolis : Lerner Publications, 2017. 2017

Maintenance=reuse-oriented software development

Basili, Victor R.
College Park, Md. : University of Maryland, [1989] 1989

MATLAB : a practical introduction to programming and problem solving

Attaway, Stormy, author.
Kidlington, Oxford, UK : Butterworth-Heinemann is an imprint of Elsevier, [2017] 2017

MATLAB : a practical introduction to programming and problem solving

Attaway, Stormy, author.
[Place of publication not identified] : Butterworth-Heinemann, [2019] 2019

MATLAB : a practical introduction to programming and problem solving

Attaway, Stormy.
Waltham, MA : Butterworth-Heinemann, ©2011. 2011

MATLAB : a practical introduction to programming and problem solving

Attaway, Stormy.
Elsevier : Butterworth-Heinemann Ltd, 2013. 2013

Matlab by example : programming basics

Gdeisat, Munther, author.
Amsterdam : Elsevier, 2013. 2013

Modula-2* an extension of Modula-2 for highly parallel programs

Tichy, Walter F.
[Moffett Field, Calif.?] : Research Institute for Advanced Computer Science, NASA Ames Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1989] 1989

NASA software engineering benchmarking study

Rarick, Heather L., author.
Washington, DC : National Aeronautics and Space Administration, 2013. 2013

NASA's responsible AI plan

Lal, Bhavya, author.
[Washington, D.C.] : National Aeronautics and Space Administration, 2022. 2023

Observation model and parameter partials for the JPL geodetic GPS modeling software "GPSOMC"

Sovers, Ojars J. (Ojars Juris), 1937-
Pasadena, Calif. : National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology ; [Springfield, Va. : National Technical Information Service, distributor, 1990] 1990

Perl scripting for Windows security : live response, forensic analysis, and monitoring

Carvey, Harlan A.
[Place of publication not identified] : Syngress Media, 2007. 2007

Programming parallel architectures the BLAZE family of languages

Mehrotra, Piyush, author.
Hampton, Virginia : Institute for Computer Applications in Science and Engineering, National Aeronautics and Space Administration, Langley Research Center, [2013] 2013

Software design for engineers and scientists

Robinson, John A.
Amsterdam ; Boston : Newnes, 2004. 2004

Software requirements guidance and control software development specification

Research Triangle Park, N.C. : Research Triangle Institute ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990] 1990

Space station Mission Planning System (MPS) development study final report

Klus, W. J.
Huntsville, AL : McDonnell Douglas Astronautics Company, Huntsville Division : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, [1987] 1987

Tcl/tk : a developer's guide

Flynt, Clif.
San Francisco, Calif. : Morgan Kaufmann ; Oxford : Elsevier Science, 2003. 2003

Texturing & modeling : a procedural approach

San Francisco, Calif. : Morgan Kaufmann, ©2003. 2003

Transformational derivation of programs using the Focus system

Reddy, Uday S.
[Washington, D.C. : National Aeronautics and Space Administration, 1988] 1988

Users guide for Skylab Dynamics Program

Hopkins, M. S., author.
Marshall Space Flight Center, Alabama : NASA, George C. Marshall Space Flight Center, May 1980. 1980-

What is computer coding?

Pratt, Mary K.
Minneapolis : Lerner Publications, c2016. 2016

A world of programming

Lyons, Heather, 1974- author.
Minneapolis : Lerner Publications, 2017. 2017

Your wish is my command : programming by example

San Francisco : Morgan Kaufmann Publishers, 2001. 2001