Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springer[2014]<M17-15-594>
National Diet Library
  • Author Heading...unis, Tunisia) Ciardo, Gianfranco. Kindler, Ekkart. Tunis El Ma...

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.
Paper図書
IEEE Computer Societyc2006.<M17-07-657>
National Diet Library
  • Author HeadingJeske, Daniel. Ciardo, Gianfranco. Dai, Yuan-Shun. Pacific Rim ...

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)
Microform図書
2000<YCA-NAS 1.26:210082>
National Diet Library
  • Author HeadingNicol, David M Ciardo, Gianfranco Institute for Computer Applic...

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)
Microform図書
1999<YCA-NAS 1.26:209827>
National Diet Library
  • Author HeadingCiardo, Gianfranco Lüttgen, Gerald Siminiceanu, ...

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)
Microform図書
1997<YCA-NAS 1.26:206267>
National Diet Library
  • Author HeadingCiardo, Gianfranco Tilgner, Marco, 1967- Institu...

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)
Microform図書
1997<YCA-NAS 1.26:201688>
National Diet Library
  • Author HeadingCiardo, Gianfranco Nicol, David Trivedi, Kishor ...

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)
Microform図書
1996<YCA-NAS 1.26:201629>
National Diet Library
  • Author HeadingZijal, Robert Ciardo, Gianfranco Institute for Computer Applic...

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
Paper図書
Gianfranco Ciardo, Phillippe Darondeau (eds.)Springerc2005
Other Libraries in Japan
  • Author Heading... of Petri Nets Ciardo, Gianfranco Darondeau, Phillippe

Reached to the end of result.

RSS