本文に飛ぶ

年 〜
年

検索結果 4 件

Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8901)

Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8901)
紙図書
Springer[2014]<M17-15-1535>
国立国会図書館

Foundational and practical aspects of resource analysis : third international workshop, FOPARA 2013 : Bertinoro, Italy, August 29-31, 2013 : revised selected papers : Aug 2013, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8552)

Foundational and practical aspects of resource analysis : third international workshop, FOPARA 2013 : Bertinoro, Italy, August 29-31, 2013 : revised selected papers : Aug 2013, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8552)
紙図書
Springer[2014]<M17-15-1629>
国立国会図書館

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>
国立国会図書館
  • 著者標目...Hans-Wolfgang. Peña, Ricardo, 1950-

Implementation of functional languages : 14th international workshop, IFL 2002 : Madrid, Spain, September 16-18, 2002 : revised selected papers. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2670)

Implementation of functional languages : 14th international workshop, IFL 2002 : Madrid, Spain, September 16-18, 2002 : revised selected papers. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2670)
紙図書
Springerc2003.<M17-04-461>
国立国会図書館
  • 著者標目Peña, Ricardo, 1950- Arts, Thomas, 1969- Internati...

検索結果は以上です。

RSS