yr 〜
yr

Search results 31

2015 IEEE/ACM 12th working conference on mining software repositories : (MSR 2015) : Florence, Italy : 16-17 May 2015 : 12th international working conference on mining software repositories : May 2015, Florence, Italy.

2015 IEEE/ACM 12th working conference on mining software repositories : (MSR 2015) : Florence, Italy : 16-17 May 2015 : 12th international working conference on mining software repositories : May 2015, Florence, Italy.
Paper図書
IEEE[2015]<M17-17-1398>
National Diet Library
  • LCCQA76.76.E93

2013 10th IEEE working conference on mining software repositories : (MSR 2013) : San Francisco, California, USA : 18-19 May 2013 : 10th international working conference on mining software repositories : May 2013, San Francisco, CA. CFP1378C-ART

2013 10th IEEE working conference on mining software repositories : (MSR 2013) : San Francisco, California, USA : 18-19 May 2013 : 10th international working conference on mining software repositories : May 2013, San Francisco, CA. CFP1378C-ART
Paper図書
IEEEc2013.<M17-14-1722>
National Diet Library
  • LCCQA76.76.E93

2012 9th IEEE working conference on mining software repositories : (MSR 2012) : Zurich, Switzerland : 2-3 June 2012 : 9th international working conference on mining software repositories : Jun 2012, Zurich, Switzerland.

2012 9th IEEE working conference on mining software repositories : (MSR 2012) : Zurich, Switzerland : 2-3 June 2012 : 9th international working conference on mining software repositories : Jun 2012, Zurich, Switzerland.
Paper図書
IEEEc2012.<M17-13-120>
National Diet Library
  • LCCQA76.76.E93

Computer aided verification : 20th international conference, CAV 2008 : Princeton, NJ, USA, July 7-14, 2008 : proceedings. : 20th anniversary of CAV : Jul 2008, Princeton, NJ. (Lecture Notes in Computer Science ; 5123)

Computer aided verification : 20th international conference, CAV 2008 : Princeton, NJ, USA, July 7-14, 2008 : proceedings. : 20th anniversary of CAV : Jul 2008, Princeton, NJ. (Lecture Notes in Computer Science ; 5123)
Paper図書
Springerc2008.<M17-09-431>
National Diet Library
  • LCCQA76.76.E93

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Paper図書
Aarti Gupta, Sharad Malik (eds.)Springerc2008
Other Libraries in Japan
  • LCCQA76.76.E93

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 : proceedings

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 : proceedings
Paper図書
Ahmed Bouajjani, Oded Maler (eds.)Springerc2009
Other Libraries in Japan
  • LCCQA76.76.E93

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G. v. Bochmann, D.K. Probst (eds.). (Lecture notes in computer science)

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G. v. Bochmann, D.K. Probst (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8720>
National Diet Library
  • LCCQA76.76.E93

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.). (Lecture notes in computer science)

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8145>
National Diet Library
  • LCCQA76.76.E93

Software assessments, benchmarks, and best practices

Software assessments, benchmarks, and best practices
Paper図書
Capers JonesAddison Wesleyc2000
Other Libraries in Japan
  • LCCQA76.76.E93

Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings

Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings
Paper図書
Nicolas Halbwachs, Doron Peled (eds.)Springer-Verlagc1999
Other Libraries in Japan
  • LCCQA76.76.V47 QA76.76.E93

Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings

Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
Paper図書
Alan J. Hu, Moshe Y. Vardi (eds.)Springer-Verlagc1998
Other Libraries in Japan
  • LCCQA76.76.V47 QA76.76.E93

Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings

Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings
Paper図書
Orna Grumberg (ed.)Springer-Verlagc1997
Other Libraries in Japan
  • LCCQA76.76.V47 QA76.76.E93

Partial evaluation : International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers : gw

Partial evaluation : International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers : gw
Paper図書
Olivier Danvy, Robert Glück, Peter Thiemann (eds.)Springerc1996
Other Libraries in Japan
  • LCCQA76.76.E93

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings : us : gw

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings : us : gw
Paper図書
Pierre Wolper (ed.)Springer-Verlagc1995
Other Libraries in Japan
  • LCCQA76.76.V47 QA76.76.E93

Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Paper図書
Rajeev Alur, Thomas A. Henzinger, (eds.)Springer-Verlagc1996
Other Libraries in Japan
  • LCCQA76.76.V47 QA76.76.E93

Software change impact analysis

Software change impact analysis
Paper図書
Shawn Bohner, Robert S. ArnoldIEEE Computer Society Pressc1996
Other Libraries in Japan
  • LCCQA76.76.E93

Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings : us : gw

Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings : us : gw
Paper図書
David L. Dill (ed.)Springer-Verlagc1994
Other Libraries in Japan
  • LCCQA76.76.V47 QA76.76.E93

Computer-aided verification

Computer-aided verification
Paper図書
edited by Robert KurshanKluwer Academicc1993
Other Libraries in Japan
  • LCCQA76.76.E93

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings : gw : us

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings : gw : us
Paper図書
K.G. Larsen, A. Skou (eds.)Springer-Verlagc1992
Other Libraries in Japan
  • LCCQA76.76.E93 QA76.76.V47

Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings : gw : us

Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings : gw : us
Paper図書
Costas Courcoubetis (ed.)Springer-Verlagc1993
Other Libraries in Japan
  • LCCQA76.76.E93 QA76.76.V47