Login
Language: English  |  中文 
 
 
 

广西民族大学机构知识库 >

Browsing by Author Hui Deng


Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 中文
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 3 of 3
Issue DateTitleAuthor(s)
2012Approximate Bisimulation and Its Applications for Polynomial Algebraic System Based on Symbolic and Numerical CalculationSchool of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China; Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning 530006, China; Hui Deng; Jinzhao Wu
2013Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric ComputationSchool of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China; 2Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning,Guangxi 530006, China; Hui Deng; Jinzhao Wu
2013Approximate Bisimulation for High-Level Datapaths in Intelligent Transportation SystemsSchool of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China; Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities,Nanning, Guangxi 530006, China; Institute of Acoustics, Chinese Academy of Sciences, Beijing 100190, China; Hui Deng; Jinzhao Wu; Hongyan Tan
Showing results 1 to 3 of 3

Number of Online Users: 102     Total of Site Visit: 3505075