選択資料から書架並びで前後20冊ずつを表示します。
FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, (eds.)
書庫2階
FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.)
書庫2階
FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.)
書庫2階
Development and evolution of software architectures for product families : Second international ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998 : proceedings / Frank van der Linden (ed.)
: gw
書庫2階
Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 : proceedings / Frank van der Linden (ed.)
書庫2階
Model-driven architecture in practice : a software production environment based on conceptual modeling / Oscar Pastor, Juan Carlos Molina
書庫2階
Software product-family engineering : 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers / Frank van der Linden (ed.)
書庫2階
Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, eds.
書庫2階
Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings / A. Endres, H. Weber, eds
書庫2階
Models and tools for managing development processes / Bernhard Westfechtel
書庫2階
Patterns for performance and operability : building and testing enterprise software / Chris Ford ... [et al.]
書庫2階
Software process : principles, methodology, and technology / Jean-Claude Derniame, Badara Ali Kaba, David Wastell (eds.)
書庫2階
Partial Evaluation : International Seminar : Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers / Olivier Danvy ... [et al.]
書庫2階
Algorithmic learning for knowledge-based systems : GOSLER final report / Klaus P. Jantke, Steffen Lange (eds.)
書庫2階
Smart environments : technologies, protocols, and applications / Diane J. Cook and Sajal K. Das
: cloth
書庫2階
Current developments in knowledge acquisition, EKAW '92 : 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992 : proceedings / Th. Wetter ... [et al.], eds
書庫2階
Knowledge acquisition for knowledge-based systems : 7th European workshop,EKAW '93, Toulouse and Caylus, France, September 6-10, 1993 : proceedings / N. Aussenac ... [et al.]
書庫2階
A future for knowledge acquisition : 8th European Knowledge Acquisition Workshop, EKAW '94, Hoegaarden, Belgium, September 26-29, 1994 : proceedings / Luc Steels, Guus Schreiber, Walter Van de Velde, eds
書庫2階
Advances in knowledge acquisition : 9th European Knowledge Acquisition Workshop, EKAW '96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings / Nigel Shadbolt, Kieron O'Hara, Guus Schreiber (eds.)
書庫2階