Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
1
Được phát hành 2007
Mục lục:
“... of Arc, Place and Transition Time Petri Nets -- Improving Static Variable Orders Via Invariants...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2008
Mục lục:
“... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2008
Mục lục:
“... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2005
Mục lục:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”lấy văn bản
Điện tử
eBook