Shanghai University of Science and Technology

Results: 34



#Item
1KRust: 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

Add to Reading List

Source URL: sist.shanghaitech.edu.cn

Language: English - Date: 2018-07-06 22:20:16
    2On 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

    Add to Reading List

    Source URL: www.cs.unibo.it

    - Date: 2013-06-01 06:22:49
      3DENMARK – 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

      Add to Reading List

      Source URL: www.ehef.asia

      Language: English - Date: 2016-01-05 07:27:52
      4Microsoft Word - cis04-program.doc

      Microsoft Word - cis04-program.doc

      Add to Reading List

      Source URL: cs.engr.uky.edu

      Language: English - Date: 2004-11-28 19:53:37
      5DENMARK – 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

      Add to Reading List

      Source URL: www.ehef.asia

      Language: English - Date: 2016-01-05 06:28:08
      6Effective 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

      Add to Reading List

      Source URL: iswc2015.semanticweb.org

      Language: English - Date: 2015-09-30 15:14:05
        7Opportunities 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

        Add to Reading List

        Source URL: www.carstenullrich.net

        Language: English - Date: 2011-10-21 23:53:42
          8Microsoft Word - FIRS Shanghai Agenda.doc

          Microsoft Word - FIRS Shanghai Agenda.doc

          Add to Reading List

          Source URL: fic.wharton.upenn.edu

          Language: English - Date: 2006-09-08 11:22:58
          9It’s Liverpool in China Partnership BUSINESS DIRECTORY

          It’s Liverpool in China Partnership BUSINESS DIRECTORY

          Add to Reading List

          Source URL: www.liverpoolvision.co.uk

          Language: English - Date: 2015-05-19 05:22:39
          10MScISM 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:

          Add to Reading List

          Source URL: www.bm.ust.hk

          Language: English - Date: 2012-11-13 21:04:00