Jump to main content

yr 〜
yr

Search results 437

POPL'14 : proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 22-24, 2014 : San Diego, California, USA : POPL : Jan 2014, San Diego, CA.

POPL'14 : proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 22-24, 2014 : San Diego, California, USA : POPL : Jan 2014, San Diego, CA.
Paper図書
The Association for Computing Machinery[2014]<M17-14-3266>
National Diet Library

Programming languages and systems : 18th Asian symposium, APLAS 2020 : Fukuoka, Japan, November 30-December 2, 2020 : proceedings : Nov 2020, ------. (Lecture Notes in Computer Science ; 12470)

Programming languages and systems : 18th Asian symposium, APLAS 2020 : Fukuoka, Japan, November 30-December 2, 2020 : proceedings : Nov 2020, ------. (Lecture Notes in Computer Science ; 12470)
Paper図書
Springer[2020]<M17-23-81>
National Diet Library

Programming languages : 17th Brazilian symposium, SBLP 2013 : Brasília, Brazil, October 3-4, 2013 : proceedings : Oct 2013, Brasília, Brazil. (Lecture Notes in Computer Science ; 8129)

Programming languages : 17th Brazilian symposium, SBLP 2013 : Brasília, Brazil, October 3-4, 2013 : proceedings : Oct 2013, Brasília, Brazil. (Lecture Notes in Computer Science ; 8129)
Paper図書
Springerc2013.<M17-14-702>
National Diet Library

POPL'12 : proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 25-27, 2012 : Philadelphia, PA, USA : Jan 2012, Philadelphia, PA.

POPL'12 : proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 25-27, 2012 : Philadelphia, PA, USA : Jan 2012, Philadelphia, PA.
Paper図書
Association for Computing Machineryc2012.<M17-13-370>
National Diet Library

Programming languages : 16th Brazilian symposium, SBLP 2012 : Natal, Brazil, September 23-28, 2012 : proceedings : Sep 2012, Natal, Brazil. (Lecture Notes in Computer Science ; 7554)

Programming languages : 16th Brazilian symposium, SBLP 2012 : Natal, Brazil, September 23-28, 2012 : proceedings : Sep 2012, Natal, Brazil. (Lecture Notes in Computer Science ; 7554)
Paper図書
Springerc2012.<M17-13-813>
National Diet Library

Programming languages : 18th Brazilian symposium, SBLP 2014 : Maceio, Brazil, October 2-3, 2014 : proceedings : Brazilian conference on software (CBSoft) : Oct 2014, Maceio, Brazil. (Lecture Notes in Computer Science ; 8771)

Programming languages : 18th Brazilian symposium, SBLP 2014 : Maceio, Brazil, October 2-3, 2014 : proceedings : Brazilian conference on software (CBSoft) : Oct 2014, Maceio, Brazil. (Lecture Notes in Computer Science ; 8771)
Paper図書
Springer[2014]<M17-15-615>
National Diet Library

Programming languages and systems : 12th Asian symposium, APLAS 2014 : Singapore, Singapore, November 17-19, 2014 : proceedings : Nov 2014, Singapore. (Lecture Notes in Computer Science ; 8858)

Programming languages and systems : 12th Asian symposium, APLAS 2014 : Singapore, Singapore, November 17-19, 2014 : proceedings : Nov 2014, Singapore. (Lecture Notes in Computer Science ; 8858)
Paper図書
Springer[2014]<M17-15-624>
National Diet Library

Programming languages and systems : 23rd European symposium on programming, ESOP 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8410. Advanced Research in Computing and Software Science)

Programming languages and systems : 23rd European symposium on programming, ESOP 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8410. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2136>
National Diet Library

Programming languages and systems : 22nd European symposium on programming, ESOP 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7792. Advanced Research in Computing and Software Science)

Programming languages and systems : 22nd European symposium on programming, ESOP 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7792. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2119>
National Diet Library

Software language engineering : 6th international conference, SLE 2013 : Indianapolis, IN, USA, October 26-28, 2013 : proceedings : Oct 2013, Indianapolis, IN. (Lecture Notes in Computer Science ; 8225)

Software language engineering : 6th international conference, SLE 2013 : Indianapolis, IN, USA, October 26-28, 2013 : proceedings : Oct 2013, Indianapolis, IN. (Lecture Notes in Computer Science ; 8225)
Paper図書
Springerc2013.<M17-14-840>
National Diet Library

Programming languages and systems : 11th Asian symposium, APLAS 2013 : Melbourne, VIC, Australia, December 9-11, 2013 : proceedings : Dec 2013, Melbourne, Australia. (Lecture Notes in Computer Science ; 8301)

Programming languages and systems : 11th Asian symposium, APLAS 2013 : Melbourne, VIC, Australia, December 9-11, 2013 : proceedings : Dec 2013, Melbourne, Australia. (Lecture Notes in Computer Science ; 8301)
Paper図書
Springerc2013.<M17-14-1551>
National Diet Library

Datalog reloaded : first international workshop, Datalog 2010 : Oxford, UK, March 16-19, 2010 : revised selected papers : Datalog 2.0 : Mar 2010, Oxford, UK. (Lecture Notes in Computer Science ; 6702)

Datalog reloaded : first international workshop, Datalog 2010 : Oxford, UK, March 16-19, 2010 : revised selected papers : Datalog 2.0 : Mar 2010, Oxford, UK. (Lecture Notes in Computer Science ; 6702)
Paper図書
Springerc2011.<M17-12-2105>
National Diet Library

Software language engineering : 5th international conference, SLE 2012 : Dresden, Germany, September 26-28, 2012 : revised selected papers : Sep 2012, Dresden, Germany. (Lecture Notes in Computer Science ; 7745)

Software language engineering : 5th international conference, SLE 2012 : Dresden, Germany, September 26-28, 2012 : revised selected papers : Sep 2012, Dresden, Germany. (Lecture Notes in Computer Science ; 7745)
Paper図書
Springerc2013.<M17-13-1640>
National Diet Library

2016 IEEE/ACM 38th international conference on software engineering companion (ICSE-C 2016) : Austin, Texas, USA : 14-22 May 2016 : ICSE 2016 week : ICSE workshops and symposia : May 2016, Austin, TX.

2016 IEEE/ACM 38th international conference on software engineering companion (ICSE-C 2016) : Austin, Texas, USA : 14-22 May 2016 : ICSE 2016 week : ICSE workshops and symposia : May 2016, Austin, TX.
Paper図書
IEEE[2016]<M17-19-292>
National Diet Library

POPL'10 : proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 17-23, 2010 : Madrid, Spain. : Jan 2010, Madrid, Spain.

POPL'10 : proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 17-23, 2010 : Madrid, Spain. : Jan 2010, Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-10-3718>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers) -- Congresses.

5th ACM SIGPLAN workshop on types in language design and implementation 2010 : (TLDI 10) : held at POPL 10 : Madrid, Spain : 23 January 2010. : Jan 2010, Madrid, Spain.

5th ACM SIGPLAN workshop on types in language design and implementation 2010 : (TLDI 10) : held at POPL 10 : Madrid, Spain : 23 January 2010. : Jan 2010, Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-11-2546>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers) -- Congresses.

Declarative agent languages and technologies 7 : 7th international workshop, DALT 2009 : Budapest, Hungary, May 11, 2009 : revised selected and invited papers. : May 2009, Budapest, Hungary. (Lecture Notes in Computer Science ; 5948. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 7 : 7th international workshop, DALT 2009 : Budapest, Hungary, May 11, 2009 : revised selected and invited papers. : May 2009, Budapest, Hungary. (Lecture Notes in Computer Science ; 5948. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-10-2798>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers) -- Congresses.

POPL 2015 : POPL'15 : proceedings of the 42nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 12-18, 2015 : Mumbai, India : POPL conference : Jan 2015, Mumbai, India.

POPL 2015 : POPL'15 : proceedings of the 42nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 12-18, 2015 : Mumbai, India : POPL conference : Jan 2015, Mumbai, India.
Paper図書
The Association for Computing Machinery[2015]<M17-16-47>
National Diet Library

Programming languages and systems : 8th Asian symposium, APLAS 2010 : Shanghai, China, November 28-December 1, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6461)

Programming languages and systems : 8th Asian symposium, APLAS 2010 : Shanghai, China, November 28-December 1, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6461)
Paper図書
Springerc2010.<M17-11-2097>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers) -- Congresses.

Programming languages and systems : 20th European symposium on programming, ESOP 2011 : held as part of the joint European conferences on theory and practice of software, ETAPS 2011 : Saarbrucken, Germany, March 26-April 3, 2011 : proceedings. : Mar 2011, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 6602. Advanced Research in Computing and Software Science)

Programming languages and systems : 20th European symposium on programming, ESOP 2011 : held as part of the joint European conferences on theory and practice of software, ETAPS 2011 : Saarbrucken, Germany, March 26-April 3, 2011 : proceedings. : Mar 2011, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 6602. Advanced Research in Computing and Software Science)
Paper図書
Springerc2011.<M17-11-2296>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers) -- Congresses. Electronic books.
RSS