Kodiak : an implementation framework for branch and bound algorithms / / Andrew P. Smith [and three others]

• Autore: Smith Andrew P.
• Pubblicazione: Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , July 2015
• Descrizione fisica: 1 online resource (iii, 18 pages) : color illustration
• Soggetto topico: Program verification (computers); Rational functions; Polynomials; Software engineering; Heuristic methods
• Note generali: Title from title screen (viewed Sept. 15, 2015).; "July 2015."
• Nota di bibliografia: Includes bibliographical references (pages 16-17).
• Altri titoli varianti: Kodiak
• Titolo autorizzato: Kodiak
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910703962603321
• Lo trovi qui: Univ. Federico II