本文に飛ぶ

年 〜
年

検索結果 8 件

Application and theory of Petri nets and concurrency : 35th international conference, PETRI NETS 2014 : Tunis, Tunisia, June 23-27, 2014 : proceedings : Jun 2014, Tunis, Tunisia. (Lecture Notes in Computer Science ; 8489)

Application and theory of Petri nets and concurrency : 35th international conference, PETRI NETS 2014 : Tunis, Tunisia, June 23-27, 2014 : proceedings : Jun 2014, Tunis, Tunisia. (Lecture Notes in Computer Science ; 8489)
紙図書
Springer[2014]<M17-15-594>
国立国会図書館
  • 著者標目...unis, Tunisia) Ciardo, Gianfranco. Kindler, Ekkart. Tunis El Man...

12th Pacific Rim international symposium on dependable computing : PRDC 12 2006 : proceedings : 18-20 December 2006 Riverside, California. : Dec 2006, Riverside, CA.

12th Pacific Rim international symposium on dependable computing : PRDC 12 2006 : proceedings : 18-20 December 2006 Riverside, California. : Dec 2006, Riverside, CA.
紙図書
IEEE Computer Societyc2006.<M17-07-657>
国立国会図書館
  • 著者標目Jeske, Daniel. Ciardo, Gianfranco. Dai, Yuan-Shun. Pacific Rim I...

Automated parallelization of discrete state-space generation [microform] / David M. Nicol, Gianfranco Ciardo (ICASE report ; no. 2000-11) ([NASA contractor report] ; NASA/CR-2000-210082)

Automated parallelization of discrete state-space generation [microform] / David M. Nicol, Gianfranco Ciardo (ICASE report ; no. 2000-11) ([NASA contractor report] ; NASA/CR-2000-210082)
マイクロ図書
2000<YCA-NAS 1.26:210082>
国立国会図書館

Efficient symbolic state-space construction for asynchronous systems [microform] / Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu (ICASE report ; no. 99-50) ([NASA contractor report] ; NASA/CR-1999-209827)

Efficient symbolic state-space construction for asynchronous systems [microform] / Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu (ICASE report ; no. 99-50) ([NASA contractor report] ; NASA/CR-1999-209827)
マイクロ図書
1999<YCA-NAS 1.26:209827>
国立国会図書館

Parametric state space structuring [microform] / Gianfranco Ciardo, Marco Tilgner (ICASE report ; no. 97-67) ([NASA contractor report] ; NASA/CR-97-206267)

Parametric state space structuring [microform] / Gianfranco Ciardo, Marco Tilgner (ICASE report ; no. 97-67) ([NASA contractor report] ; NASA/CR-97-206267)
マイクロ図書
1997<YCA-NAS 1.26:206267>
国立国会図書館

Discrete deterministic and stochastic Petri nets [microform] / Robert Zijal, Gianfranco Ciardo (ICASE report ; no. 96-72) (NASA contractor report ; 201629)

Discrete deterministic and stochastic Petri nets [microform] / Robert Zijal, Gianfranco Ciardo (ICASE report ; no. 96-72) (NASA contractor report ; 201629)
マイクロ図書
1996<YCA-NAS 1.26:201629>
国立国会図書館

Discrete-event simulation of fluid stochastic Petri nets [microform] / Gianfranco Ciardo, David Nicol [and] Kishor S. Trivedi ([NASA contractor report] ; NASA CR-201688)

Discrete-event simulation of fluid stochastic Petri nets [microform] / Gianfranco Ciardo, David Nicol [and] Kishor S. Trivedi ([NASA contractor report] ; NASA CR-201688)
マイクロ図書
1997<YCA-NAS 1.26:201688>
国立国会図書館

Applications and theory of Petri Nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings

Applications and theory of Petri Nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings
紙図書
Gianfranco Ciardo, Phillippe Darondeau (eds.)Springerc2005
全国の図書館

検索結果は以上です。

RSS