龙星计划两位海外学者授课视频全程首度公开！速来充电！

CCF数字图书馆，专为服务计算领域专业人士的CCF数字化资源共享平台，汇集海量优质数字化专业资源，让你足不出户，踏遍专业路。

大家好，CCF数图君又准时给大家推荐“最新馆藏”“最热门报告”啦！本期将推荐两位海外学者的龙星计划授课视频，这也是首次通过CCF数图公布该课程的全程报告！内容精彩，机会难得，智慧大补，不可错过！

CCF龙星计划是中国计算机学会主办，不定期邀请在美国学术界已有一定成就的华人华侨，回国就某一领域系统地讲授一门美国研究生课程（每门课程15-30课时），同时就所讲课程的学术问题与国内相关领域研究人员共同探讨的系列活动。自2002年启动以来，至今已有近百名华人学者参与授课，在近百所大学和科研机构开课近200门，听课总人数超过14000人。

很多会员近距离接触和加入CCF，是从参加CCF的活动会议开始的。

然而，总有一些原因，

让你因为无法亲身参加CCF活动而深感遗憾。

CCF数字图书馆，让你专业之路从此无遗憾！

在这里360度汲取CCF宝贵专业精华！

硬核收录国内外千人以上知名学者专家的报告讲稿及视频、近两万篇会议文集、十余种权威专业期刊、超过34个国内外会议的文献资料、大量CCF活动会议独家原创数字资源尽纳馆藏！第一时间入手独家珍贵资料，随时更新，“彩蛋”不断！

这不，刚刚最新收录进来，数图君就迫不及待要和大家分享啦！

本期特别推荐龙星计划课程主题一：《逻辑与形式化方法》

杨子江教授 分别从中国科学技术大学，美国赖斯大学(Rice University)及宾夕法尼亚大学(University of Pennsylvania)获得学士，硕士及博士学位。现为美国西密西根大学教授，曾供职于NEC美国研究院。主要研究领域为形式化验证及软件测试。

本期特别推荐龙星计划课程主题二：《集成电路设计自动化技术基础》

Sachin S. Sapatnekar教授  于印度理工学院（孟买）获得学士学位，于美国雪城大学获得硕士学位，于美国伊利诺伊大学香槟分校获得博士学位，现任美国明尼苏达大学McKnight讲席教授和电子与计算机工程系主任。在集成电路设计自动化领域著述颇丰。

目前数图已经完整收录课程的全部视频，看推荐不过瘾，别忘了马上进入CCF数图看全程！

 “足不出户，踏遍专业路”，CCF数图说到做到！

CCF数字图书馆目前对会员全部实行免费开放！

了解学科热点、提高理论水平、掌握最新技术趋势，

马上加入CCF，免费畅享CCF数字图书馆会员特权，

脑洞大开，智慧灌顶，更多惊喜等你发现！

每周六，与你智慧相约，不见不散！

二维码需点击放大图片后识别

CCF推荐

【精品文章】

• 想找硬核专业资料？这篇文章告诉你数图“搜索”功能到底多强大！

• 联想在工业领域智能交互的AR实践，39页特邀报告PPT来了！

• 计算领域哪些刊物最值得看？CCF数图告诉你答案！

• 速看！实力干货，CCF数图张钹院士为你讲人工智能
  

点击“阅读原文”，进入CCF数字图书馆，足不出户，踏遍专业路！