登录
语言: English  |  中文 
 
 
 

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

浏览 按 题名


跳转到: 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 中文
或者输入前几位字符:   
排序方式: 升/降序: 每页显示条目: 显示作者数:
显示条目148-167条,共有7451条。
< 前一页    下一页 >
发布日期题名作者
1997-12-30O—系统,正交乘法及等参函数广西民族学院数学系; 欧业林
2005-01-05OECD《关于隐私保护与个人资料跨国流通的指针的建议》广西大学法学院; 广西大学法学院 广西南宁530004; 广西南宁530004; 广西南宁530004; 刘小燕; 贾淼; 齐爱民
1996-12On first-order theorem proving using generalized odd-superpositions ⅡDepartment of Mathematics; Peking University; Institute of Systems Science; Chinese Academy of Sciences; 吴尽昭; 刘卓军
2009-07On Invariance of Dynamic CTL Model Checking in Iterative Design of Moore Machine-based SystemSchool of Optoelectronic Information, University of Electronic Science and Technology of China Chengdu 610054; Chengdu Institute of Computer Applications, Chinese Academy of Sciences Chengdu 610041; LI Shao-rong; YANG Shi-han; WU Jin-zhao
2000On theorem proving in annotated logicsDepartment of Electrical Engineering Texas A&M University, College Station ,TX 77843,USA; Department of Electrical Engineering Texas A&M University, College Station ,TX 77843,USA and School of Mathematical Sciences Peking University,Beijing,100871,China; Mi Lu; JinZhao Wu
2004-07-15Operational Semantics Modelling Semantic Action Refinement for Processes with InterruptChengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610040, China; YUAN Hong; WU Jin-Zhao
2012-06-08Origin软件在物理化学实验数据处理中的应用广西民族大学化学化工学院; 黄钦
2012-10-15P2P网络数据通信优化算法研究与仿真广西民族大学; 田涛
2008-02-15Powell-Sabin(Ⅱ)型加密三角剖分下的二元三次一阶光滑样条函数空间广西民族大学数学与计算机科学学院; 云南省蒙自县红河学院数学系; 谌孙康; 刘焕文
2002-09Power Point2000 简介及其使用的若干技巧广西民族学院图书馆; 李冠盛
2008-01-02Preparation of High Performance Grccn Alumina Ceramic Balls by Roller Production WasteState Key Lab of Advanced Technology for Materials Synthesis and Processing,Wuhan University of Technology,Wuhan 430070,China; Key Lab of Nonferrous Materials and New Processing Technology( Guangxi University,Guilin University of Technology; Key Lab of Nonferrous Materials and New Processing Technology Guangxi University,Guilin University of Technology of Ministry of Education,Guilin 541004,China; State Key Lab of Advanced Technology for Materials Synthesis and Processing,Wuhan University of Technology,Wuhan 430070,China; 钟莲云; 吴伯麟
2009Process Algebra with Chaos Executing Policy for Unhealthy Systems1School of Information Science and Engineering Lanzhou University Lanzhou University, Lanzhou 730000, China; 2School of Computer and Information Technology,Beijing Jiaotong University,Beijing 100044, China; Guang Zheng; Lian Li; Wenbo Chen; Anping He; Jinzhao Wu
2007-01PT850采集仪在图书采访中的应用研究广西民族学院图书馆; 李冠盛
2009Real Time Process Algebra with Urgency Executing PolicySchool of Information Science and Engineering,Lanzhou University, Lanzhou, China 730000,{chenwb, zhengguang, lil}@lzu.edu.cn; School of Computer and Information Technology,Beijing Jiaotong University,Beijing, China, 100044; 3Chengdu Institute of Computer Applications Chinese Academy of Sciences,Chengdu, China, 610054 himrwujz@yahoo.com.cn; Wenbo Chen; Guang Zheng; Lian Li; Jinzhao Wu
2005Realizing ternary quantum switching networks without ancilla bitsDepartment of Electrical & Computer Engineering, Portland State University,1900 SW Fourth Avenue, PO Box 751, Portland, Oregon 97201, USA; Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041,People’s Republic of China; Guowu Yang; Xiaoyu Song; Marek Perkowski; Jinzhao Wu
2006Refinement of actions for real-time concurrent systems with causal ambiguityFakultät für Mathematik und Informatik, Universität Mannheim,Germany E-mail: mcb@informatik.uni-mannheim.de; Chengdu Institute of Computer Applications Chinese Academy of Sciences, Chengdu 610041, China; Mila Majster-Cederbaum; Jinzhao Wu; Houguang Yue
2013Research on Virtual Network Mapping Algorithm with Path Splitting Based on Sort PreprocessingSchool of Information Science and Engineering, Guangxi University for Nationalities, Nanning, China; Chengdu Institute of Computer Application, Chinese Academy Of Sciences, Chengdu, China; Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Nanning, China; Yong Huang; Jinzhao Wu
2016-07-15RNA二级结构预测优化模型的仿真分析广西民族大学信息科学与工程学院; 李熹
2003-08-01SARS流行与中国都市化的反思中山大学人类学系; 秦红增
2010-09-15SBR法培养好氧颗粒污泥及其处理废水性能研究广西民族大学化学与生态工程学院; 广西大学化学与化工学院; 蓝丽红; 蓝平; 谢涛; 廖安平
显示条目148-167条,共有7451条。
< 前一页    下一页 >

在线人数:105     站点总访问量:8194470