| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009254170403321 |
|
|
Titolo |
Computer Aided Verification [Risorsa elettronica] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Aarti Gupta, Sharad Malik |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2008 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 5123 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNIBAS000027931 |
|
|
Autore |
Eliot, T. S. |
|
|
Titolo |
Assassinio nella cattedrale / T. S. Eliot ; traduzione [dall'inglese] di C. V. Lodovici |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma : Edizioni Italiane, stampa 1945 (Lanciano : Tip. R. Carabba) |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Teatro dell'Università di Roma , Collezione di autori stranieri ; 1 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910715006803321 |
|
|
Autore |
Syria Stanley L. |
|
|
Titolo |
EPA evaluation of the P.S.C.U. 01 device under Section 511 of the Motor Vehicle Information and Cost Savings Act |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Ann Arbor, Mich.] : , : Test and Evaluation Branch, Emission Control Technology Division, Office of Mobile Sources, U.S. Environmental Protection Agency, , August 1983 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (57 pages) : illustrations |
|
|
|
|
|
|
Soggetti |
|
Motor vehicles - Motors - Exhaust gas - Analysis |
Motor vehicles - Fuel consumption |
Motor vehicles - Pollution control devices - Testing |
Motor vehicles - Fuel systems - Testing |
Air quality management - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"EPA-AA-TEB-511-83-6." |
"August 1983." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (page 7). |
|
|
|
|
|
| |