今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science, Series Number 40)
Desel, Jorg
Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory
Desel, Jorg
Application and theory of Petri nets and concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 : proceedings
José-Manuel Colom, Jörg Desel (eds.)
Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report
Hartmut Ehrig ... [et al.] (eds.)
Lectures on concurrency and Petri nets : advances in Petri nets
Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.)
Business process management : second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004 : proceedings
Jörg Desel, Barbara Pernici, Mathias Weske (eds.)
Business process management : models, techniques, and empirical studies
Wil van der Aalst, Jörg Desel, Andreas Oberweis (eds.)
Application and theory of Petri nets 1998 : 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 : proceedings
Jörg Desel, Manuel Silva (eds.)
Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995
Jörg Desel, (ed.)
Free choice Petri nets
Jörg Desel, Javier Esparza
1
2