A course in mathematical logic / by J. L. Bell and M. Machover

• Record Nr.: UNIBAS000011205
• Autore: Bell, John Lane
• Pubbl/distr/stampa: Amsterdam [etc.] : North-Holland, 1977
• ISBN: 0-7204-28440
• Descrizione fisica: XVIII, 599 p. ; 23 cm.
• Altri autori (Persone): Machover, Moshé
• Disciplina: 511.3
• Soggetti: Logica matematica
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

A UNIX primer / Ann Nicols Lomuto and Nico Lomuto

• Record Nr.: UNISA990000354870203316
• Autore: LOMUTO, Ann
• Pubbl/distr/stampa: Englewood Cliffs : Prentice-Hall, c1983
• Descrizione fisica: XVI, 239 p. : ill. ; 23 cm
• Collana: Prentice-Hall software series
• Altri autori (Persone): LOMUTO, Nico
• Disciplina: 001.64
• Collocazione: 001.6 PSS 4
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Advanced energy technologies and climate change : an analysis using the global change assessment model (GCAM) / J.E. Edmonds, M.A. Wise and C.N. MacCracken

• Record Nr.: UNISALENTO991001917069707536
• Autore: Edmonds, Jae
• Pubbl/distr/stampa: Milano : Fondazione ENI Enrico Mattei, 1994
• Descrizione fisica: 21 p. ; 21 cm
• Collana: Note di lavoro della Fondazione ENI Enrico Mattei ; 62.94
• Altri autori (Persone): Wise, Marshall; MacCracken, C. N.
• Disciplina: 551
• Soggetti: Clima - Variazioni - Aspetti economici
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia