上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.62)
該当件数:14件
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>
Implementation of functional languages : 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers / Markus Mohnen, Pieter Koopman (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2011)
図書 <1001263047>
Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, the Netherlands, September 7-10, 1999 : selected papers / Pieter Koopman, Chris Clack (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1868)
図書 <1001180827>
Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers / Thomas Arts, Markus Mohnen (eds.)
Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2312 . Lecture notes in artificial intelligence)
図書 <1001367929>
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>
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>
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>
Programming in Haskell / Graham Hutton
: hbk,: pbk. - Cambridge, U.K. : Cambridge University Press , 2007
図書 <1001889848>
Implementation of functional languages : 10th International Workshop, IFL '98, London, UK, September 9-11, 1998 : selected papers / Kevin Hammond, Tony Davie, Chris Clack (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1595)
図書 <1001063814>
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>
Implementation of functional languages : 9th International Workshop, IFL '97 St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers / Chris Clack, Kevin Hammond, Tony Davie (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1467)
図書 <1000997385>
Implementation of functional languages : 8th International Workshop, IFL '96 Bad Godesberg, Germany, September 16-18, 1996 : selected papers / Werner Kluge (ed.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1268)
図書 <1000554129>
Implementing functional languages / Simon L. Peyton Jones and David R. Lester
New York ; Tokyo : Prentice Hall , 1992. - (Prentice-Hall International series in computer science)
図書 <1000453592>
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>