close
1.

図書
図書
1. Proceedings, Fifth International Symposium on Assessment of Software Tools and Technologies : June 2-5, 1997, Pittsburgh, Pennsylvania
edited by E. Nahouraii ; sponsored by IEEE Computer Society Technical Council on Software Engineering ; in cooperation with Software Engineering Institute, Carnegie Mellon University
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  x, 149 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings, Second International Workshop on Software Engineering for Parallel and Distributed Systems : May 17-18, 1997, Boston, MA, USA
sponsored by ACM SIGSOFT and IEEE Computer Society ; in cooperation with International Federation for Information Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 1997  x, 311 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings : Asia Pacific Software Engineering Conference and International Computer Science Conference : December 2-5, 1997, Hong Kong (case ; microfische)
sponsored by the Croucher Foundation ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xvi, 542 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings (: pbk)
John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.)
出版情報: Berlin ; New York : Springer, c1997  xiii, 684 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1313
所蔵情報: loading…
5.

図書
図書
5. TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
Michel Bidoit, Max Dauchet (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1997  xvi, 884 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1214
所蔵情報: loading…
6.

図書
図書
6. Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings (: pbk)
Ed Brinksma (ed.)
出版情報: Berlin : Springer, c1997  x, 431 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1217
所蔵情報: loading…
7.

図書
図書
7. Proceedings, First IEEE International Conference Conference on Formal Engineering Methods : Hiroshima, Japan, November 12-14, 1997
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing ; in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xi, 327 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼