会员服务
第26届SPIN研讨会旨在将对软件分析和软件模型自动化工具技术感兴趣的研究人员和实践者聚集在一起，以进行验证和确认。研讨会特别关注并发软件，但不排除对顺序软件的分析。提交的资料包括理论结果、新算法、工具开发和经验评估。官网链接：https://conf.researchr.org/track/spin-2019/spin-2019-papers
npj: 点缺陷量子比特研究中自旋相关量的第一性原理计算
npj: 点缺陷量子比特研究中自旋相关量的第一性原理计算
知社学术圈
0+阅读 · 2018年12月31日
标准模型中基本粒子的质量问题 I 本周物理学讲座
标准模型中基本粒子的质量问题 I 本周物理学讲座
中国物理学会期刊网
0+阅读 · 2018年6月12日
抢夺最后一公里，共享滑板新赛道，谁会脱颖而出？丨盘点
抢夺最后一公里，共享滑板新赛道，谁会脱颖而出？丨盘点
创业邦杂志
0+阅读 · 2018年12月13日
开发需求 | 想要成功销售大订单，应该做些什么？
开发需求 | 想要成功销售大订单，应该做些什么？
今今乐道读书会
0+阅读 · 2018年3月4日
厉害了！24岁“天才少年”曹原再次连发2篇Nature！“石墨烯驾驭者”王者归来
厉害了！24岁“天才少年”曹原再次连发2篇Nature！“石墨烯驾驭者”王者归来
学术头条
0+阅读 · 2020年5月9日
《科学》（20190531出版）一周论文导读
《科学》（20190531出版）一周论文导读
科学网
0+阅读 · 2019年6月2日
磁振子自旋电子学领域重要进展：新型自旋阀结构
磁振子自旋电子学领域重要进展：新型自旋阀结构
IntelligentThings
0+阅读 · 2018年3月16日
狄拉克的剑气到底有多长
狄拉克的剑气到底有多长
中科院物理所
0+阅读 · 2017年12月3日
有人试图挽救 Ubuntu Unity ，将其做为官方分支
有人试图挽救 Ubuntu Unity ，将其做为官方分支
Linux中国
0+阅读 · 2017年12月17日
基于纳米逻辑和新型存储器的“感存算一体”三维片上集成系统 | 本周物理学讲座
基于纳米逻辑和新型存储器的“感存算一体”三维片上集成系统 | 本周物理学讲座
中国物理学会期刊网
1+阅读 · 2019年6月11日
《自然》（20190411出版）一周论文导读
《自然》（20190411出版）一周论文导读
科学网
0+阅读 · 2019年4月14日
npj: 斯格明子材料—向高温迈进
npj: 斯格明子材料—向高温迈进
知社学术圈
1+阅读 · 2019年5月20日
单分子层和扭曲双层石墨烯的磁性和超导相关性 | 本周物理学讲座
单分子层和扭曲双层石墨烯的磁性和超导相关性 | 本周物理学讲座
中国物理学会期刊网
0+阅读 · 2019年5月21日
中国的共享单车凉了，美国的共享滑板还好吗？
中国的共享单车凉了，美国的共享滑板还好吗？
腾讯创业
0+阅读 · 2019年1月3日
用户获取要不要花钱？花多少钱划算？一个简单的工具帮您轻松做决策
用户获取要不要花钱？花多少钱划算？一个简单的工具帮您轻松做决策
谷歌开发者
0+阅读 · 2018年4月28日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top