本文に飛ぶ

年 〜
年

検索結果 57 件

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 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>
国立国会図書館

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 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 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>
国立国会図書館

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>
国立国会図書館

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.

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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館

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.

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 programming (Comp...

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>
国立国会図書館

MSFP'10 : proceedings of the 2010 ACM SIGPLAN workshop on mathematically structured functional programming : September 25, 2010 : Baltimore, Maryland, USA : co-located with: ICFP'10. : 3rd workshop on mathematically structured functional programming (MSFP 2010) : international conference on functional programming (ICFP) : Sep 2010, Baltimore, MD.

MSFP'10 : proceedings of the 2010 ACM SIGPLAN workshop on mathematically structured functional programming : September 25, 2010 : Baltimore, Maryland, USA : co-located with: ICFP'10. : 3rd workshop on mathematically structured functional programming (MSFP 2010) : international conference on functional programming (ICFP) : Sep 2010, Baltimore, MD.
紙図書
Association for Computing Machineryc2010.<M17-11-2252>
国立国会図書館
  • 件名Functional programming (Computer science) -- Congresses. Functional programming langu...

ICFP'12 : proceedings of the 2012 ACM SIGPLAN international conference on functional programming : September 9-15, 2012 : Copenhagen, Denmark : 17th ACM SIGPLAN international conference on functional programming: ICFP 2012 : ICFP week : Sep 2012, Copenhagen, Denmark.

ICFP'12 : proceedings of the 2012 ACM SIGPLAN international conference on functional programming : September 9-15, 2012 : Copenhagen, Denmark : 17th ACM SIGPLAN international conference on functional programming: ICFP 2012 : ICFP week : Sep 2012, Copenhagen, Denmark.
紙図書
Association for Computing Machineryc2012.<M17-14-239>
国立国会図書館

Advanced functional programming : 6th international school, AFP 2008 : Heijen, the Netherlands, May 19-24, 2008 : revised lectures. : tutorial on parallel and concurrent programming in Haskell : 2008 summer school on advanced functional programming : May 2008, Heijen, the Netherlands. (Lecture Notes in Computer Science ; 5832. Tutorial)

Advanced functional programming : 6th international school, AFP 2008 : Heijen, the Netherlands, May 19-24, 2008 : revised lectures. : tutorial on parallel and concurrent programming in Haskell : 2008 summer school on advanced functional programming : May 2008, Heijen, the Netherlands. (Lecture Notes in Computer Science ; 5832. Tutorial)
紙図書
Springerc2009.<M17-10-1840>
国立国会図書館
  • 件名Functional programming (Computer science) -- Congresses. Funktionale Programmierung. ...

Trends in functional programming : 13th international symposium, TFP 2012 : St. Andrews, UK, June 12-14, 2012 : revised selected papers : TFP12 : Jun 2012, St. Andrews, UK. (Lecture Notes in Computer Science ; 7829)

Trends in functional programming : 13th international symposium, TFP 2012 : St. Andrews, UK, June 12-14, 2012 : revised selected papers : TFP12 : Jun 2012, St. Andrews, UK. (Lecture Notes in Computer Science ; 7829)
紙図書
Springerc2013.<M17-14-538>
国立国会図書館

14th ACM SIGPLAN international conference on functional programming 2009 : (ICFP 2009) : Edinburgh, Scotland, UK : 31 August-2 September 2009. : Aug 2009, Edinburgh, UK.

14th ACM SIGPLAN international conference on functional programming 2009 : (ICFP 2009) : Edinburgh, Scotland, UK : 31 August-2 September 2009. : Aug 2009, Edinburgh, UK.
紙図書
Association for Computing Machineryc2009.<M17-10-2442>
国立国会図書館
  • 件名Functional programming (Computer science) -- Congresses. Functional programming langu...
RSS