搜索包含 Sokolsky 的图书 - 暨南大学图书馆 - page 1

搜索选项：

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Sokolsky 的图书(共6本)

	Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings 0 索取号：作者：Barringer、 Howard.、Falcone、 Ylies.、Finkbeiner、 Bernd.、Havelund、 Klaus.、Lee、 Insup.、Pace、 Gordon.、Ro艧u、 Grigore.、Sokolsky、 Oleg.、Tillmann、 Nikolai.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Foundations of Computer Software. Future Trends and Techniques for Development [electronic resource] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers 0 索取号：作者：Choppy、 Christine.、Sokolsky、 Oleg.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers 0 索取号：作者：Kordon、 Fabrice.、Sokolsky、 Oleg.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers 0 索取号：作者：Sokolsky、 Oleg.、Ta艧谋ran、 Serdar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings 0 索取号：作者：Zhou、 Xiaobo.、Sokolsky、 Oleg.、Yan、 Lu.、Jung、 Eun-Sun.、Shao、 Zili.、Mu、 Yi.、Lee、 Dong Chun.、Kim、 Dae Young.、Jeong、 Young-Sik.、Xu、 Cheng-Zhong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		The role of Southeast Asia in U.S. strategy toward China 0 索取号：E712.0/E20052 作者：Sokolsky、 Richard.、Rabasa、 Angel.、Neu、 C. R. (Carl Richard)、 1949-、出版社：Santa Monica, CA : Rand, c2000.

最近添加的分类

粤公网安备 44030602003680号