選択資料から書架並びで前後20冊ずつを表示します。
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階
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.2
書庫2階
Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.)
書庫2階
Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / José Luiz Fiadeiro (ed.)
書庫2階
Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.)
書庫2階
Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers / Maura Cerioli, Gianna Reggio (eds.)
書庫2階
Advances in exception handling techniques / Alexander Romanovsky ... [et al.] (eds.)
書庫2階
AntiPatterns in project management / William J. Brown, Hays W. "Skip" McCormick III, Scott W. Thomas
: cloth
書庫2階
Coordination technology for collaborative applications : organizations, processes, and agents / Wolfram Conen, Gustaf Neumann (eds.)
書庫2階
The international computer software industry : a comparative study of industry evolution and structure / edited by David C. Mowery
書庫2階
FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings / J.C.P. Woodcock, P.G. Larsen (eds.)
書庫2階
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
書庫2階