| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991002175059707536 |
|
|
Autore |
Bucur, I. |
|
|
Titolo |
Toposes, algebraic geometry and logic [e-book] : Dalhousie university, Halifax, January 16–19, 1971 / by I. Bucur ... [et al.] ; edited by F. W. Lawvere |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (viii, 196 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Mathematics, 0075-8434 ; 274 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910701404803321 |
|
|
Autore |
Einhorn Jay |
|
|
Titolo |
Preview information in cab displays for high-speed locomotives [[electronic resource] ] : human factors in railroad operations / / [Jay Einhorn, Thomas Sheridan, and Jordan Multer] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, DC : , : U.S. Dept. of Transportation, Federal Railroad Administration, Office of Research and Development |
|
Cambridge, MA : , : U.S. Dept. of Transportation, Research and Special Programs Available, John A. Volpe National Transportation Systems Center, , [2005] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xii, 46 pages) : illustrations (some color) |
|
|
|
|
|
|
Altri autori (Persone) |
|
SheridanThomas |
MulterJordan |
|
|
|
|
|
|
|
|
Soggetti |
|
Locomotives - Instruments - Display systems - Testing |
Railroads - Automation - Safety measures |
Automation - Human factors - Computer simulation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed on Apr. 3, 2012). |
"July 2005." |
"DOT/FRA/ORD-04/12." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (pages 45-46). |
|
|
|
|
|
| |