Logic Based Program Synthesis and Transformation [Risorsa elettronica] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill

• Record Nr.: UNINA990009246910403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2006
• ISBN: 9783540326564
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 3901
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia

Contributo delle forze sociali alle prospettive di rinascita delle zone terremotate : 2. incontro-dibattito sul ...13 marzo 1981 / Assemblea del Cnel

• Record Nr.: UNINA990006804490403321
• Autore: CNEL
• Pubbl/distr/stampa: Roma : s.e., 1981 (Roma : Tip. Rinascimento)
• Descrizione fisica: 247 p. ; 24 cm
• Collana: Quaderni di documentazione Cnel ; 5
• Locazione: FSPBC
• Collocazione: COLLEZ. 1586 (5)
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia