検索条件入力書誌詳細 > 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Electronicdigitalcomputers -- Programming -- Congresses
選択行を:
資料名所在
1Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 / edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik ; : gw, : us. -- Springer-Verlag, c1986. -- (Lecture notes in computer science ; 244).図書館(書庫) 007.6:A
理数学 007.6:A
2ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings / J. Bézivin ... [et al.] (eds.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 276).理数学 007.6:E
3ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger (ed.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 300).理数学 007.6:E
4Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings / K.V. Nori, S. Kumar (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 338).理数学 007.6:F
5Foundations of software technology and theoretical computer science : Seventh Conference, Pune, India, December 17-19, 1987, proceedings / Kesav V. Nori (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 287).理数学 007.6:F
6Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.). -- Springer, c1998. -- (Lecture notes in computer science ; 1379).理数学 007:N
7Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 256).理数学 007.6:R
8Software engineering : an advanced course / F. L. Bauer ... [et al.] ; edited by F. L. Bauer ; : gw, : us. -- Springer-Verlag, 1975, c1973. -- (Lecture notes in computer science ; 30).工情報 007.6:B
選択行を: