選択資料から書架並びで前後20冊ずつを表示します。
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階
Knowledge acquisition, modeling and management : 10th European Workshop, EKAW '97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997 : proceedings / Enric Plaza, Richard Benjamins (eds.)
書庫2階
Knowledge acquisition, modeling and management : 11th European Workshop, EKAW '99, Dagstuhl Castle, Germany, May 26-29, 1999 : proceedings / Dieter Fensel, Rudi Studer (eds.)
書庫2階
Knowledge engineering and knowledge management : methods, models, and tools : 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings / Rose Dieng, Olivier Corby (eds.)
書庫2階
Problem-solving methods : understanding, description, development, and reuse / Dieter Fensel
書庫2階
XPS-99 : Knowledge-based systems : survey and future directions : 5th Biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999 : proceedings / Frank Puppe (ed.)
書庫2階
Design and development of knowledge-based systems : from life cycle to methodology / Giovanni Guida, Carlo Tasso
書庫2階
Case-based reasoning research and development : First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings / Manuela Veloso, Agnar Aamodt (eds.)
書庫2階