Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Automated verification of specifications with typestates and access permissions [[electronic resource] /] / Radu I. Siminiceanu, Néstor Cataño
| Automated verification of specifications with typestates and access permissions [[electronic resource] /] / Radu I. Siminiceanu, Néstor Cataño |
| Autore | Siminiceanu Radu I |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] |
| Descrizione fisica | 1 online resource (31 pages) |
| Altri autori (Persone) | CatañoNéstor |
| Collana | NASA/CR |
| Soggetto topico |
Program verification (computers)
Specifications Approach control Data flow analysis Algorithms Parallel programming |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701132303321 |
Siminiceanu Radu I
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dual rotating rake measurements of higher-order duct modes : validation using experimental and numerical data / / Milo D. Dahl, Duane R. Hixon, Daniel L. Sutliff
| Dual rotating rake measurements of higher-order duct modes : validation using experimental and numerical data / / Milo D. Dahl, Duane R. Hixon, Daniel L. Sutliff |
| Autore | Dahl Milo D. <1956-> |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , May 2018 |
| Descrizione fisica | 1 online resource (37 pages) : illustrations (some color) |
| Collana | NASA/TM |
| Soggetto topico |
Stator blades
Data flow analysis Geometry Acoustic measurement Noise reduction |
| Soggetto genere / forma | Online resources. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Dual rotating rake measurements of higher-order duct modes |
| Record Nr. | UNINA-9910709885903321 |
|
Dahl Milo D. <1956->
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , May 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Implementation of a 622 Mbps digital modem / / Muli Kifle [and four others]
| Implementation of a 622 Mbps digital modem / / Muli Kifle [and four others] |
| Autore | Kifle Muli |
| Pubbl/distr/stampa | Cleveland Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , July 2002 |
| Descrizione fisica | 1 online resource (8 pages) : color illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Space communication
Modems Frequency division multiplexing Data flow analysis Component reliability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910705699703321 |
|
Kifle Muli
|
||
| Cleveland Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , July 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Operational concepts for a generic space exploration communication network architecture / / William D. Ivancic [and three others]
| Operational concepts for a generic space exploration communication network architecture / / William D. Ivancic [and three others] |
| Autore | Ivancic William D. |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , June 2015 |
| Descrizione fisica | 1 online resource (40 pages) : color illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Space communication
Communication networks Network analysis Data flow analysis Telecommunication |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910707824803321 |
|
Ivancic William D.
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , June 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
