| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009237150403321 |
|
|
Titolo |
Logic Based Program Synthesis and Transformation [Risorsa elettronica] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 28, 2004, Revised Selected Papers / edited by Sandro Etalle |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2005 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 3573 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910711331703321 |
|
|
Autore |
Follansbee Robert <1879-1952, > |
|
|
Titolo |
Water resources of the Rio Grande basin, 1888-1913 / / by Robert Follansbee and H.J. Dean, including Surface water supply of the United States, 1913 . part VIII Western Gulf of Mexico Basins / by Robert Follansbee, W.W. Follett, and Glenn A. Gray |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C. : , : United States Department of the Interior, Geological Survey, , 1915 |
|
Washington, D.C. : , : United States Government Printing Office |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (725 pages) : illustrations, map |
|
|
|
|
|
|
Collana |
|
Water-supply paper ; ; no. 358 |
|
|
|
|
|
|
Soggetti |
|
Water-supply - Rio Grande Watershed (Colo.-Mexico and Tex.) |
Water-supply - Southwestern States |
Water-supply |
Online resources. |
North America Rio Grande Watershed |
United States Southwestern States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |