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

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Coordination Models and Languages [electronic resource] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

0
索取号：
作者：Ciancarini、 Paolo.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.