|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991002285579707536 |
|
|
Autore |
Consociazione turistica italiana |
|
|
Titolo |
Dalmazia |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano : Consociazione turistica italiana, 1942 |
|
|
|
|
|
|
|
Edizione |
[Rist. della 1. ed. del 1934 preceduta da note di aggiornamento] |
|
|
|
|
|
Descrizione fisica |
|
302 p., [24] c. geogr. : ill. ; 16 cm |
|
|
|
|
|
|
Collana |
|
Guida d'Italia della Consociazione turistica italiana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910703962603321 |
|
|
Autore |
Smith Andrew P. |
|
|
Titolo |
Kodiak : an implementation framework for branch and bound algorithms / / Andrew P. Smith [and three others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , July 2015 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (iii, 18 pages) : color illustration |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Soggetti |
|
Program verification (computers) |
Rational functions |
Polynomials |
Software engineering |
Heuristic methods |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed Sept. 15, 2015). |
"July 2015." |
|
|
|
|
|
|
|