選択資料から書架並びで前後20冊ずつを表示します。
Software reuse: methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings / Cristina Gacek (ed.)
書庫2階
Effective software maintenance and evolution : a reuse-based approach / Stanislaw Jarzabek
書庫2階
Decoding liberation : the promise of free and open source software / Samir Chopra and Scott D. Dexter
書庫2階
Perspectives on free and open source software / edited by Joseph Feller ... [et al.]
書庫2階
Software measurement : establish, extract, evaluate, execute / Christof Ebert, Reiner Dumke
: hardcover
書庫2階
New approaches in software measurement : 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000 : proceedings / Reiner Dumke, Alain Abran (eds.)
書庫2階
Self-adaptive software : first International Workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000 : revised papers / Paul Robertson, Howie Shrobe, Robert Laddaga (eds.)
書庫2階
Testing object-oriented software : life-cycle solutions / Imran Bashir, Amrit L. Goel
書庫2階
Computer aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan, (eds.)
書庫2階
Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.)
書庫2階
Computer aided verification : fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G.v. Bochmann, D.K. Probst (eds.)
書庫2階
Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings / Costas Courcoubetis (ed.)
書庫2階
Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill (ed.)
書庫2階
Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper (ed.)
書庫2階
Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, (eds.)
書庫2階
Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.)
書庫2階
Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (ed.)
書庫2階
Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled (eds.)
書庫2階