選択資料から書架並びで前後20冊ずつを表示します。
Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.)
書庫2階
Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.)
書庫2階
Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.)
書庫2階
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)
書庫2階
Analysis of dynamical and cognitive systems : advanced course, Stockholm, Sweden, August 9-14, 1993 : proceedings / Stig I. Andersson (ed.)
書庫2階
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階