| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990000206830203316 |
|
|
Autore |
Godefroid, Patrice |
|
|
Titolo |
Partial-order methods for the verification of concurrent systems : an approach to the state-explosionproblem / Patrice Godefroid |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer-Verlag, copyr. 1996 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; 1032 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991000911639707536 |
|
|
Autore |
Furino, Steven |
|
|
Titolo |
Frames and resolvable designs : uses, constructions, and existence / Steven Furino, Miao Ying, Jianxing Yin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Boca Raton, Fla : CRC Press, c1996 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
The CRC Press series on discrete mathematics and its applications |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
Miao, Yingauthor |
Yin, Jianxingauthor |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Block designs |
Frames (Combinatorial analysis) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Includes bibliographical references (p. 225-242) and index |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISALENTO991002215879707536 |
|
|
Autore |
Urbanus <papa ; 2.> |
|
|
Titolo |
B. Urbani II pontificis Romani epistolae, diplomata, sermones : accedunt saeculi XI auctores incertae aetatis et anonymi : sequuntur ad saecula IX et appendices amplissime inter alia complectentes s. Mathildis reginae epistolam ineditam ... / accurante J.-P. Migne |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Turnholti : Typographi Brepols editores pontificii, dep. leg. 1970 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Patrologiae cursus completus omnium SS. patrum doctorum scriptorumque ecclesiasticorum sive Latinorum sive Graecorum. Patrologiae latinae ; 151 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
Migne, Jacques Paulauthor |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Chiesa - Storia - Sec. 11 |
Cristianesimo - Storia - Sec. 11 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
In testa al front.: Saeculum XI. |
|
|
|
|
|
| |