本文に飛ぶ

年 〜
年

検索結果 11 件

CONCUR 2012 -- concurrency theory : 23rd international conference, CONCUR 2012 : Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings : Sep 2012, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 7454. Advanced Research in Computing and Software Science)

CONCUR 2012 -- concurrency theory : 23rd international conference, CONCUR 2012 : Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings : Sep 2012, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 7454. Advanced Research in Computing and Software Science)
紙図書
Springerc2012.<M17-13-603>
国立国会図書館

Paradigms of concurrency : observations, behaviours and systems - a Petri net view hbk.

Paradigms of concurrency : observations, behaviours and systems - a Petri net view hbk.
紙図書
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz MikulskiSpringer2022
全国の図書館

Concur 2012 - concurrency theory : 23rd International Conference, CONCUR 2012, Newcastle Upon Tyne, UK, September 4-7 2012, proceedings : pbk.

Concur 2012 - concurrency theory : 23rd International Conference, CONCUR 2012, Newcastle Upon Tyne, UK, September 4-7 2012, proceedings : pbk.
紙図書
Maciej Koutny, Irek Ulidowski (eds.)Springerc2012
全国の図書館

Transactions on Petri nets and other models of concurrency 4. : 30th international conference on application and theory of Petri nets and other models of concurrency : 10th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : 2009, ------. (Lecture Notes in Computer Science ; 6550. Journal Subline)

Transactions on Petri nets and other models of concurrency 4. : 30th international conference on application and theory of Petri nets and other models of concurrency : 10th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : 2009, ------. (Lecture Notes in Computer Science ; 6550. Journal Subline)
紙図書
Springerc2010.<M17-11-1908>
国立国会図書館

Transactions on Petri nets and other models of concurrency 1 2 3 5 7

Transactions on Petri nets and other models of concurrency 1 2 3 5 7
紙図書
Kurt Jensen, Wil M.P. van der Aalst, Jonathan Billington (eds.)Springerc2008-
全国の図書館

Transactions on Petri nets and other models of concurrency 3. : LNCS transactions on Petri nets and other models of concurrency (ToPNoC) : 29th international conference on application and theory of Petri nets and other models concurrency : 8th and 9th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : ------. (Lecture Notes in Computer Science ; 5800. Journal Subline)

Transactions on Petri nets and other models of concurrency 3. : LNCS transactions on Petri nets and other models of concurrency (ToPNoC) : 29th international conference on application and theory of Petri nets and other models concurrency : 8th and 9th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : ------. (Lecture Notes in Computer Science ; 5800. Journal Subline)
紙図書
Springerc2009.<M17-10-1380>
国立国会図書館

Transactions on Petri nets and other models of concurrency 8 : 33rd international conference on application and theory of Petri nets and other models of concurrency : Petri net conference satellite workshops : annual international conference on application and theory of Petri nets and other models of concurrency : Petri Nets 2012 : Jun 2012, Hamburg, Germany. (Lecture Notes in Computer Science ; 8100. Journal Subline)

Transactions on Petri nets and other models of concurrency 8 : 33rd international conference on application and theory of Petri nets and other models of concurrency : Petri net conference satellite workshops : annual international conference on application and theory of Petri nets and other models of concurrency : Petri Nets 2012 : Jun 2012, Hamburg, Germany. (Lecture Notes in Computer Science ; 8100. Journal Subline)
紙図書
Springerc2013.<M17-14-608>
国立国会図書館

Petri net algebra

Petri net algebra
紙図書
Eike Best, Raymond Devillers, Maciej KoutnySpringerc2001
全国の図書館
  • 著者標目Best, Eike Devillers Raymond Koutny Maciej

Applications and theory of Petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings

Applications and theory of Petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings
紙図書
José-Manuel Colom, Maciej Koutny (eds.)Springerc2001
全国の図書館

2008 8th international conference on application of concurrency to system design : Xian, China : 23-27 June 2008. : 8 international conference on application of concurrency to system design : ACSD 2008 : Jun 2008, Xian, China.

2008 8th international conference on application of concurrency to system design : Xian, China : 23-27 June 2008. : 8 international conference on application of concurrency to system design : ACSD 2008 : Jun 2008, Xian, China.
紙図書
IEEEc2008.<M17-11-2480>
国立国会図書館

Applications and theory of Petri nets 2001 : 22nd international conference, ICATPN 2001 : Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings. : Jun 2001, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 2075)

Applications and theory of Petri nets 2001 : 22nd international conference, ICATPN 2001 : Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings. : Jun 2001, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 2075)
紙図書
Springer2001.<M17-03-4638>
国立国会図書館

検索結果は以上です。

RSS