上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Functional programming )
該当件数:10件
Advanced functional programming : Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures / S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1608)
図書 <1001063828>
Advanced functional programming : Second International School, Olympia, WA, USA, August 26-30, 1996 : tutorial text / John Launchbury, Erik Meijer, Tim Sheard, (eds.)
Berlin ; Tokyo : Springer , c1996. - (Lecture notes in computer science ; 1129)
図書 <1000542448>
Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings / Herbert Kuchen, Kazunori Ueda (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2024)
図書 <1001243166>
Computation as logic / René Lalement ; translated by John Plaice
Paris : Masson. - Hemel, Hempstead ; Englewood Cliffs, NJ : Prentice Hall , c1993. - (Prentice Hall International series in computer science)
図書 <1000485425>
A tight, practical integration of relations and functions / Harold Boley
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1712 . Lecture notes in artificial intelligence)
図書 <1001084294>
Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings / Aart Middeldorp, Taisuke Sato (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1722)
図書 <1001084360>
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)
Berlin ; New York : Springer-Verlag , c1988. - (Lecture notes in computer science. ; 306)
図書 <1000588527>
Assessing risk assessment : towards alternative risk measures for complex financial systems / Christian Hugo Hoffmann
: ebook. - Wiesbaden : Springer Gabler , c2017. - (Research)
電子ブック <1003148791>
Advanced functional programming : First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text / Johan Jeuring, Erik Meijer (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 925)
図書 <1000520652>
Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.)
Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 693.)
図書 <1000656925>