LEADER 01647nam 2200433 450 001 9910483236903321 005 20220123113336.0 010 $a3-030-77428-7 035 $a(CKB)4100000011945260 035 $a(MiAaPQ)EBC6628963 035 $a(Au-PeEL)EBL6628963 035 $a(OCoLC)1252763980 035 $a(PPN)255882920 035 $a(EXLCZ)994100000011945260 100 $a20220123d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aTools for design, implementation and verification of emerging information technologies $e15th EAI International Conference, TridentCom 2020, virtual event, November 13, 2020, proceedings /$feditors, Yu Weng [and three others] 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$dİ2021 215 $a1 online resource (166 pages) 225 1 $aLecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ;$vVolume 380 311 $a3-030-77427-9 320 $aIncludes bibliographical references and index. 410 0$aLecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ;$vVolume 380. 606 $aComputer networks$vCongresses 615 0$aComputer networks 676 $a004.6 702 $aWeng$b Yu 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483236903321 996 $aTools for Design, Implementation and Verification of Emerging Information Technologies$91946024 997 $aUNINA