|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009250260403321 |
|
|
Titolo |
Formal Methods and Software Engineering [Risorsa elettronica] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings / edited by Kung-Kiu Lau, Richard Banach |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2005 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 3785 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910703919703321 |
|
|
Autore |
Smith Walter H. F. |
|
|
Titolo |
Predicted seafloor topography (meters) : a color image from the National Geophysical Data Center and the World Data Service for Geophysics / / by W.H.F.Smith and D.T. Sandwell |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Boulder, CO] : , : [National Geophysical Data Center], , [1994] |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (1 map) : color |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Soggetti |
|
Submarine topography |
Topographic maps. |
Maps. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale cartografico a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Relief shown by gradient tints. |
Title from HTML index page (viewed Jan. 31, 2014). |
"NGDC data announcement number 94-MGG-04." |
|
|
|
|
|
|
|