選択資料から書架並びで前後２０冊ずつを表示します。
Contemporary trends in systems development / edited by Maung K. Sein ... [et al.]
書庫2階
Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
書庫2階
Formal systems specification : the RPC-Memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (Eds.)
書庫2階
Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, proceedings / A. Miola (ed.)
gw
書庫2階
Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch, (ed.)
書庫2階
Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings / Alfonso Miola, (ed.)
書庫2階
Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings / Jacques Calmet, Carla Limongelli (eds.)
書庫2階
System design automation : fundamentals, principles, methods, examples / edited by Renate Merker and Wolfgand Schwarz
書庫2階
Conceptual modelling in information systems engineering / John Krogstie, Andreas Lothe Opdahl, Sjaak Brinkkemper (eds.)
書庫2階
System design : a practical guide with SpecC / Andreas Gerstlauer ... [et al.]
書庫2階
Document engineering : analyzing and designing documents for business informatics & Web services / Robert J. Glushko and Tim McGrath
書庫2階
Computational linguistics and intelligent text processing : second International Conference, CICLing 2001, Mexico City, Mexico, February 18-24, 2001 : proceedings / Alexander Gelbukh (ed.)
書庫2階
Computational linguistics and intelligent text processing : Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 : proceedings / Alexander Gelbukh (ed.)
書庫2階
Information extraction : towards scalable, adaptable systems / Maria Teresa Pazienza (ed.)
書庫2階
Introduction to information retrieval / Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze
: hardback
書庫2階
Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97, selected papers / Tiziana Margaria ... [et al.], eds
書庫2階
Advances in multimodal interfaces - ICMI 2000 : third International Conference, Beijing, China, October 14-16, 2000 : proceedings / Tieniu Tan, Yuanchun Shi, Wen Gao (eds.)
書庫2階
Quality-driven query answering for integrated information systems / Felix Naumann
書庫2階