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

Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

0
索取号：
作者：Liu、 Shaoying.、Maibaum、 Tom.、Araki、 Keijiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

0
索取号：
作者：Cuellar、 Jorge.、Maibaum、 Tom.、Sere、 Kaisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

TAPSOFT'91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

0
索取号：TP3-53/E996/1991.2
作者：International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton、 England)、Abramsky、 Samson、 1953-、Maibaum、 Thomas S. E.、
出版社：Berlin ; New York : Springer-Verlag, 1991-

TAPSOFT'91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

0
索取号：TP3-53/E996/1991.1
作者：International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton、 England)、Abramsky、 Samson、 1953-、Maibaum、 Thomas S. E.、
出版社：Berlin ; New York : Springer-Verlag, 1991-
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院