大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Eker 的图书(共2本)
All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic0索取号: 作者:Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、 出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. | Secrets of the millionaire mind : mastering the inner game of wealth0索取号:F82-05/E20101 作者:Eker、 T. Harv、 出版社:New York : HarperCollins Publishers, 2005. |
最近添加的分类


粤公网安备 44030602003680号