本文に飛ぶ

年 〜
年

検索結果 200 件

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan. (Lecture Notes in Computer Science ; 13215)

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan. (Lecture Notes in Computer Science ; 13215)
紙図書
Springer[2022]<M17-24-12>
国立国会図書館全国の図書館
  • 件名Functional programming (Computer science)--Congresses. L......g--Congresses. Functional programming (Computer science) Logic programming.

Functional and logic programming : 14th international symposium, FLOPS 2018 : Nagoya, Japan, May 9-11, 2018 : proceedings : May 2018, Nagoya, Japan. (Lecture Notes in Computer Science ; 10818)

Functional and logic programming : 14th international symposium, FLOPS 2018 : Nagoya, Japan, May 9-11, 2018 : proceedings : May 2018, Nagoya, Japan. (Lecture Notes in Computer Science ; 10818)
紙図書
Springer[2018]<M17-20-852>
国立国会図書館
  • 件名Functional programming (Computer science)--Congresses. L......g--Congresses. Functional programming (Computer science) Logic programming.

Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12073)

Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12073)
紙図書
Springer[2020]<M17-22-586>
国立国会図書館全国の図書館
  • 件名Functional programming (Computer science)--Congresses. L......que--Congrès. Functional programming (Computer science) Logic programming.

Functional and logic programming : 13th international symposium, FLOPS 2016 : Kochi, Japan, March 4-6, 2016 : proceedings : Mar 2016, Kochi, Japan. (Lecture Notes in Computer Science ; 9613)

Functional and logic programming : 13th international symposium, FLOPS 2016 : Kochi, Japan, March 4-6, 2016 : proceedings : Mar 2016, Kochi, Japan. (Lecture Notes in Computer Science ; 9613)
紙図書
Springer[2016]<M17-20-870>
国立国会図書館
  • 件名Functional programming (Computer science)--Congresses. L......g--Congresses. Functional programming (Computer science) Logic programming.

Functional and logic programming : 12th international symposium, FLOPS 2014 : Kanazawa, Japan, June 4-6, 2014 : proceedings : FLOPS meetings : Jun 2014, Kanazawa, Japan. (Lecture Notes in Computer Science ; 8475)

Functional and logic programming : 12th international symposium, FLOPS 2014 : Kanazawa, Japan, June 4-6, 2014 : proceedings : FLOPS meetings : Jun 2014, Kanazawa, Japan. (Lecture Notes in Computer Science ; 8475)
紙図書
Springer[2014]<M17-15-1475>
国立国会図書館
  • 件名Functional programming (Computer science)--Congresses. L......g--Congresses. Functional programming (Computer science) Logic programming.

ICFP'14 : proceedings of the 2014 ACM SIGPLAN international conference on functional programming : September 1-3, 2014 : Gothenburg, Sweden : 19th ACM SIGPLAN international conference on functional programming: ICFP 2014 : ICFP14 : Sep 2014, Gothenburg, Sweden.

ICFP'14 : proceedings of the 2014 ACM SIGPLAN international conference on functional programming : September 1-3, 2014 : Gothenburg, Sweden : 19th ACM SIGPLAN international conference on functional programming: ICFP 2014 : ICFP14 : Sep 2014, Gothenburg, Sweden.
紙図書
The Association for Computing Machinery[2014]<M17-15-1843>
国立国会図書館
  • 件名Functional programming (Computer science)--Congresses. F......s--Congresses. Functional programming (Computer science) Functional programming langua...

The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday : 25th symposium on implementation and application of functional languages : international IFL meetings : 25th IFL conference : IFL 2013 : Aug 2013, Nijmegen, the Netherlands. (Lecture Notes in Computer Science ; 8106. Lecture Notes in Artificial Intelligence. Festschrift)

The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday : 25th symposium on implementation and application of functional languages : international IFL meetings : 25th IFL conference : IFL 2013 : Aug 2013, Nijmegen, the Netherlands. (Lecture Notes in Computer Science ; 8106. Lecture Notes in Artificial Intelligence. Festschrift)
紙図書
Springerc2013.<M17-14-700>
国立国会図書館
  • 件名Functional programming (Computer science)--Congresses.

Trends in functional programming : 11th international symposium, TFP 2010 : Norman, OK, USA, May 17-19, 2010 : revised selected papers : May 2010, Norman, OK. (Lecture Notes in Computer Science ; 6546)

Trends in functional programming : 11th international symposium, TFP 2010 : Norman, OK, USA, May 17-19, 2010 : revised selected papers : May 2010, Norman, OK. (Lecture Notes in Computer Science ; 6546)
紙図書
Springerc2011.<M17-12-1124>
国立国会図書館
  • 件名Functional programming (Computer science)--Congresses.

Central European functional programming school : third summer school, CEFP 2009 : Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures. : summer school's PhD workshop : May 2009, Komarno, Slovakia. (Lecture Notes in Computer Science ; 6299. Tutorial)

Central European functional programming school : third summer school, CEFP 2009 : Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures. : summer school's PhD workshop : May 2009, Komarno, Slovakia. (Lecture Notes in Computer Science ; 6299. Tutorial)
紙図書
Springerc2010.<M17-11-2032>
国立国会図書館
  • 件名Functional programming (Computer science) -- Congresses.

Trends in functional programming : 14th international symposium, TFP 2013 : Provo, UT, USA, May 14-16, 2013 : revised selected papers : May 2013, Provo, UT. (Lecture Notes in Computer Science ; 8322)

Trends in functional programming : 14th international symposium, TFP 2013 : Provo, UT, USA, May 14-16, 2013 : revised selected papers : May 2013, Provo, UT. (Lecture Notes in Computer Science ; 8322)
紙図書
Springerc2014.<M17-14-1759>
国立国会図書館
  • 件名Functional programming (Computer science)--Congresses. Logic design--Co...

関数型デザイン : 原則、パターン、実践

関数型デザイン : 原則、パターン、実践
紙デジタル図書
Robert C.Martin 著, 角征典 訳ドワンゴ2024.5<M159-R136>
国立国会図書館全国の図書館
  • 典拠情報（件名/「を見よ」参照）関数プログラミング Functional programming (Computer science)

Haskellでの型レベルプログラミング

Haskellでの型レベルプログラミング
紙図書
荒田実樹だめぽラボ2024.5<M159-R272>
国立国会図書館
  • 典拠情報（件名/「を見よ」参照）関数プログラミング Functional programming (Computer science)

Trends in functional programming : 15th international symposium, TFP 2014 : Soesterberg, the Netherlands, May 26-28, 2014 : revised selected papers : TFP2014 : May 2014, Soesterberg, the Netherlands. (Lecture Notes in Computer Science ; 8843)

Trends in functional programming : 15th international symposium, TFP 2014 : Soesterberg, the Netherlands, May 26-28, 2014 : revised selected papers : TFP2014 : May 2014, Soesterberg, the Netherlands. (Lecture Notes in Computer Science ; 8843)
紙図書
Springer[2015]<M17-15-1652>
国立国会図書館
  • 件名Functional programming (Computer science)--Congresses. Logic design--Co...

ICFP'13 : proceedings of the 2013 ACM SIGPLAN international conference on functional programming : September 25-27, 2013 : Boston, Massachusetts, USA : 18th ACM SIGPLAN international conference on functional programming : ICFP '13 : Sep 2013, Boston, MA.

ICFP'13 : proceedings of the 2013 ACM SIGPLAN international conference on functional programming : September 25-27, 2013 : Boston, Massachusetts, USA : 18th ACM SIGPLAN international conference on functional programming : ICFP '13 : Sep 2013, Boston, MA.
紙図書
Association for Computing Machineryc2013.<M17-14-1856>
国立国会図書館
  • 件名...e--Congresses. Functional programming (Computer science)--Congresses.

Central European functional programming school : second summer school, CEFP 2007 : Cluj-Napoca, Romania, June 23-30, 2007 : revised selected lectures. : short course on omega : Central-European functional programming school : Jun 2007, Cluj-Napoca, Romania. (Lecture Notes in Computer Science ; 5161. Tutorial)

Central European functional programming school : second summer school, CEFP 2007 : Cluj-Napoca, Romania, June 23-30, 2007 : revised selected lectures. : short course on omega : Central-European functional programming school : Jun 2007, Cluj-Napoca, Romania. (Lecture Notes in Computer Science ; 5161. Tutorial)
紙図書
Springerc2008.<M17-09-917>
国立国会図書館
  • 件名Functional programming (Computer science) -- Congresses.

関数型ドメインモデリング : ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう

関数型ドメインモデリング : ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう
紙デジタル図書
Scott Wlaschin 著, 猪股健太郎 訳ドワンゴ2024.6<M154-R85>
国立国会図書館全国の図書館
  • 典拠情報（件名/「を見よ」参照）System design 関数プログラミング Functional programming (Computer science)

なっとく!関数型プログラミング : 関数型プログラミングの基本概念の全容を把握し活用したい開発者に

なっとく!関数型プログラミング : 関数型プログラミングの基本概念の全容を把握し活用したい開発者に
紙図書
Michał Płachta 著, クイープ 監訳翔泳社2023.8<M159-M1182>
国立国会図書館全国の図書館
  • 典拠情報（件名/「を見よ」参照）関数プログラミング Functional programming (Computer science)

Functional and constraint logic programming : 19th international workshop, WFLP 2010 : Madrid, Spain, January 17, 2010 : revised selected papers. : ACM-SIGPLAN principles of programming languages event : POPL 2010 week : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 6559)

Functional and constraint logic programming : 19th international workshop, WFLP 2010 : Madrid, Spain, January 17, 2010 : revised selected papers. : ACM-SIGPLAN principles of programming languages event : POPL 2010 week : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 6559)
紙図書
Springerc2011.<M17-11-2452>
国立国会図書館
  • 件名Functional programming (Computer science) -- Congresses. Constraint pro...

Functional and constraint logic programming : 20th international workshop, WFLP 2011 : Odense, Denmark, July 19, 2011 : proceedings : Jul 2011, Odense, Denmark. (Lecture Notes in Computer Science ; 6816)

Functional and constraint logic programming : 20th international workshop, WFLP 2011 : Odense, Denmark, July 19, 2011 : proceedings : Jul 2011, Odense, Denmark. (Lecture Notes in Computer Science ; 6816)
紙図書
Springerc2011.<M17-12-423>
国立国会図書館
  • 件名Functional programming (Computer science)--Congresses. Constraint progr...

JavaScript徹底攻略関数 : 基礎と関数型プログラミング

JavaScript徹底攻略関数 : 基礎と関数型プログラミング
紙図書
イモに聞け2023.5 (第3刷)<M159-R253>
国立国会図書館
  • 典拠情報（件名/「を見よ」参照）関数プログラミング Functional programming (Computer science)
RSS