大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 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.