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

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.

Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

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

Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

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

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

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

Modern compiler implementation in Java = 现代编译程序实现--Java语言

0
索取号：TP312JA/E991.2-2
作者：Appel、 Andrew W.、 1960-、Palsberg、 Jens.、
出版社：北京 : 高等敎育出版社, 2003.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院