成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
FORTE
关注
0
FORTE:Formal Techniques for Networked and Distributed Systems。 Explanation:网络化和分布式系统的形式化技术。 Publisher:Springer。 SIT:
http://dblp.uni-trier.de/db/conf/forte/
综合
百科
VIP
热门
动态
论文
精华
从《教父》的剧本改编,看如何渐进式阅读、思考和沉淀
少数派
0+阅读 · 2022年9月27日
「接班」贝索斯一年,股价跌40%,亚马逊新帅卡在哪儿了?
新智元
0+阅读 · 2022年7月12日
程序员如何建立第二大脑
AI前线
2+阅读 · 2021年12月25日
【2019EHA】蔡真教授:高龄及高危遗传学特征的多发性骨髓瘤重要进展盘点
肿瘤资讯
0+阅读 · 2019年6月23日
AR/VR逐渐回暖 联合安防步入未来
人工智能学家
1+阅读 · 2019年6月13日
IPOs!2019年IPO会是创纪录一年吗?
硅谷第一线
0+阅读 · 2019年2月24日
50大发明真脑洞|时代周刊评选 科技美学
科技美学
0+阅读 · 2019年2月4日
健身网红挺着大肚子运动,婆婆却叫我老实躺着,我究竟该听谁的?| 过日子
果壳网
0+阅读 · 2018年11月12日
1,000,000,000,000美元!苹果成全球首家万亿美元市值公司,真正的股王如何炼成?
创业财经汇
0+阅读 · 2018年8月3日
苹果股价再创新高 离万亿美元市值仅一步之遥
TechWeb
0+阅读 · 2018年8月1日
充能2分钟行驶200里,这款自行车售价6万 | 潮科技
36氪
0+阅读 · 2018年1月21日
这种新型低温3D打印,产品可模仿大脑和肺部特性
生物探索
0+阅读 · 2018年1月15日
我也知道挖耳屎不好,可我就是管不住这双手啊!
果壳网
0+阅读 · 2017年9月22日
参考链接
父主题
Springer
计算机网络
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top