| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910376355303321 |
|
|
Titolo |
STOC '16 : proceedings of the 48th annual ACM SIGACT Symposium on Theory of Computing : June 19-21, 2016, Cambridge, MA, USA / / edited by Daniel Wichs and Yishay Mansour ; sponsored by ACM SIGACT |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : , : ACM, , 2016 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (1141 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Electronic digital computers |
Electronic data processing |
Computer programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910701893003321 |
|
|
Titolo |
NextGen [[electronic resource] ] : leveraging public, private, and academic resources : hearing before the Committee on Transportation and Infrastructure, House of Representatives, One Hundred Twelfth Congress, first session, November 7, 2011 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington : , : U.S. G.P.O., , 2012 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (x, 80 pages) : map |
|
|
|
|
|
|
Soggetti |
|
Air traffic control - Technological innovations - United States |
Air traffic control - United States - Automation |
Air traffic control - United States - Planning |
Air traffic control - United States - Testing |
Public-private sector cooperation - United States |
Aeronautics, Commercial - Environmental aspects - United States |
Aircraft exhaust emissions - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed on May 21, 2012). |
Paper version available for sale by the Supt. of Docs., U.S. G.P.O. |
"112-60." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
| |