LEADER 00877nam0-22002891i-450- 001 990006689780403321 005 20101119104421.0 035 $a000668978 035 $aFED01000668978 035 $a(Aleph)000668978FED01 035 $a000668978 100 $a20010426d--------km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $a<>schiavitł nella societą' siciliana dell' etą moderna$fGiovanni Marrone 210 $aCaltanisetta-Roma$cEd. Salvatore Sciascia$d1972 215 $aXII+344 p., 20 cm 225 1 $aNuova biblioteca critica$v1 700 1$aMarrone,$bGiovanni$0211179 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006689780403321 952 $aCOLLEZ. 1343 (1)$b13942$fFSPBC 959 $aFSPBC 996 $aSchiavitł nella societą' siciliana dell' etą moderna$9617207 997 $aUNINA LEADER 01041nam 2200337 450 001 9910341458503321 005 20200114093113.0 010 $a9788833931968 100 $a20191009d2019----u y0engy50 ba 101 1 $aita$ceng 102 $aIT 105 0 $a 00 200 1 $aCome sfasciare un paese in sette mosse$ela via che porta dal populismo alla dittatura$fEce Temelkuran$gtraduzione di Giuliana Oliviero 210 $aTorino$cBollati Boringhieri$d2019 215 $a206 p.$d22 cm 225 1 $aSaggi$escienze sociali 454 0$12001$aHow to lose a country$91561914 610 0$aPopulismo 610 0 $aPolitica$aEffetto del populismo 676 $a320.5$v22$zita 700 1$aTemelkuran,$bEce$f<1973->$0767249 702 1$aOliviero,$bGiuliana 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910341458503321 952 $a320.5 TEM 1$b6604$fbfs 952 $aIX H 223$b2437/2019$fFSPBC 959 $aFSPBC 959 $aBFS 996 $aHow to lose a country$91561914 997 $aUNINA LEADER 00888nam a2200241 u 4500 001 991004308036907536 005 20240213102204.0 008 240213s2022 it r 001 0 ita 020 $a9788849841268 040 $aBibl. Dip.le Aggr. Scienze Umane e Sociali - Sez. Studi Storici 082 04$a914.57804 100 1 $aRamage, Craufurd Tait$0500195 240 10$aThe Nooks and By-ways of Italy$93910669 245 10$aCalabria pittoresca e romantica /$cCraufurd Tait Ramage ; introduzione [e cura] di Vittorio Cappelli 260 $aSoveria Mannelli :$bRubbettino,$c2014 300 $a228 p. ;$c20 cm. 490 1 $aViaggio in Calabria ;$v34 500 $aTraduzione di Elena Lante Rospigliosi 651 4$aCalabria$xDescrizioni$ysec. 19. 700 1 $aCappelli, Vittorio$d<1947- > 912 $a991004308036907536 996 $aThe Nooks and By-ways of Italy$93910669 997 $aUNISALENTO LEADER 02879nam 2200565 a 450 001 9910437760703321 005 20170815151736.0 010 $a1-283-64017-1 010 $a1-4614-1359-1 024 7 $a10.1007/978-1-4614-1359-2 035 $a(CKB)3400000000086035 035 $a(EBL)1030867 035 $a(OCoLC)811840480 035 $a(SSID)ssj0000767207 035 $a(PQKBManifestationID)11475554 035 $a(PQKBTitleCode)TC0000767207 035 $a(PQKBWorkID)10733108 035 $a(PQKB)10240959 035 $a(DE-He213)978-1-4614-1359-2 035 $a(MiAaPQ)EBC1030867 035 $a(PPN)168295229 035 $a(EXLCZ)993400000000086035 100 $a20120705d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aSystem-level validation $ehigh-level modeling and directed test generation techniques /$fMingsong Chen ... [et al.] 210 $aNew York $cSpringer$d2012 215 $a1 online resource (258 p.) 300 $aDescription based upon print version of record. 311 $a1-4614-1358-3 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- Modeling and Specification of SoC Designs -- Automated Generation of Directed Tests -- Functional Test Compaction.- Property Clustering and Learning Techniques -- Decision Ordering Based Learning Techniques -- Synchronized Generation of Directed Tests -- Learning-Oriented Property Decomposition Approaches -- Directed Test Generation for Multicore Architectures -- Test Generation for Cache Coherence Validation.- Reuse of System-Level Tests for Implementation Validation -- Conclusion. 330 $aThis book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures.  Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions.  The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost. 606 $aInformation resources management 606 $aInformation technology 615 0$aInformation resources management. 615 0$aInformation technology. 676 $a003.3 700 $aChen$b Mingsong$01060861 701 $aBlasch$b Erik$0986166 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910437760703321 996 $aSystem-level validation$92515972 997 $aUNINA