| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009137470403321 |
|
|
Autore |
International conference on vertes operator algebras and related areas : <2008 |
|
|
|
|
Titolo |
|
|
|
|
Vertex operator algebras and related areas : an International conference in honor of Geoffrey Mason's 60th birthday, July 7-11, 2008, Illinois State University, Normal, Illinois / Maarten Bergvelt, Gaywalee Yamskulna, Wenhua Zhao editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence : American Mathematical Society, 2009 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Contemporary mathematics ; 497 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA990000170060203316 |
|
|
Autore |
Luckham, David |
|
|
Titolo |
Programming with specifications : an introduction to ANNA, a language for specifying ADA programs / David Luckham |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York [etc.] : Springer-Verlag, copyr. 1990 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XVI, 416 p. : ill. ; 24 cm |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
3. |
Record Nr. |
UNISALENTO991004056739707536 |
|
|
Titolo |
Nord e Sud : armi e fame : atti del convegno nazionale di Testimonianze (Firenze, 12-13 febbraio 1983) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[S. Domenico di Fiesole] : Testimonianze, 1984 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |