1![KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C](https://www.pdfsearch.io/img/d3ecec75324c9d6c46e7c40c6d895671.jpg) | Add to Reading ListSource URL: sist.shanghaitech.edu.cnLanguage: English - Date: 2018-07-06 22:20:16
|
---|
2![On Context Bisimulation for Parameterized Higher-order Processes Xian Xu ∗ Department of Computer Science and Technology East China University of Science and Technology, Shanghai, China P.Rc On Context Bisimulation for Parameterized Higher-order Processes Xian Xu ∗ Department of Computer Science and Technology East China University of Science and Technology, Shanghai, China P.Rc](https://www.pdfsearch.io/img/f1170c6e349c0c10eb693209d059a1cc.jpg) | Add to Reading ListSource URL: www.cs.unibo.it- Date: 2013-06-01 06:22:49
|
---|
3![DENMARK – SMALL IN SIZE BIG IN THINKING CHINA EDUCATION EXPO 31 OCTOBER, 2015 NINA ESPEGÅRD HASSEL, CONSUL OF INNOVATION INNOVATION CENTRE DENMARK, SHANGHAI DENMARK – SMALL IN SIZE BIG IN THINKING CHINA EDUCATION EXPO 31 OCTOBER, 2015 NINA ESPEGÅRD HASSEL, CONSUL OF INNOVATION INNOVATION CENTRE DENMARK, SHANGHAI](https://www.pdfsearch.io/img/887c4c22898896ec5b72f9afcf2c6de9.jpg) | Add to Reading ListSource URL: www.ehef.asiaLanguage: English - Date: 2016-01-05 07:27:52
|
---|
4![Microsoft Word - cis04-program.doc Microsoft Word - cis04-program.doc](https://www.pdfsearch.io/img/110dcadb8e95dab72e82da90622e7aea.jpg) | Add to Reading ListSource URL: cs.engr.uky.eduLanguage: English - Date: 2004-11-28 19:53:37
|
---|
5![DENMARK – SMALL IN SIZE BIG IN THINKING CHINA EDUCATION EXPO 24 OCTOBER, 2015 NINA ESPEGÅRD HASSEL, CONSUL OF INNOVATION INNOVATION CENTRE DENMARK, SHANGHAI DENMARK – SMALL IN SIZE BIG IN THINKING CHINA EDUCATION EXPO 24 OCTOBER, 2015 NINA ESPEGÅRD HASSEL, CONSUL OF INNOVATION INNOVATION CENTRE DENMARK, SHANGHAI](https://www.pdfsearch.io/img/556e91d73983d274846c0f5666751b62.jpg) | Add to Reading ListSource URL: www.ehef.asiaLanguage: English - Date: 2016-01-05 06:28:08
|
---|
6![Effective Online Knowledge Graph Fusion? Haofen Wang1 , Zhijia Fang1 , Le Zhang1 , Jeff Z. Pan2 , and Tong Ruan1 1 East China University of Science and Technology, Shanghai, 200237, China 2 Effective Online Knowledge Graph Fusion? Haofen Wang1 , Zhijia Fang1 , Le Zhang1 , Jeff Z. Pan2 , and Tong Ruan1 1 East China University of Science and Technology, Shanghai, 200237, China 2](https://www.pdfsearch.io/img/c956235863bcacd06a287af08186914e.jpg) | Add to Reading ListSource URL: iswc2015.semanticweb.orgLanguage: English - Date: 2015-09-30 15:14:05
|
---|
7![Opportunities for AI in Intelligent Web-based Technology-Supported Learning Carsten Ullrich, Jian Wang, Ruimin Shen The Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai, China Opportunities for AI in Intelligent Web-based Technology-Supported Learning Carsten Ullrich, Jian Wang, Ruimin Shen The Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai, China](https://www.pdfsearch.io/img/a196042984d22dab4e4429d55698f76f.jpg) | Add to Reading ListSource URL: www.carstenullrich.netLanguage: English - Date: 2011-10-21 23:53:42
|
---|
8![Microsoft Word - FIRS Shanghai Agenda.doc Microsoft Word - FIRS Shanghai Agenda.doc](https://www.pdfsearch.io/img/62335085b4173f05eff2956cb5701583.jpg) | Add to Reading ListSource URL: fic.wharton.upenn.eduLanguage: English - Date: 2006-09-08 11:22:58
|
---|
9![It’s Liverpool in China Partnership BUSINESS DIRECTORY It’s Liverpool in China Partnership BUSINESS DIRECTORY](https://www.pdfsearch.io/img/822d0c953bfb7d38e14d055ed4f69287.jpg) | Add to Reading ListSource URL: www.liverpoolvision.co.ukLanguage: English - Date: 2015-05-19 05:22:39
|
---|
10![MScISM Luncheon Seminar Dept of Information Systems, Business Statistics & Operations Management HKUST Business School Successful IT Leadership in a Global Organization Date: MScISM Luncheon Seminar Dept of Information Systems, Business Statistics & Operations Management HKUST Business School Successful IT Leadership in a Global Organization Date:](https://www.pdfsearch.io/img/06de604036c16e0a07802d4ae53e818a.jpg) | Add to Reading ListSource URL: www.bm.ust.hkLanguage: English - Date: 2012-11-13 21:04:00
|
---|