| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996590272103316 |
|
|
Autore |
GHEDINI, Giacomo |
|
|
Titolo |
Da «selvaggi» a «moretti» : schiavitù, riscatti e missioni tra Africa ed Europa (1824-1896) / Giacomo Ghedini |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Firenze, : Firenze University Press, 2023 |
|
|
|
|
|
|
|
Titolo uniforme |
Da «selvaggi» a «moretti» |
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Premio Istituto Sangalli per la storia religiosa ; 14 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910346774503321 |
|
|
Autore |
Omri Fouad ben Nasr |
|
|
Titolo |
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
KIT Scientific Publishing, 2018 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 162 p. p.) |
|
|
|
|
|
|
Collana |
|
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment. |
|
|
|
|
|
|
|
| |