本文に飛ぶ

年 〜
年

検索結果 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.
紙図書
The Association for Computing Machinery[2014]<M17-14-3266>
国立国会図書館

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)
紙図書
Springer[2020]<M17-23-81>
国立国会図書館

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)
紙図書
Springerc2013.<M17-14-702>
国立国会図書館

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.
紙図書
Association for Computing Machineryc2012.<M17-13-370>
国立国会図書館

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)
紙図書
Springerc2012.<M17-13-813>
国立国会図書館

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)
紙図書
Springer[2014]<M17-15-615>
国立国会図書館

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)
紙図書
Springer[2014]<M17-15-624>
国立国会図書館

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)
紙図書
Springerc2014.<M17-14-2136>
国立国会図書館

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)
紙図書
Springerc2013.<M17-13-2119>
国立国会図書館

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)
紙図書
Springerc2013.<M17-14-840>
国立国会図書館

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)
紙図書
Springerc2013.<M17-14-1551>
国立国会図書館

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)
紙図書
Springerc2011.<M17-12-2105>
国立国会図書館

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)
紙図書
Springerc2013.<M17-13-1640>
国立国会図書館

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.
紙図書
IEEE[2016]<M17-19-292>
国立国会図書館

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.
紙図書
Association for Computing Machineryc2010.<M17-10-3718>
国立国会図書館
  • 件名Programming 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.
紙図書
Association for Computing Machineryc2010.<M17-11-2546>
国立国会図書館
  • 件名Programming 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)
紙図書
Springerc2010.<M17-10-2798>
国立国会図書館
  • 件名Programming 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.
紙図書
The Association for Computing Machinery[2015]<M17-16-47>
国立国会図書館

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)
紙図書
Springerc2010.<M17-11-2097>
国立国会図書館
  • 件名Programming 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)
紙図書
Springerc2011.<M17-11-2296>
国立国会図書館
  • 件名Programming languages (Electronic computers) -- Congresses. Electronic books.
RSS