選択資料から書架並びで前後20冊ずつを表示します。
Soft computing : integrating evolutionary, neural, and fuzzy systems / Andrea Tettamanzi, Marco Tomassini
書庫2階
Soft computing for knowledge discovery and data mining / edited by Oded Maimon and Lior Rokach
書庫2階
Soft computing in industrial applications / Yukinori Suzuki ... [et al.] (eds.)
書庫2階
Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.)
書庫2階
Microcomputer system design : an advanced course / M.J. Flynn ... [et al.] ; edited by M.J. Flynn, N.R. Harris, and D.P. McCarthy
書庫2階
System development and Ada / CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds
書庫2階
Just-in-time systems for computing environments / Ralph L. Kliem and Irwin S. Ludin
書庫2階
Semiotics in information systems engineering / Kecheng Liu
: hbk
書庫2階
Co-design for system acceleration : a quantitative approach / Nadia Nedjah, Luiza de Macedo Mourelle
: hbk
書庫2階
Demands & decisions : briefings on issues in information technology strategy / Bart O'Brien
書庫2階
System-on-a-chip verification : methodology and techniques / Prakash Rashinkar, Peter Paterson, Leena Singh
書庫2階
Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], (eds.)
書庫2階
Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings / Tiziana Margaria, Bernhard Steffen, (eds.)
書庫2階
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.)
書庫2階
Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings / Bernhard Steffen, ed.
書庫2階
Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland (ed.)
書庫2階
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階