Jump to main content

yr 〜
yr

Search results 10

Performance evaluation and benchmarking : 12th TPC technology conference, TPCTC 2020 : Tokyo, Japan, August 31, 2020 : revised selected papers : Aug 2020, Tokyo, Japan. (Lecture Notes in Computer Science ; 12752)

Performance evaluation and benchmarking : 12th TPC technology conference, TPCTC 2020 : Tokyo, Japan, August 31, 2020 : revised selected papers : Aug 2020, Tokyo, Japan. (Lecture Notes in Computer Science ; 12752)
Paper図書
Springer[2021]<M17-24-15>
National Diet Library
  • DDC004.24

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)
Paper図書
Springer[2015]<M17-16-504>
National Diet Library
  • DDC004.24

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)
Paper図書
Springerc2013.<M17-14-137>
National Diet Library
  • DDC004.24

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings : 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA. (Lecture Notes in Computer Science ; 7358)

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings : 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA. (Lecture Notes in Computer Science ; 7358)
Paper図書
Springerc2012.<M17-13-561>
National Diet Library
  • DDC004.24

Performance evaluation, measurement and characterization of complex systems : second TPC technology conference, TPCTC 2010 : Singapore, September 13-17, 2010 : revised selected papers : 2nd TPC technology conference on performance evaluation and benchmarking : Sep 2010, Singapore. (Lecture Notes in Computer Science ; 6417)

Performance evaluation, measurement and characterization of complex systems : second TPC technology conference, TPCTC 2010 : Singapore, September 13-17, 2010 : revised selected papers : 2nd TPC technology conference on performance evaluation and benchmarking : Sep 2010, Singapore. (Lecture Notes in Computer Science ; 6417)
Paper図書
Springerc2011.<M17-13-56>
National Diet Library
  • DDC004.24

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)
Paper図書
Springerc2011.<M17-11-2041>
National Diet Library
  • DDC004.24

Computer performance engineering : 8th European performance engineering workshop, EPEW 2011 : Borrowdale, UK, October 12-13, 2011 : proceedings : Oct 2011, Borrowdale, UK. (Lecture Notes in Computer Science ; 6977)

Computer performance engineering : 8th European performance engineering workshop, EPEW 2011 : Borrowdale, UK, October 12-13, 2011 : proceedings : Oct 2011, Borrowdale, UK. (Lecture Notes in Computer Science ; 6977)
Paper図書
Springerc2011.<M17-12-1322>
National Diet Library
  • DDC004.24

Hardware and software: verification and testing : third international Haifa verification conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings. : HVC2007 : Oct 2007, Haifa, Israel. (Lecture Notes in Computer Science ; 4899)

Hardware and software: verification and testing : third international Haifa verification conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings. : HVC2007 : Oct 2007, Haifa, Israel. (Lecture Notes in Computer Science ; 4899)
Paper図書
Springerc2008.<M17-08-939>
National Diet Library
  • DDC004.24

Hardware and software, verification and testing : second international Haifa verification conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers. : Oct 2006, Haifa, Israel. (Lecture Notes in Computer Science ; 4383)

Hardware and software, verification and testing : second international Haifa verification conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers. : Oct 2006, Haifa, Israel. (Lecture Notes in Computer Science ; 4383)
Paper図書
Springerc2007.<M17-07-1191>
National Diet Library
  • DDC004.24

Computer aided verification : 18th international conference, CAV 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4144)

Computer aided verification : 18th international conference, CAV 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4144)
Paper図書
Springerc2006.<M17-07-171>
National Diet Library
  • DDC004.24

Reached to the end of result.

RSS