会员服务
静态分析越来越被认为是程序验证、错误检测、编译器优化、程序理解和软件维护的基本工具。国际静态分析系列研讨会（SAS）是展示该领域理论、实践和应用进展的主要场所。官网链接：http://www.staticanalysis.org/
【完整译文】《在复杂陆基场景中对中间部队能力进行兵棋推演》加拿大国防研究与发展部技术报告
【完整译文】《在复杂陆基场景中对中间部队能力进行兵棋推演》加拿大国防研究与发展部技术报告
专知
18+阅读 · 2022年9月5日
重磅！2022最新发布《北约分析性兵棋推演--数据采集、分析和利用的创新方法》北约技术报告160页
重磅！2022最新发布《北约分析性兵棋推演--数据采集、分析和利用的创新方法》北约技术报告160页
专知
10+阅读 · 2022年8月20日
北约384页技术报告《评估和沟通情报中的不确定性以支持决策》
北约384页技术报告《评估和沟通情报中的不确定性以支持决策》
专知
29+阅读 · 2022年7月26日
除了价格「香不香」，选购固态硬盘时你还需要注意这 7 件事
除了价格「香不香」，选购固态硬盘时你还需要注意这 7 件事
少数派
0+阅读 · 2021年11月9日
好强一个Julia！CSV数据读取，性能最高多出R、Python 22倍
好强一个Julia！CSV数据读取，性能最高多出R、Python 22倍
量子位
0+阅读 · 2020年10月13日
【2020新书】使用SAS Studio学习数据科学，232页pdf快速入门指南
【2020新书】使用SAS Studio学习数据科学，232页pdf快速入门指南
专知
1+阅读 · 2020年10月3日
可穿戴黑科技：从皮肤中读懂你的情绪
可穿戴黑科技：从皮肤中读懂你的情绪
学术头条
0+阅读 · 2020年6月10日
学数据科学，为何不尝试这 9 个编程语言！
学数据科学，为何不尝试这 9 个编程语言！
CSDN
0+阅读 · 2020年6月6日
如何入坑PhD？这份读博指南教你如何做笔记、整理参考书目、管理时间、如何写作、对自己和导师合理预期
如何入坑PhD？这份读博指南教你如何做笔记、整理参考书目、管理时间、如何写作、对自己和导师合理预期
专知
9+阅读 · 2020年6月4日
5年大厂经验依然失业：不懂这项技能的人，已经被淘汰！
5年大厂经验依然失业：不懂这项技能的人，已经被淘汰！
CVer
0+阅读 · 2020年5月19日
美国停发所有工作签证和绿卡，中枪的还有H1B和留学生，你得证明不跟美国公民抢饭碗
美国停发所有工作签证和绿卡，中枪的还有H1B和留学生，你得证明不跟美国公民抢饭碗
量子位
0+阅读 · 2020年4月24日
【AIOT】AIoT重磅报告：四大关键助力，AI+IoT重新定义未来的可能性
【AIOT】AIoT重磅报告：四大关键助力，AI+IoT重新定义未来的可能性
产业智能官
0+阅读 · 2019年11月13日
【布道师系列】杨健——APS机器学习平台一二三
【布道师系列】杨健——APS机器学习平台一二三
DataCanvas大数据云平台
0+阅读 · 2019年10月28日
2019-2024预测性维护市场展望：180家企业并进，9种类型齐头，竞争激烈……
2019-2024预测性维护市场展望：180家企业并进，9种类型齐头，竞争激烈……
物联网智库
30+阅读 · 2019年10月14日
艾瑞咨询招聘职位（北京）
艾瑞咨询招聘职位（北京）
艾瑞咨询
0+阅读 · 2019年9月13日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top