会员服务
Thinking Above Code：TLA+ 思维概述
Thinking Above Code：TLA+ 思维概述
InfoQ
0+阅读 · 2021年12月9日
形式化验证工具TLA+：程序员视角的入门之道
形式化验证工具TLA+：程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
智能合约的形式化验证方法研究综述
智能合约的形式化验证方法研究综述
专知
14+阅读 · 2021年5月8日
【区块链】智能合约：架构及进展
【区块链】智能合约：架构及进展
产业智能官
4+阅读 · 2020年7月27日
华为自研系统“鸿蒙”发布！已研发七年，可替代安卓
华为自研系统“鸿蒙”发布！已研发七年，可替代安卓
猎云网
0+阅读 · 2019年8月10日
【快讯】华为正式发布自有操作系统鸿蒙OS！
【快讯】华为正式发布自有操作系统鸿蒙OS！
cnbeta资讯
0+阅读 · 2019年8月9日
华为鸿蒙问世！余承东喊话安卓：全球首款微内核全场景分布式OS开源！
华为鸿蒙问世！余承东喊话安卓：全球首款微内核全场景分布式OS开源！
新智元
0+阅读 · 2019年8月9日
华为鸿蒙问世！余承东喊话安卓：全球首款微内核全场景分布式OS开源！
华为鸿蒙问世！余承东喊话安卓：全球首款微内核全场景分布式OS开源！
新智元
0+阅读 · 2019年8月9日
机器学习模型中的 bug 太难找？DeepMind 呈上了三种好方法！
机器学习模型中的 bug 太难找？DeepMind 呈上了三种好方法！
AI研习社
0+阅读 · 2019年6月5日
机器学习模型中的 bug 太难找？DeepMind 呈上了三种好方法！
机器学习模型中的 bug 太难找？DeepMind 呈上了三种好方法！
雷锋网
1+阅读 · 2019年6月3日
机器学习模型中的 bug 太难找？DeepMind 呈上了三种好方法！
机器学习模型中的 bug 太难找？DeepMind 呈上了三种好方法！
AI科技评论
0+阅读 · 2019年6月2日
专访哈工大朱晓蕊教授：系统安全会成为无人机未来的重要问题
专访哈工大朱晓蕊教授：系统安全会成为无人机未来的重要问题
AI研习社
2+阅读 · 2019年5月26日
专访哈工大朱晓蕊教授：系统安全会成为无人机未来的重要问题
专访哈工大朱晓蕊教授：系统安全会成为无人机未来的重要问题
AI科技评论
0+阅读 · 2019年5月25日
中科院教授白硕：AI+区块链，两大神器如何助力商业新生态
中科院教授白硕：AI+区块链，两大神器如何助力商业新生态
大数据文摘
0+阅读 · 2019年4月22日
【每日安全资讯】计算机科学家发布不会被黑的加密代码
【每日安全资讯】计算机科学家发布不会被黑的加密代码
Linux中国
0+阅读 · 2019年4月8日
参考链接
微信扫码咨询专知VIP会员
Top