本文に飛ぶ

年 〜
年

検索結果 56 件

2016 IEEE/ACM 7th international workshop on emerging trends in software metrics (WETSoM 2016) : Austin, Texas, USA : 15 May 2016.

2016 IEEE/ACM 7th international workshop on emerging trends in software metrics (WETSoM 2016) : Austin, Texas, USA : 15 May 2016.
紙図書
IEEE[2016]<M17-18-498>
国立国会図書館
  • 件名...ality control. Computer software--Validation. Software measurement.

2016 IEEE international conference on software testing, verification and validation (ICST 2016) : Chicago, Illinois, USA : 11-15 April 2016.

2016 IEEE international conference on software testing, verification and validation (ICST 2016) : Chicago, Illinois, USA : 11-15 April 2016.
紙図書
IEEE[2016]<M17-18-1531>
国立国会図書館
  • 件名...ware--Testing. Computer software--Validation. Computer software--Verificati...

2016 IEEE ninth international conference on software testing, verification and validation workshops (ICSTW 2016) : Chicago, Illinois, USA : 11-15 April 2016.

2016 IEEE ninth international conference on software testing, verification and validation workshops (ICSTW 2016) : Chicago, Illinois, USA : 11-15 April 2016.
紙図書
IEEE[2016]<M17-18-1530>
国立国会図書館
  • 件名...ware--Testing. Computer software--Validation. Computer software--Verificati...

2015 IEEE 8th international conference on software testing, verification and validation : (ICST 2015) : Graz, Austria : 13-17 April 2015.

2015 IEEE 8th international conference on software testing, verification and validation : (ICST 2015) : Graz, Austria : 13-17 April 2015.
紙図書
IEEE[2015]<M17-17-1596>
国立国会図書館
  • 件名...ware--Testing. Computer software--Validation. Computer software--Verificati...

2015 IEEE eighth international conference on software testing, verification and validation workshops : (ICSTW 2015) : Graz, Austria : 13-17 April 2015.

2015 IEEE eighth international conference on software testing, verification and validation workshops : (ICSTW 2015) : Graz, Austria : 13-17 April 2015.
紙図書
IEEE[2015]<M17-17-1595>
国立国会図書館
  • 件名...ware--Testing. Computer software--Validation. Computer software--Verificati...

2015 IEEE/ACM 6th international workshop on emerging trends in software metrics : (WETSoM 2015) : Florence, Italy : 17 May 2015.

2015 IEEE/ACM 6th international workshop on emerging trends in software metrics : (WETSoM 2015) : Florence, Italy : 17 May 2015.
紙図書
IEEE[2015]<M17-17-788>
国立国会図書館
  • 件名...ality control. Computer software--Validation. Software measurement.

2014 IEEE seventh international conference on software testing, verification and validation : (ICST 2014) : Cleveland, Ohio, USA : 31 March-4 April 2014.

2014 IEEE seventh international conference on software testing, verification and validation : (ICST 2014) : Cleveland, Ohio, USA : 31 March-4 April 2014.
紙図書
IEEE[2014]<M17-15-2196>
国立国会図書館
  • 件名...ware--Testing. Computer software--Validation. Computer software--Verificati...

2013 4th international workshop on emerging trends in software metrics : (WETSoM 2013) : San Francisco, California, USA : 21 May 2013.

2013 4th international workshop on emerging trends in software metrics : (WETSoM 2013) : San Francisco, California, USA : 21 May 2013.
紙図書
IEEEc2013.<M17-14-1201>
国立国会図書館

2013 IEEE sixth international conference on software testing, verification and validation : (ICST 2013) : Luxembourg : 18-22 March 2013.

2013 IEEE sixth international conference on software testing, verification and validation : (ICST 2013) : Luxembourg : 18-22 March 2013.
紙図書
IEEEc2013.<M17-14-999>
国立国会図書館

1st international workshop on software test output validation 2010 : (STOV 2010) : held in conjunction with ISSTA 2010 : Trento, Italy : 13 July 2010.

1st international workshop on software test output validation 2010 : (STOV 2010) : held in conjunction with ISSTA 2010 : Trento, Italy : 13 July 2010.
紙図書
ACMc2010.<M17-11-3159>
国立国会図書館

2013 IEEE sixth international conference on software testing, verification and validation workshops : (ICSTW 2013) : Luxembourg : 18-22 March 2013. E4993

2013 IEEE sixth international conference on software testing, verification and validation workshops : (ICSTW 2013) : Luxembourg : 18-22 March 2013. E4993
紙図書
IEEEc2013.<M17-14-1406>
国立国会図書館

Leveraging applications of formal methods, verification and validation : 5th international symposium, ISoLA 2012 : Heraklion, Crete, Greece, October 15-18, 2012 : proceedings. (Lecture Notes in Computer Science ; 7609-7610)

Leveraging applications of formal methods, verification and validation : 5th international symposium, ISoLA 2012 : Heraklion, Crete, Greece, October 15-18, 2012 : proceedings. (Lecture Notes in Computer Science ; 7609-7610)
紙図書
Springerc2012.<M17-13-1088>
国立国会図書館

Trustworthy global computing : 9th international symposium, TGC 2014 : Rome, Italy, September 5-6, 2014 : revised selected papers. (Lecture Notes in Computer Science ; 8902)

Trustworthy global computing : 9th international symposium, TGC 2014 : Rome, Italy, September 5-6, 2014 : revised selected papers. (Lecture Notes in Computer Science ; 8902)
紙図書
Springer[2014]<M17-15-1703>
国立国会図書館

Trustworthy global computing : 7th international symposium, TGC 2012 : Newcastle upon Tyne, UK, September 7-8, 2012 : revised selected papers. (Lecture Notes in Computer Science ; 8191)

Trustworthy global computing : 7th international symposium, TGC 2012 : Newcastle upon Tyne, UK, September 7-8, 2012 : revised selected papers. (Lecture Notes in Computer Science ; 8191)
紙図書
Springerc2013.<M17-14-726>
国立国会図書館

2011 IEEE fourth international conference on software testing, verification and validation workshops : (ICSTW 2011) : Berlin, Germany : 21-25 March 2011.

2011 IEEE fourth international conference on software testing, verification and validation workshops : (ICSTW 2011) : Berlin, Germany : 21-25 March 2011.
紙図書
IEEEc2011.<M17-12-2163>
国立国会図書館

2011 fourth IEEE international conference on software testing, verification and validation : (ICST 2011) : Berlin, Germany : 21-25 March 2011.

2011 fourth IEEE international conference on software testing, verification and validation : (ICST 2011) : Berlin, Germany : 21-25 March 2011.
紙図書
IEEEc2011.<M17-12-2164>
国立国会図書館

ICSE workshop on emerging trends in software metrics 2010 : (WETSoM 2010) : held in conjunction with ICSE 2010 : Cape Town, South Africa : 4 May 2010.

ICSE workshop on emerging trends in software metrics 2010 : (WETSoM 2010) : held in conjunction with ICSE 2010 : Cape Town, South Africa : 4 May 2010.
紙図書
Association for Computing Machineryc2010.<M17-11-2388>
国立国会図書館

2010 third international conference on software testing, verification, and validation workshops : (ICSTW 2010) : Paris, France : 6-10 April 2010.

2010 third international conference on software testing, verification, and validation workshops : (ICSTW 2010) : Paris, France : 6-10 April 2010.
紙図書
IEEEc2010.<M17-12-653>
国立国会図書館

Trustworthy global computing : 6th international symposium, TGC 2011 : Aachen, Germany, June 9-10, 2011 : revised selected papers. (Lecture Notes in Computer Science ; 7173)

Trustworthy global computing : 6th international symposium, TGC 2011 : Aachen, Germany, June 9-10, 2011 : revised selected papers. (Lecture Notes in Computer Science ; 7173)
紙図書
Springerc2012.<M17-12-4078>
国立国会図書館

2010 third international conference on software testing, verification and validation : (ICST 2010) : Paris, France : 6-10 April 2010.

2010 third international conference on software testing, verification and validation : (ICST 2010) : Paris, France : 6-10 April 2010.
紙図書
IEEEc2010.<M17-12-651>
国立国会図書館
RSS