Jump to main content

yr 〜
yr

Search results 17

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : international autumn school, ROCKS 2012 : Vahrn, Italy, October 22-26, 2012 : advanced lectures : Oct 2012, Vahrn, Italy. (Lecture Notes in Computer Science ; 8453. Tutorial)

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : international autumn school, ROCKS 2012 : Vahrn, Italy, October 22-26, 2012 : advanced lectures : Oct 2012, Vahrn, Italy. (Lecture Notes in Computer Science ; 8453. Tutorial)
Paper図書
Springer[2014]<M17-15-719>
National Diet Library
  • Subject HeadingStochastic models--Congresses.

Analytical and stochastic modelling techniques and applications : 20th international conference, ASMTA 2013 : Ghent, Belgium, July 8-10, 2013 : proceedings : Jul 2013, Ghent, Belgium. (Lecture Notes in Computer Science ; 7984)

Analytical and stochastic modelling techniques and applications : 20th international conference, ASMTA 2013 : Ghent, Belgium, July 8-10, 2013 : proceedings : Jul 2013, Ghent, Belgium. (Lecture Notes in Computer Science ; 7984)
Paper図書
Springerc2013.<M17-14-567>
National Diet Library
  • Subject HeadingStochastic processes--Congresses. Stochastic models--Congresses.

Analytical and stochastic modelling techniques and applications : 21st international conference, ASMTA 2014 : Budapest, Hungary, June 30-July 2, 2014 : proceedings : Jun 2014, Budapest, Hungary. (Lecture Notes in Computer Science ; 8499)

Analytical and stochastic modelling techniques and applications : 21st international conference, ASMTA 2014 : Budapest, Hungary, June 30-July 2, 2014 : proceedings : Jun 2014, Budapest, Hungary. (Lecture Notes in Computer Science ; 8499)
Paper図書
Springer[2014]<M17-15-1289>
National Diet Library
  • Subject Heading...s--Congresses. Stochastic models--Congresses. Stochastic models. Stochastic...

Analytical and stochastic modeling techniques and applications : 15th international conference, ASMTA 2008 : Nicosia, Cyprus, June 4-6, 2008 : proceedings. : 15th international conference on analytical and stochastic modelling techniques and applications : Jun 2008, Nicosia, Cyprus. (Lecture Notes in Computer Science ; 5055)

Analytical and stochastic modeling techniques and applications : 15th international conference, ASMTA 2008 : Nicosia, Cyprus, June 4-6, 2008 : proceedings. : 15th international conference on analytical and stochastic modelling techniques and applications : Jun 2008, Nicosia, Cyprus. (Lecture Notes in Computer Science ; 5055)
Paper図書
Springerc2008.<M17-08-1796>
National Diet Library

Analytical and stochastic modeling techniques and applications : 17th international conference, ASMTA 2010 : Cardiff, UK, June 14-16, 2010 : proceedings. : 17th international conference on analytical and stochastic modelling and applications : Jun 2010, Cardiff, UK. (Lecture Notes in Computer Science ; 6148)

Analytical and stochastic modeling techniques and applications : 17th international conference, ASMTA 2010 : Cardiff, UK, June 14-16, 2010 : proceedings. : 17th international conference on analytical and stochastic modelling and applications : Jun 2010, Cardiff, UK. (Lecture Notes in Computer Science ; 6148)
Paper図書
Springerc2010.<M17-10-3357>
National Diet Library

Computer performance engineering : 7th European performance engineering workshop, EPEW 2010 : Bertinoro, Italy, September 23-24, 2010 : proceedings. : Sep 2010, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6342)

Computer performance engineering : 7th European performance engineering workshop, EPEW 2010 : Bertinoro, Italy, September 23-24, 2010 : proceedings. : Sep 2010, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6342)
Paper図書
Springerc2010.<M17-11-253>
National Diet Library

Recent advances in stochastic operations research II / editors, Tadashi Dohi, Shunji Osaki, Katsushige Sawaki.

Recent advances in stochastic operations research II / editors, Tadashi Dohi, Shunji Osaki, Katsushige Sawaki.
Paper図書
World Scientificc2009.<MA211-B85>
National Diet Library

Recent advances in stochastic operations research / editors, Tadashi Dohi, Shunji Osaki, Katsushige Sawaki.

Recent advances in stochastic operations research / editors, Tadashi Dohi, Shunji Osaki, Katsushige Sawaki.
Paper図書
World Scientificc2007.<MA211-B58>
National Diet Library

Computer performance engineering : 5th European performance engineering workshop, EPEW 2008 : Palma de Mallorca, Spain, September 24-25, 2008 : proceedings. : Sep 2008, Palma de Mallorca, Spain. (Lecture Notes in Computer Science ; 5261)

Computer performance engineering : 5th European performance engineering workshop, EPEW 2008 : Palma de Mallorca, Spain, September 24-25, 2008 : proceedings. : Sep 2008, Palma de Mallorca, Spain. (Lecture Notes in Computer Science ; 5261)
Paper図書
Springerc2008.<M17-08-2332>
National Diet Library

Formal methods and stochastic models for performance evaluation : fourth European performance engineering workshop, EPEW 2007 : Berlin, Germany, September 2007 : proceedings. : Sep 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4748)

Formal methods and stochastic models for performance evaluation : fourth European performance engineering workshop, EPEW 2007 : Berlin, Germany, September 2007 : proceedings. : Sep 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4748)
Paper図書
Springerc2007.<M17-07-2827>
National Diet Library

Computer performance engineering : 6th European performance engineering workshop, EPEW 2009 : London, UK, July 9-10, 2009 : proceedings. : Jul 2009, London, UK. (Lecture Notes in Computer Science ; 5652)

Computer performance engineering : 6th European performance engineering workshop, EPEW 2009 : London, UK, July 9-10, 2009 : proceedings. : Jul 2009, London, UK. (Lecture Notes in Computer Science ; 5652)
Paper図書
Springerc2009.<M17-10-1536>
National Diet Library

Formal methods and stochastic models for performance evaluation : third European performance engineering workshop, EPEW 2006 : Budapest, Hungary, June 21-22, 2006 : proceedings. : Jun 2006, Budapest, Hungary. (Lecture Notes in Computer Science ; 4054)

Formal methods and stochastic models for performance evaluation : third European performance engineering workshop, EPEW 2006 : Budapest, Hungary, June 21-22, 2006 : proceedings. : Jun 2006, Budapest, Hungary. (Lecture Notes in Computer Science ; 4054)
Paper図書
Springerc2006.<M17-06-2623>
National Diet Library

Analytical and stochastic modeling techniques and applications : 16th international conference, ASMTA 2009 : Madrid, Spain, June 9-12, 2009 : proceedings. : 16th international conference on analytical and stochastic modelling techniques and applications : Jun 2009, Madrid, Spain. (Lecture Notes in Computer Science ; 5513)

Analytical and stochastic modeling techniques and applications : 16th international conference, ASMTA 2009 : Madrid, Spain, June 9-12, 2009 : proceedings. : 16th international conference on analytical and stochastic modelling techniques and applications : Jun 2009, Madrid, Spain. (Lecture Notes in Computer Science ; 5513)
Paper図書
Springerc2009.<M17-10-1827>
National Diet Library

Analiz i stokhasticheskoe modelirovanie ekstremalnogo stoka na rekakh Evrazii v usloviiakh izmeneniia klimata : materialy mezhdunarodnogo nauchnogo seminara : (Irkutsk, 16-23 iiunia 2003 g.) = Analysis and stochastic modeling of extreme runoff in Euroasian rivers under conditions of climate change : proceeding [i.e. proceedings] international scientific seminar : (Irkutsk, 16-23 June 2003 y.). : international scientific workshop "studying and modeling of rain flood on rivers in Eurasia under climate change" : mezhdunarodnyi nauchnyi seminar "izuchenie i modelirovanie dozhdevykh navodnenii na rekakh Evrazii v usloviiakh izmenenii klimata" : international scientific workshop "studying and modeling of rain flooding on the rivers of Eurasia under climate changes" : Jun 2003, Irkutsk, Russia.

Analiz i stokhasticheskoe modelirovanie ekstremalnogo stoka na rekakh Evrazii v usloviiakh izmeneniia klimata : materialy mezhdunarodnogo nauchnogo seminara : (Irkutsk, 16-23 iiunia 2003 g.) = Analysis and stochastic modeling of extreme runoff in Euroasian rivers under conditions of climate change : proceeding [i.e. proceedings] international scientific seminar : (Irkutsk, 16-23 June 2003 y.). : international scientific workshop "studying and modeling of rain flood on rivers in Eurasia under climate change" : mezhdunarodnyi nauchnyi seminar "izuchenie i modelirovanie dozhdevykh navodnenii na rekakh Evrazii v usloviiakh izmenenii klimata" : international scientific workshop "studying and modeling of rain flooding on the rivers of Eurasia under climate changes" : Jun 2003, Irkutsk, Russia.
Paper図書
Izd-vo In-ta geografii SO RAN2004.<M17-08-39>
National Diet Library

Analytical and stochastic modelling techniques and applications : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings : pbk.

Analytical and stochastic modelling techniques and applications : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings : pbk.
Paper図書
Khalid Al-Begain, Dieter Fiems, Jean-Marc Vincent (eds.)Springerc2012
Other Libraries in Japan

Recent advances in stochastic operations research [1] 2

Recent advances in stochastic operations research [1] 2
Paper図書
editors Tadashi Dohi, Shunji Osaki, Katsuhige SawakiWorld Scientificc2007-
Other Libraries in Japan

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings
Paper図書
Katinka Wolter (ed.)Springerc2007
Other Libraries in Japan

Reached to the end of result.

RSS