雅虎香港 搜尋

搜尋結果

1. jhc.sjtu.edu.cn › courses › 2021/1112/45Combinatorics - Courses - 上海交通大学约翰·霍普克罗夫特计算 ... 簡

   jhc.sjtu.edu.cn › courses › 2021/1112/45

   • 網頁紀錄

   2024年1月30日 · Shanghai Jiao Tong University. Description. Combinatorics is one of the core courses in the computer science major among national and international universities. It is also one of the most...

2. jhc.sjtu.edu.cn › seminar › 2021/0830/187Scaling and Solidifying SMT-based Program Analysis簡

   jhc.sjtu.edu.cn › seminar › 2021/0830/187

   • 網頁紀錄

   2021年8月30日 · Home. News & Events. Seminar. Scaling and Solidifying SMT-based Program Analysis. Speaker. 姚培森，香港科技大学. Time. 2021-08-30 10:00:00 ~ 2021-08-30 11:30:00. Location. 腾讯线上会议 (会议号码：913838741...

3. jhc.sjtu.edu.cn › people › membersShizhen Zhao - Faculty - 上海交通大学约翰·霍普克罗夫特计算机 ... 簡

   jhc.sjtu.edu.cn › people › members

   • 網頁紀錄

   Faculty. Shizhen Zhao. About. Associate Professor (tenure-track) John Hopcroft Center for Computer Science. Shanghai Jiao Tong University. Research Interests. Bridging the gap between theory and...

4. jhc.sjtu.edu.cn › news › 2019/0304/54【喜讯】我中心助理教授邵硕、向立瑶、金海明入选2019年度上海市 ... 簡

   jhc.sjtu.edu.cn › news › 2019/0304/54

   • 網頁紀錄

   2019年3月4日 · 2019年度上海市青年科技英才扬帆计划资助人员名单于今日正式揭晓。 根据《上海市优秀科技创新人才培育计划管理办法》，经专家评审，共遴选出600人拟予资助。 其中，我中心助理教授邵硕、向立瑶、金海明三人入选。 邵硕，上海交通大学约翰·霍普克罗夫特计算机科学中心助理教授。...

5. jhc.sjtu.edu.cn上海交通大学约翰·霍普克罗夫特计算机科学中心（John Hopcroft ... 簡

   jhc.sjtu.edu.cn

   • 網頁紀錄

   地址：上海市东川路800号上海交通大学软件大楼专家楼 邮箱：jhc@sjtu.edu.cn 电话：021-54740299 邮编：200240

6. jhc.sjtu.edu.cn › research › areasNews - John Hopcroft中心簡

   jhc.sjtu.edu.cn › research › areas

   • 網頁紀錄

   我中心助理教授Nana Liu入选世界级权威性青年科技创新人才榜! 全球最权威的青年科技创新人才榜之一，《麻省理工科技评论》2018年度35岁以下科技创新青年（MIT Technology Review Innovators U ... 2018-11-22. John Hopcroft中心.

7. jhc.sjtu.edu.cn › seminar › 2021/0617/178Reliable Resource Sharing on Multiprocessor ... 簡

   jhc.sjtu.edu.cn › seminar › 2021/0617/178

   • 網頁紀錄

   2021年6月17日 · 曹钦翔. Abstract. Driven by applications such as autonomous vehicles, spacecrafts, robotics, and industrial automation, real-time systems are required to implement ever more complex functionalities...