選択資料から書架並びで前後20冊ずつを表示します。
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階
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階