2018年度雁棲湖會(huì)議：談大數(shù)據(jù)時(shí)代軟件自動(dòng)化
【2018年度雁棲湖會(huì)議：談大數(shù)據(jù)時(shí)代軟件自動(dòng)化】林惠民目前擔(dān)任中國(guó)科學(xué)院軟件研究所教授及學(xué)術(shù)委員會(huì)主任。他于1999年當(dāng)選為中國(guó)科學(xué)院院士。 林教授的研究方向包括：并發(fā)，模型檢查和形式化方法。報(bào)告題目：程序自動(dòng)化報(bào)告摘要...#程序自動(dòng)化#
背景信息：@自動(dòng)化網(wǎng)官方微博由中國(guó)科學(xué)院學(xué)部和北京市政府聯(lián)合舉辦的2018年度雁棲湖會(huì)議11日在北京懷柔開(kāi)幕。這次會(huì)議由中國(guó)科學(xué)院院士、北京理工大學(xué)教授梅宏?duì)款^組織，以“大數(shù)據(jù)時(shí)代軟件自動(dòng)化的機(jī)遇和挑戰(zhàn)”為主題，#軟件自動(dòng)化##大數(shù)據(jù)與自動(dòng)化#
背景信息：@自動(dòng)化網(wǎng)官方微博由中國(guó)科學(xué)院學(xué)部和北京市政府聯(lián)合舉辦的2018年度雁棲湖會(huì)議11日在北京懷柔開(kāi)幕。這次會(huì)議由中國(guó)科學(xué)院院士、北京理工大學(xué)教授梅宏?duì)款^組織，以“大數(shù)據(jù)時(shí)代軟件自動(dòng)化的機(jī)遇和挑戰(zhàn)”為主題，#軟件自動(dòng)化##大數(shù)據(jù)與自動(dòng)化#
我要收藏
點(diǎn)個(gè)贊吧
轉(zhuǎn)發(fā)分享
微信"掃一掃"，分享轉(zhuǎn)發(fā)
咨詢?cè)斍椋?/strong>如需咨詢文中涉及的相關(guān)產(chǎn)品或解決方案詳情，請(qǐng)加微信：ZiDongHuaX 。
微信聯(lián)盟：軟件自動(dòng)化微信群、大數(shù)據(jù)與自動(dòng)化微信群，各細(xì)分行業(yè)微信群：點(diǎn)擊這里進(jìn)入。
鴻達(dá)安視：水文水利在線監(jiān)測(cè)儀器、智慧農(nóng)業(yè)在線監(jiān)測(cè)儀器 查看各品牌在細(xì)分領(lǐng)域的定位宣傳語(yǔ)
微信聯(lián)盟：軟件自動(dòng)化微信群、大數(shù)據(jù)與自動(dòng)化微信群，各細(xì)分行業(yè)微信群：點(diǎn)擊這里進(jìn)入。
鴻達(dá)安視：水文水利在線監(jiān)測(cè)儀器、智慧農(nóng)業(yè)在線監(jiān)測(cè)儀器 查看各品牌在細(xì)分領(lǐng)域的定位宣傳語(yǔ)
上一篇：吳曉軍：江西培育虛擬現(xiàn)實(shí)產(chǎn)業(yè)順天時(shí)得地利聚人和
下一篇： 貴州省第三屆青少年3D打印創(chuàng)意設(shè)計(jì)大賽頒獎(jiǎng)
下一篇： 貴州省第三屆青少年3D打印創(chuàng)意設(shè)計(jì)大賽頒獎(jiǎng)
評(píng)論排行