関連資料一覧:(本学所蔵)
検索条件
件名:NDLSH:プログラミング(電子計算機)
選択行を:
| 資料名 | 所在 |
1 | Advanced 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 |
2 | Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings / Thomas Ottmann, (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 267). | 理数学 007.6:I |
3 | Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings / edited by David Pitt ... [et al.] ; : gw, : us. -- Springer-Verlag, c1986. -- (Lecture notes in computer science ; 240). | 理数学 411.8:C |
4 | A connotational theory of program structure / James S. Royer ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 273). | 理数学 007.6:R |
5 | ECOOP '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 |
6 | From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 271). | 理数学 007.6:S |
7 | Future parallel computers : an advanced course, Pisa, Italy, June 9-20, 1986 : proceedings / P. Treleaven, M. Vanneschi (eds.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 272). | 理数学 007.6:F |
8 | Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 / Eiiti Wada (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 264). | 理数学 007.6:L |
9 | 8086アセンブリプログラミング / 本宮真著. -- 啓学出版, 1985.11. | 図書館(書庫) 007.6:M |
10 | ADA入門 / Robert G.Clark著 ; 武市哲也監訳. -- アスキー, 1986.10. -- (海外ブックス). | 図書館(書庫) 007.6:cC |
選択行を:
|