Acta Informatica提供了关于程序、计算系统和信息结构的设计和分析的形式化方法的文章,以及理论计算机科学的相关领域,如自动机理论、计算机科学中的逻辑和算法。官网链接:https://link.springer.com/journal/236
快速止血的生物“可注射绷带”
中国生物技术网
0+阅读 · 2018年4月9日
国内研究生不小心跟了一个水货导师是什么样的体验?
计算机视觉life
0+阅读 · 2020年7月16日
热缩冷胀!《Acta Mater》新型金属材料重要进展
材料科学与工程
0+阅读 · 2018年10月24日
Acta Mater. 上海交大董杰团队镁合金领域获重要进展
材料科学与工程
0+阅读 · 2019年8月22日
【2018-26期】This Week in Extracellular Vesicles
外泌体之家
0+阅读 · 2018年6月30日
2017年中科院JCR分区化学大类列表新鲜出炉
知社学术圈
0+阅读 · 2017年11月8日
Acta Mater:磁制冷材料领域研究获进展!
材料科学与工程
0+阅读 · 2018年3月20日
镓(Ga)同位素研究取得进展
中科院之声
0+阅读 · 2018年1月18日
参考链接
微信扫码咨询专知VIP会员