成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
SAS
关注
0
静态分析越来越被认为是程序验证、错误检测、编译器优化、程序理解和软件维护的基本工具。国际静态分析系列研讨会(SAS)是展示该领域理论、实践和应用进展的主要场所。官网链接:
http://www.staticanalysis.org/ a>
综合
百科
VIP
热门
动态
论文
精华
学数据科学,为何不尝试这 9 个编程语言!
CSDN
0+阅读 · 2020年6月6日
视觉 | Norway:北方之路上,最快乐的人
三联生活周刊
0+阅读 · 2018年2月24日
如何系统地学习数据挖掘?
数据库开发
10+阅读 · 2017年10月22日
手机里照片太多太占内存,又不想删掉,怎么办?
数据玩家
0+阅读 · 2018年2月18日
复星国际确定收购法国奢侈品牌Lanvin,收购的步伐会停止吗?
36氪
0+阅读 · 2018年2月22日
天翼云 OOS 率先突破 SMR 技术瓶颈,14TB 领跑国内存储市场
云头条
0+阅读 · 2018年8月1日
Gartner报告:我们正处于数据科学与机器学习工具 “大爆炸”的时代
AI前线
0+阅读 · 2019年3月18日
9个最佳的大数据处理编程语言
R语言中文社区
0+阅读 · 2017年10月25日
这个App骗我能看到鬼。。。
宅客频道
0+阅读 · 2019年8月15日
重磅!腾讯正式发布2017微信数据报告!
数据玩家
0+阅读 · 2017年11月9日
长租公寓市场月报(2017年11月)
数据玩家
0+阅读 · 2017年12月7日
想成为数据科学家?试试费曼技巧!
论智
1+阅读 · 2018年3月15日
三星超大容量 SAS 固态硬盘投入量产,高达 30.72 TB
雷锋网
0+阅读 · 2018年2月20日
抛开大数据,让我们单纯的聊聊16年前的今天,北京申奥成功时的你在做什么?
数据玩家
0+阅读 · 2017年7月13日
重磅!2022最新发布《北约分析性兵棋推演--数据采集、分析和利用的创新方法》北约技术报告160页
专知
10+阅读 · 2022年8月20日
参考链接
父主题
Springer
软件工程
程序设计语言
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top