会员服务
Acta Informatica提供了关于程序、计算系统和信息结构的设计和分析的形式化方法的文章，以及理论计算机科学的相关领域，如自动机理论、计算机科学中的逻辑和算法。官网链接：https://link.springer.com/journal/236
建国后首次！华科副研究员以独作身份投中数学顶刊，曾因换方向重读博士7年
建国后首次！华科副研究员以独作身份投中数学顶刊，曾因换方向重读博士7年
量子位
0+阅读 · 2022年10月11日
祝贺！“80后”教授，当选院士！
祝贺！“80后”教授，当选院士！
CVer
0+阅读 · 2021年12月11日
不孕不育怎么办？AI帮你提高成功率
不孕不育怎么办？AI帮你提高成功率
量子位
0+阅读 · 2021年1月4日
Science：面对新冠病毒，孕妇的特殊风险和未知影响
Science：面对新冠病毒，孕妇的特殊风险和未知影响
学术头条
0+阅读 · 2020年8月12日
国内研究生不小心跟了一个水货导师是什么样的体验？
国内研究生不小心跟了一个水货导师是什么样的体验？
计算机视觉life
0+阅读 · 2020年7月16日
33本期刊被SCI警告、15种受到关切，含最高年发文量4000多篇的大刊！
33本期刊被SCI警告、15种受到关切，含最高年发文量4000多篇的大刊！
CVer
7+阅读 · 2020年7月5日
波士顿国际出版社旗下24种学术期刊30天免费开放使用
波士顿国际出版社旗下24种学术期刊30天免费开放使用
学术头条
0+阅读 · 2020年3月10日
西安交大：核电关键结构材料环境损伤领域获进展！
西安交大：核电关键结构材料环境损伤领域获进展！
材料科学与工程
0+阅读 · 2019年10月21日
金属所顶刊：2.5GPa超高强钢的时效析出与强化
金属所顶刊：2.5GPa超高强钢的时效析出与强化
材料科学与工程
0+阅读 · 2019年9月7日
Acta Mater. 基于机器学习设计出新型超高强不锈钢
Acta Mater. 基于机器学习设计出新型超高强不锈钢
材料科学与工程
5+阅读 · 2019年9月2日
Acta Mater. 上海交大董杰团队镁合金领域获重要进展
Acta Mater. 上海交大董杰团队镁合金领域获重要进展
材料科学与工程
0+阅读 · 2019年8月22日
让牛顿发现力学的，除了苹果，还有什么？
让牛顿发现力学的，除了苹果，还有什么？
笔记侠
0+阅读 · 2019年8月20日
这首驱蚊神曲能让蚊子不想吸血？听了甚至还会自我灭绝
这首驱蚊神曲能让蚊子不想吸血？听了甚至还会自我灭绝
中科院物理所
1+阅读 · 2019年7月16日
顶刊：西安交大纳米铝孪晶变形获重要进展！
顶刊：西安交大纳米铝孪晶变形获重要进展！
材料科学与工程
1+阅读 · 2019年6月11日
专注柔性电子材料，柔电云科正在为面膜材质革新提供更多可能
专注柔性电子材料，柔电云科正在为面膜材质革新提供更多可能
动脉网
0+阅读 · 2019年6月6日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top