関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Computersoftware -- Development -- Congresses
選択行を:
| 資料名 | 所在 |
1 | SPLC / sponsored by Software Engineering Institute ... [et al.] ; 2006 (10th) - 2008 (12th). -- IEEE Computer Society, c2006-. | 図書館(書庫) 007.6:S |
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.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 275). | 理数学 007.6:W |
3 | VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.] ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 252). | 理数学 007.6:V |
4 | VDM '88 : VDM--the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 11-16, 1988 : proceedings / R. Bloomfield, L. Marshall, R. Jones (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 328). | 理数学 007.6:V |
選択行を:
|