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

Semantics and Algebraic Specification [electronic resource] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

0
索取号：
作者：Palsberg、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

0
索取号：
作者：Fiadeiro、 Jos茅 Luiz.、Mosses、 Peter D.、Orejas、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Action semantics

0
索取号：TP312/E9934
作者：Mosses、 Peter.、
出版社：Cambridge ; New York : Cambridge University Press, 1992.

The biology of mosses

0
索取号：Q949.35/E901
作者：Richardson、 D. H. S. (David H. S.)、
出版社：Oxford ; Boston : Blackwell Scientific Publications, 1981.

Mosses

0
索取号：Q-49/E803
作者：Watson、E.v.、
出版社：London : Oxford University Press, 1972.

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

0
索取号：TP3-53/E996/1995
作者：International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus、 Denmark)、Mosses、 Peter.、Nielsen、 M. (Mogens)、 1949-、Schwartzbach、 Michael I.、Colloquium on Trees in Algebra and Programming (1995 : Aarhus、 Denmark)、Colloquium on Formal Approaches of Software Engineering (1995 : Aarhus、 Denmark)、
出版社：Berlin ; New York : Springer-Verlag, c1995.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院