LEADER 01645nam  2200481I  450 
001 9910703962603321
005 20150915155306.0
035   $a(CKB)5470000002436114
035   $a(OCoLC)921193874
035   $a(EXLCZ)995470000002436114
100   $a20150915j201507    ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aKodiak $ean implementation framework for branch and bound algorithms /$fAndrew P. Smith [and three others]
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dJuly 2015.
215   $a1 online resource (iii, 18 pages) $ccolor illustration
225 1 $aNASA/TM ;$v2015-218776
300   $aTitle from title screen (viewed Sept. 15, 2015).
300   $a"July 2015."
320   $aIncludes bibliographical references (pages 16-17).
517   $aKodiak 
606   $aProgram verification (computers)$2nasat
606   $aRational functions$2nasat
606   $aPolynomials$2nasat
606   $aSoftware engineering$2nasat
606   $aHeuristic methods$2nasat
615  7$aProgram verification (computers)
615  7$aRational functions.
615  7$aPolynomials.
615  7$aSoftware engineering.
615  7$aHeuristic methods.
700   $aSmith$b Andrew P.$01386886
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910703962603321
996   $aKodiak$93436188
997   $aUNINA