臺北市立大學行動版館藏查詢

Kristensen, Lars(作者(個人/團體)) ，共查得6 件。

Application and theory of petri nets and concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024 : proceedings / edited by Lars Michael Kristensen, Jan Martijn van der Werf. 2024.

Applications and theory of petri nets 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings / edited by Lars M. Kristensen, Laure Petrucci. 2011.

Coloured petri nets modelling and validation of concurrent systems / by Kurt Jensen, Lars M. Kristensen 2009

Marx at the movies revisiting history, theory and practice / Edited by Ewa Mazierska, Lars Kristensen. 2014.

Transactions on Petri Nets and Other Models of Concurrency XIV edited by Maciej Koutny, Lucia Pomello, Lars Michael Kristensen. 2019.

Transactions on petri nets and other models of concurrency XIII edited by Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek. 2018.

1/1

縮小搜尋範圍

出版年區間 : 年 ~ 年
特藏 :
語文 :