LEADER 01028nam0-2200325---450- 001 990009177470403321 005 20100426100358.0 010 $a8814085307 035 $a000917747 035 $aFED01000917747 035 $a(Aleph)000917747FED01 035 $a000917747 100 $a20100426d2001----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a--------001yy 200 1 $aCento anni di lavoro$eRicognizioni multidisciplinare sulle trasformazioni del lavoro nel corso del XX secolo$fG. Ciocca-D. Verducci 210 $aMilano$cGiuffrè$d2001 215 $aVIII, 178 p.$d24 cm 225 1 $aUniversità di Macerata$dPubblicazioni della facoltà di giurisprudenza$v102 300 $aAtti del convegno- Macerata,10 Dicembre 1998 700 1$aCiocca,$bG.$0507595 701 1$aVerducci,$bD.$0507596 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009177470403321 952 $aDPR 29-677$b19155$fDEC 959 $aDEC 996 $aCento anni di lavoro$9779405 997 $aUNINA LEADER 02793nam 2200613 450 001 9910460486403321 005 20200917021826.0 010 $a1-61499-495-1 035 $a(CKB)3710000000449174 035 $a(EBL)3563924 035 $a(SSID)ssj0001560649 035 $a(PQKBManifestationID)16193224 035 $a(PQKBTitleCode)TC0001560649 035 $a(PQKBWorkID)14825270 035 $a(PQKB)10304834 035 $a(MiAaPQ)EBC3563924 035 $a(Au-PeEL)EBL3563924 035 $a(CaPaEBR)ebr11079843 035 $a(CaONFJC)MIL814516 035 $a(OCoLC)932319999 035 $a(EXLCZ)993710000000449174 100 $a20150728h20152015 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aDependable software systems engineering /$fedited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner 210 1$aAmsterdam, Netherlands :$cIOS Press,$d2015. 210 4$d©2015 215 $a1 online resource (320 p.) 225 1 $aNATO Science for Peace and Security Series - D: Information and Communication Security,$x1879-8292 ;$vVolume 40 300 $aDescription based upon print version of record. 311 $a1-61499-494-3 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $a""DEPENDABLE SOFTWARE SYSTEMS ENGINEERING""; ""Preface""; ""Contents""; ""Syntax-Guided Synthesis""; ""Deconstructing Dynamic Symbolic Execution""; ""From Actions, Transactions, and Processes to Services""; ""System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems""; ""Generating Process Models in Multi-View Environments""; ""Safety and Dependability""; ""Evolving Software Ecosystems A Historical and Ecological Perspective""; ""Framing the Frame Problem""; ""From Verification to Synthesis""; ""Defect-Based Testing"" 327 $a""Mechanised Theory Engineering in Isabelle""""A Theory of Networks: In the Beginning . . .""; ""Subject Index""; ""Author Index"" 410 0$aNATO science for peace and security series.$nSub-series D,$pInformation and communication security ;$vVolume 40. 606 $aComputer software$xVerification$vCongresses 606 $aComputer systems$xVerification$vCongresses 608 $aElectronic books. 615 0$aComputer software$xVerification 615 0$aComputer systems$xVerification 676 $a005.14 702 $aIrlbeck$b Maximilian 702 $aPeled$b Doron 702 $aPretschner$b Alexander 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910460486403321 996 $aDependable software systems engineering$91927600 997 $aUNINA LEADER 01202nam 2200373 450 001 996280658103316 005 20231206213935.0 010 $a1-5044-0231-6 024 70$a10.1109/IEEESTD.1965.7387658 035 $a(CKB)3710000000575716 035 $a(NjHacI)993710000000575716 035 $a(EXLCZ)993710000000575716 100 $a20231206d1965 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIEEE Number 261-1965 $eIEEE Letter Symbols for Thermoelectric Devices /$fIEEE 210 1$aPiscataway, NJ :$cIEEE,$d1965. 215 $a1 online resource (4 pages) 330 $aThis document presents standard letter symbols for quantities used in the field of thermoelectric devices. 517 $aIEEE No 261-1965 606 $aThermoelectric apparatus and appliances 606 $aElectronics$xNotation 615 0$aThermoelectric apparatus and appliances. 615 0$aElectronics$xNotation. 676 $a621.31243 801 0$bNjHacI 801 1$bNjHacl 906 $aDOCUMENT 912 $a996280658103316 996 $aIEEE Number 261-1965$93646610 997 $aUNISA