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