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