大拱桥
登录
搜索选项：
搜索帖子
课程
公选课
珠区图书馆
百货商场
图书馆
大拱桥--暨南大学学生门户
»
图书馆
» 搜索包含 Higashino 的图书(共5本)
Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22鈥 2007 Proceedings
0
索取号：
作者：
Namjoshi
、
Kedar S.
、
Yoneda
、
Tomohiro.
、
Higashino
、
Teruo.
、
Okamura
、
Yoshio.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Formal Techniques for Networked and Distributed Systems-FORTE 2008 [electronic resource] : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
0
索取号：
作者：
Suzuki
、
Kenji.
、
Higashino
、
Teruo.
、
Yasumoto
、
Keiichi.
、
El-Fakih
、
Khaled.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
0
索取号：
作者：
Suzuki
、
Kenji.
、
Higashino
、
Teruo.
、
Ulrich
、
Andreas.
、
Hasegawa
、
Toru.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
0
索取号：
作者：
Higashino
、
Teruo.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Principles of distributed systems : 8th international conference, OPODIS 2004, Grenoble, France, December 15-17, 2004 : revised selected papers
0
索取号：TP302.1-53/E20061/2004
作者：
OPODIS 2004 (8th : 2004 : Grenoble
、
France)
、
Higashino
、
Teruo.
、
出版社：Berlin ; New York : Springer, c2005.
最近添加的分类
对外联络处
体育学院
经济学院
南校区管理委员会
数字校园
南校区管委会
暨南大学校报
下载中心
规章制度
信息公示
创新论坛
教务动态
创新人才
课程中心
核心团队
通知
电气信息学院
四海书院
国际商学院
人文学院
粤公网安备 44030602003680号
粤公网安备 44030602003680号