選択資料から書架並びで前後20冊ずつを表示します。
TAPSOFT : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)
1989:v. 1
書庫2階
TAPSOFT : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)
1989:v. 2
書庫2階
TAPSOFT : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)
1991:v. 1
書庫2階
TAPSOFT : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)
1991:v. 2
書庫2階
TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.)
書庫2階
TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.)
書庫2階
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / Michel Bidoit, Max Dauchet (eds.)
書庫2階
KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen (eds.)
書庫2階
Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 / edited by W. Bibel and K.P. Jantke
書庫2階
SPLC / sponsored by Software Engineering Institute ... [et al.]
2008 (12th)
書庫2階
Managing Web projects : the management of large projects and programmes for Web-space delivery / J. Rodney Turner
書庫2階
The unified modeling language : UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers / Jean Bézivin, Pierre-Alain Muller (eds.)
書庫2階
UML '99 - the unified modeling language : beyond the standard : Second International Conference, Fort Collins, Co, USA, October 28-30, 1999 : proceedings / Robert France, Bernhard Rumpe (eds.)
書庫2階
《UML》 2000 - the unified modeling language : advancing the standard : third International Conference, York, UK, October 2-6, 2000 : proceedings / Andy Evans, Stuart Kent, Bran Selic (eds.)
書庫2階
《UML》 2001 - the unified modeling language : modeling languages, concepts, and tools : 4th International Conference, Toronto, Canada, October 1-5, 2001 : proceedings / Martin Gogolla, Cris Kobryn (ed.)
書庫2階
VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.]
書庫2階
VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings / R. Bloomfield, L. Marshall, R. Jones (eds.)
書庫2階
VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
書庫2階
VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings / S. Prehn, W.J. Toetenel (eds.)
v.1
書庫2階