ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Functionalprogramminglanguages -- Congresses
図書(4 件)
選択行を:
10件
20件
50件
資料名
所在
1
Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) / edited by Hartmut Ehrig ... [et al.] ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 250 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 2).
理数学
007.6:T:2
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
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
4
Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 / Joseph H. Fasel, Robert M. Keller (eds.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 279).
理数学
410.9:G
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성