大拱桥
登录
搜索选项：
搜索帖子
课程
公选课
珠区图书馆
百货商场
图书馆
大拱桥--暨南大学学生门户
»
图书馆
» 搜索包含 Sriram 的图书(共5本)
Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
0
索取号：
作者：
Leavens
、
Gary T.
、
O鈥橦earn
、
Peter.
、
Rajamani
、
Sriram
K.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Distributed Computing and Networking [electronic resource] : 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings
0
索取号：
作者：
Kant
、
Krishna.
、
Pemmaraju
、
Sriram
V.
、
Sivalingam
、
Krishna M.
、
Wu
、
Jie.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
0
索取号：
作者：
Etessami
、
Kousha.
、
Rajamani
、
Sriram
K.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Tantrasa峁単raha of N墨laka峁囜弓ha Somay膩j墨 [electronic resource]
0
索取号：
作者：
Ramasubramanian
、
K.
、
Sriram
、
M.S.
、
SpringerLink (Online service)
、
出版社：London : Springer London, 2011.
Knowledge based expert systems for engineering : classification, education, and control
0
索取号：TP11-53/E901
作者：
International Conference on Applicationa of Artificial Intellgence in Engineering Problems(2nd 1987 Cambridge
、
Mass
、
Sriram
、
D.
、
Adey
、
R. A.
、
International Conference on Applications of Artificial Intellegence in Engineering Problems (2nd : 1987 : Cambridge
、
Mass.)
、
出版社：Southampton ; Boston, USA : Computational Mechanics Publications, 1987.
最近添加的分类
对外联络处
体育学院
经济学院
南校区管理委员会
数字校园
南校区管委会
暨南大学校报
下载中心
规章制度
信息公示
创新论坛
教务动态
创新人才
课程中心
核心团队
通知
电气信息学院
四海书院
国际商学院
人文学院
粤公网安备 44030602003680号
粤公网安备 44030602003680号