AMiner-谷歌学术-Semantic Scholar-百度学术-知网使用方法分享
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
微软学术+万方+知网+谷歌学术
...
一种基于GAN的跨项目软件缺陷预测方法
...
区块链：零信任之上的共识（山东大学成秀珍教授）
...
【QQ音乐】免费领取365天QQ音乐绿钻，听歌自由啦，飙升音乐排行榜，这波真的太香了，趁官网活动还在赶快去领取叭@QQ音乐
...
2022年4月28日学术研究方法浅谈--北航马帅
...
上大学跟没上大学有什么区别？
...
【高教社杯】数学建模2024A题“板凳龙”闹元宵_第二天晚间下半场
...
《信息安全学报》线上学术沙龙（第七期）——“人工智能安全”学术报告会
...
形式化方法与系统软件：一个实践者的视角
...
ISSRE 2021学术讨论
...
转学！体验复旦学生开学第一天！| MLOG S1E28
...
openEuler 与基础软件创新+自然语言驱动的程序生成和分析+程序合成——从补丁合成到算法合成+规约驱动的嵌入式系统综合与验证
...
新硬件机器学习负载分析与优化
...
一个很变态的向上社交偏方（自用，从未失败
...
区块链安全与应用技术的研究进展--张小松
...
ISSRE2021学术讨论
...
大数据共享与保护、云服务智能故障预测诊断与优化
...
避税与逃税
...
《芯片形式验证技术及应用》+《硬件形式验证应用》+《形式化工具在 EDA 领域最新发展方向研究》
...
《血字的研究》：福尔摩斯探案集第一案！伟大冒险的开启——让我们一起推开十九世纪的推理之门吧！（海兔读书））
...
邪心英雄新卡！霸王NEOS！1207邪心英雄新卡预告！【新卡一句话186】
...
国际信息安全顶级学术会议介绍暨数据分析
...
信息安全发展历程与趋势--冯登国
...
我把粉丝整破防了，但是...
...
他们死在最美好的年华，再也发不出声音【温柔】
...
2021年全国开放式分布与并行计算学术年会 DPCS 2021
...
反例引导的C代码空间流模型检测方法
...
基于系统证据分析的隐蔽性攻击检测+开源软件供应链风险分析与治理+扰动下时延混成系统的安全切换控制器生成
...
童年的暑假 你听着「仙剑奇侠传」电台 千禧年华语电台 复古白噪音 Lo-Fi低保真 | 学习 睡眠 放松 | 宇宙第二宅
...
编译原理课程Flex+Bison使用讲解
...
初学书法，网友说挺好的，让我去写促销海报☹️
...
第七届国际区块链周-部分报告
...
2022.7.23 人工智能安全可信理论与验证平台
...
对话国自然博士基金获得者（上）
...
【半佛】山姆的矿泉水喝了能生男孩？
...
中国计算机学会形式化方法专委战略研讨会--软硬件基础设施验证，上午Panel
...
基于软件度量的Solidity智能合约缺陷预测方法
...
基于名义内存模型的C程序编译验证+归纳类型可数性在Coq中的形式化+并行嵌入式软件的时间正确性验证
...
脱衣舞俱乐部酒保