年 〜
年

検索結果 6 件

Large-scale complex IT systems : development, operation and management : 17th Monterey workshop 2012 : Oxford, UK, March 19-21, 2012 : revised selected papers : Mar 2012, Oxford, UK. (Lecture Notes in Computer Science ; 7539)

Large-scale complex IT systems : development, operation and management : 17th Monterey workshop 2012 : Oxford, UK, March 19-21, 2012 : revised selected papers : Mar 2012, Oxford, UK. (Lecture Notes in Computer Science ; 7539)
紙図書
Springerc2012.<M17-13-1074>
国立国会図書館
  • 著者標目Monterey Workshop (17th : 2012 : Oxford, UK) Calinescu, Radu. Garlan, David.

Foundations of computer software : modeling, development, and verification of adaptive systems : 16th Monterey workshop 2010 : Redmond, WA, USA, March 31-April 2, 2010 : revised selected papers. : Mar 2010, Redmond, WA. (Lecture Notes in Computer Science ; 6662)

Foundations of computer software : modeling, development, and verification of adaptive systems : 16th Monterey workshop 2010 : Redmond, WA, USA, March 31-April 2, 2010 : revised selected papers. : Mar 2010, Redmond, WA. (Lecture Notes in Computer Science ; 6662)
紙図書
Springerc2011.<M17-11-3209>
国立国会図書館
  • 著者標目Calinescu, Radu. Jackson, Ethan. Monterey Wor...

Software engineering and formal methods : 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021, proceedings

Software engineering and formal methods : 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021, proceedings
紙図書
Radu Calinescu, Corina S. Păsăreanu (eds.)Springerc2021
全国の図書館
  • 著者標目...Formal Methods Calinescu, Radu Păsăreanu, Corina S.

Software engineering and formal methods : 13th international conference, SEFM 2015 : York, UK, September 7-11, 2015 : proceedings : Sep 2015, York, UK. (Lecture Notes in Computer Science ; 9276)

Software engineering and formal methods : 13th international conference, SEFM 2015 : York, UK, September 7-11, 2015 : proceedings : Sep 2015, York, UK. (Lecture Notes in Computer Science ; 9276)
紙図書
Springer[2015]<M17-16-604>
国立国会図書館
  • 著者標目...York, England) Calinescu, Radu C., 1968-

2009 fifth international conference on autonomic and autonomous systems : (ICAS) : Valencia, Spain : 20-25 April 2009. : Apr 2009, Valencia, Spain.

2009 fifth international conference on autonomic and autonomous systems : (ICAS) : Valencia, Spain : 20-25 April 2009. : Apr 2009, Valencia, Spain.
紙図書
IEEEc2009.<M17-10-2097>
国立国会図書館
  • 著者標目Calinescu, Radu C., 1968- International Confe...

2010 15th IEEE international conference on engineering of complex computer systems : (ICECCS 2010) : Oxford, United Kingdom : 22-26 March 2010. : 5th international UML and AADL workshop : UML&AADL : main ICECCS 2010 conference : Mar 2010, Oxford, UK.

2010 15th IEEE international conference on engineering of complex computer systems : (ICECCS 2010) : Oxford, United Kingdom : 22-26 March 2010. : 5th international UML and AADL workshop : UML&AADL : main ICECCS 2010 conference : Mar 2010, Oxford, UK.
紙図書
IEEEc2010.<M17-11-1529>
国立国会図書館
  • 著者標目Calinescu, Radu C., 1968- Paige, Richard F. K...

検索結果は以上です。