関連資料一覧:(本学所蔵)
選択行を:
| 資料名 | 所在 |
1 | ANNA : a language for annotating Ada programs : reference manual / David C. Luckham ... [et al.] ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 260). | 理数学 007.6:A |
2 | Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings / edited by Guy Cousineau, Pierre-Louis Curien and Bernard Robinet ; : gw, : us. -- Springer-Verlag, c1986. -- (Lecture notes in computer science ; 242). | 理数学 007.6:C |
3 | Effective Java / ジョシュア・ブロック著 ; 柴田芳樹訳. -- 第3版. -- 丸善出版, 2018.10. | 図書館(閲覧室) 007.6:B |
4 | Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings / Gilles Kahn (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 274). | 理数学 007.6:F |
5 | JavaScript / David Flanagan著 ; 村上列訳. -- オライリー・ジャパン, . | 図書館(閲覧室) 547.4:F |
6 | Negation and control in Prolog / Lee Naish ; : gw, : us. -- Springer-Verlag, c1986. -- (Lecture notes in computer science ; 238). | 図書館(書庫) 007.6:N |
7 | NEWCAT : parsing natural language using left-associative grammar / Roland Hausser ; : gw, : us. -- Springer-Verlag, c1986. -- (Lecture notes in computer science ; 231). | 図書館(書庫) 007.6:H |
8 | A PROLOG database system / Deyi Li ; Research Studies Press, :Wiley. -- Research Studies Press, . -- (Electronic & electrical engineering research studies ; . Computer engineering series / F.G. Heath ; 3). | 図書館(書庫) 007.6:L |
9 | A review of Ada tasking / Alan Burns, Andrew M. Lister, Andrew J. Wellings ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 262). | 理数学 007.6:B |
10 | 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 |
選択行を:
|