LEADER 01163nam0 22002891i 450 
001 UON00521632
005 20240108095234.406
020   $aIT$b87-7998
100   $a20240108d1986       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $aˆ... ‰E la Sicilia scoprì l'immigrazione tunisina$fHassen Slama
210   $a[Palermo]$cINCA-CGIL Sicilia$d1986
215   $a269 p.$d24 cm
316   $aDonazione prof.ssa Amalia Signorelli$5IT-UONSI F. Signorelli3 M1760
606   $aIMMIGRATI TUNISINI$xSicilia$3UONC102354$2FI
620   $aIT$dPalermo$3UONL000273
676   $a305.8927$cGRUPPI ETNICI - Arabi$v21
700  1$aSLAMA$bHassen$3UONV293952$01591630
712   $aINCA CGIL Sicilia$3UONV293951$4650
801   $aIT$bSOL$c20240220$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00521632
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI F. Signore3 M                     1760                            $eSI    49164    5                            Donazione prof.ssa Amalia Signorelli
996   $aE la Sicilia scoprì l'immigrazione tunisina$93905887
997   $aUNIOR

LEADER 01659nam  2200385z- 450 
001 9910346774503321
005 20210212
010   $a1000051517
035   $a(CKB)4920000000100778
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/62570
035   $a(oapen)doab62570
035   $a(EXLCZ)994920000000100778
100   $a20202102d2018      |y         0
101 0 $aeng
135   $aurmn|---annan
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aWeighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
210   $cKIT Scientific Publishing$d2018
215   $a1 online resource (XIII, 162 p. p.)
225 1 $aThe Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
311 08$a3-7315-0472-3 
330   $aThis 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.
610   $aSoftware Development
610   $aSoftware Reliability
610   $aSoftware-Entwicklung
610   $aStatistical Testing
610   $aStatistisches Testen
610   $aZuverla?ssigkeit
700   $aOmri$b Fouad ben Nasr$4auth$01312920
906   $aBOOK
912   $a9910346774503321
996   $aWeighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment$93031122
997   $aUNINA