Logic computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / editor P. Odifreddi

• Record Nr.: UNINA990001325260403321
• Autore: Centro internazionale matematico estivo
• Pubbl/distr/stampa: Berlin : Springer, c1990
• ISBN: 3-540-52734-6
• Descrizione fisica: 162 p. ; 24 cm
• Collana: Lecture notes in mathematics ; 1429
• Disciplina: 005.131
• Locazione: MA1
• Collocazione: C-20-(1429
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Caratteri degli edifici / Antonio Cassi Ramelli

• Record Nr.: UNINA990000245580403321
• Autore: Cassi Ramelli, Antonio <1905-1980>
• Pubbl/distr/stampa: Milano : Antonio Vallardi, 1946
• Descrizione fisica: v. ; 23 cm
• Collana: Architettura : Edilizia
• Locazione: DARPU; FARBC
• Collocazione: 12 MTD 330; TECN B 2106
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: 1.: Case di abitazioni medie, signorili, rurali, popolari, edifici per alberghi, ecc.

Simulation of the effects of ground-water withdrawal from a well field adjacent to the Rio Grande, Santa Fe County, New Mexico / / by Douglas P. McAda ; prepared in cooperation with the Santa Fe Metropolitan Water Board

• Record Nr.: UNINA9910715373503321
• Autore: McAda Douglas P.
• Pubbl/distr/stampa: Albuquerque, New Mexico : , : U.S. Geological Survey, , 1990
• Descrizione fisica: 1 online resource (vi, 27 pages) : illustrations, maps
• Collana: Water-resources investigations report ; ; 89-4184
• Soggetti: Groundwater - New Mexico - Santa Fe County; Water consumption - New Mexico - Santa Fe County; Groundwater flow - New Mexico - Santa Fe County; Groundwater; Groundwater flow; Water consumption; New Mexico Santa Fe County
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references (page 27).