Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springerc2012.<M17-13-1074>
National Diet Library
  • Author HeadingMonterey 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)
Paper図書
Springerc2011.<M17-11-3209>
National Diet Library
  • Author HeadingCalinescu, Radu. Jackson, Ethan. Monterey Work...

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
Paper図書
Radu Calinescu, Corina S. Păsăreanu (eds.)Springerc2021
Other Libraries in Japan

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)
Paper図書
Springer[2015]<M17-16-604>
National Diet Library

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.
Paper図書
IEEEc2009.<M17-10-2097>
National Diet Library

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.
Paper図書
IEEEc2010.<M17-11-1529>
National Diet Library

Reached to the end of result.

RSS