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

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

0
索取号：
作者：Kuncak、 Viktor.、Rybalchenko、 Andrey.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Science - Theory and Applications [electronic resource] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

0
索取号：
作者：Frid、 Anna.、Morozov、 Andrey.、Rybalchenko、 Andrey.、Wagner、 Klaus W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.