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

Applications and Theory of Petri Nets [electronic resource] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings

0
索取号：
作者：Lilius、 Johan.、Penczek、 Wojciech.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach

0
索取号：
作者：Penczek、 Wojciech.、P贸lrola、 Agata.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Cationic ring-opening polymerization. 2, synthetic applications

0
索取号：O631-51/E9012
作者：Penczek、 S. (Stanisław)、Kubisa、 P. (Przemysław)、Matyjaszewski、 K. (Krzysztof)、
出版社：Berlin ; New York : Springer-Verlag, 1985.