Jump to main content

yr 〜
yr

Search results 540

Unifying theories of programming : 5th international symposium, UTP 2014 : Singapore, May 13, 2014 : revised selected papers. (Lecture Notes in Computer Science ; 8963)

Unifying theories of programming : 5th international symposium, UTP 2014 : Singapore, May 13, 2014 : revised selected papers. (Lecture Notes in Computer Science ; 8963)
Paper図書
Springer[2015]<M17-15-1609>
National Diet Library

Compiler construction : 23rd international conference, CC 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings. (Lecture Notes in Computer Science ; 8409. Advanced Research in Computing and Software Science)

Compiler construction : 23rd international conference, CC 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings. (Lecture Notes in Computer Science ; 8409. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2135>
National Diet Library

Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers. (Lecture Notes in Computer Science ; 7681)

Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers. (Lecture Notes in Computer Science ; 7681)
Paper図書
Springerc2013.<M17-13-1622>
National Diet Library

Compiler construction : 22nd international conference, CC 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings. (Lecture Notes in Computer Science ; 7791. Advanced Research in Computing and Software Science)

Compiler construction : 22nd international conference, CC 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings. (Lecture Notes in Computer Science ; 7791. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2118>
National Diet Library

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

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

UCC'17 : proceedings of the 10th international conference on utility and cloud computing : December 5-8, 2017 : Austin, Texas, USA.

UCC'17 : proceedings of the 10th international conference on utility and cloud computing : December 5-8, 2017 : Austin, Texas, USA.
Paper図書
The Association for Computing Machinery[2017]<M17-20-30>
National Diet Library

2016 IEEE 24th international conference on program comprehension (ICPC 2016) : Austin, Texas, USA : 16-17 May 2016.

2016 IEEE 24th international conference on program comprehension (ICPC 2016) : Austin, Texas, USA : 16-17 May 2016.
Paper図書
IEEE[2016]<M17-18-1183>
National Diet Library

PPoPP'17 : proceedings of the 22nd ACM SIGPLAN symposium on principles and practice of parallel programming : February 4-8, 2017 : Austin, Texas, USA.

PPoPP'17 : proceedings of the 22nd ACM SIGPLAN symposium on principles and practice of parallel programming : February 4-8, 2017 : Austin, Texas, USA.
Paper図書
The Association for Computing Machinery[2017]<M17-18-2081>
National Diet Library

2016 IEEE/ACM 9th international conference on utility and cloud computing : (UCC 2016) : Shanghai, China : 6-9 December 2016.

2016 IEEE/ACM 9th international conference on utility and cloud computing : (UCC 2016) : Shanghai, China : 6-9 December 2016.
Paper図書
IEEE[2016]<M17-19-348>
National Diet Library

Thirty-first annual ACM-SIAM symposium on discrete algorithms (SODA 2020) : Salt Lake City, Utah, USA : 5-8 January 2020.

Thirty-first annual ACM-SIAM symposium on discrete algorithms (SODA 2020) : Salt Lake City, Utah, USA : 5-8 January 2020.
Paper図書
SIAM[2020]<M17-21-367>
National Diet Library

2016 third workshop on accelerator programming using directives (WACCPD 2016) : Salt Lake City, Utah, USA : 14 November 2016.

2016 third workshop on accelerator programming using directives (WACCPD 2016) : Salt Lake City, Utah, USA : 14 November 2016.
Paper図書
IEEE[2016]<M17-18-1825>
National Diet Library

Static analysis : 22nd international symposium, SAS 2015 : Saint-Malo, France, September 9-11, 2015 : proceedings. (Lecture Notes in Computer Science ; 9291. Advanced Research in Computing and Software Science)

Static analysis : 22nd international symposium, SAS 2015 : Saint-Malo, France, September 9-11, 2015 : proceedings. (Lecture Notes in Computer Science ; 9291. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-16-615>
National Diet Library

2015 IEEE 23rd international conference on program comprehension : (ICPC 2015) : Florence, Italy : 18-19 May 2015.

2015 IEEE 23rd international conference on program comprehension : (ICPC 2015) : Florence, Italy : 18-19 May 2015.
Paper図書
IEEE[2015]<M17-17-1643>
National Diet Library

2015 IEEE 6th international workshop on program comprehension through dynamic analysis : (PCODA 2015) : Montreal, Quebec, Canada : 2 March 2015.

2015 IEEE 6th international workshop on program comprehension through dynamic analysis : (PCODA 2015) : Montreal, Quebec, Canada : 2 March 2015.
Paper図書
IEEE[2015]<M17-17-1642>
National Diet Library

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

Programming languages and systems : 12th Asian symposium, APLAS 2014 : Singapore, Singapore, November 17-19, 2014 : proceedings. (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. (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. (Lecture Notes in Computer Science ; 8410. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2136>
National Diet Library

From programs to systems : the systems perspective in computing : ETAPS workshop, FPS 2014 : in honor of Joseph Sifakis : Grenoble, France, April 6, 2014 : proceedings. (Lecture Notes in Computer Science ; 8415. Festschrift)

From programs to systems : the systems perspective in computing : ETAPS workshop, FPS 2014 : in honor of Joseph Sifakis : Grenoble, France, April 6, 2014 : proceedings. (Lecture Notes in Computer Science ; 8415. Festschrift)
Paper図書
Springerc2014.<M17-14-2137>
National Diet Library

PPoPP'14 : proceedings of the 2014 ACM SIGPLAN symposium on principles and practice of parallel programming : February 15-19, 2014 : Orlando, Florida, USA.

PPoPP'14 : proceedings of the 2014 ACM SIGPLAN symposium on principles and practice of parallel programming : February 15-19, 2014 : Orlando, Florida, USA.
Paper図書
The Association for Computing Machinery[2014]<M17-14-3272>
National Diet Library

Generative and transformational techniques in software engineering 4 : international summer school, GTTSE 2011 : Braga, Portugal, July 3-9, 2011 : revised papers. (Lecture Notes in Computer Science ; 7680. Tutorial)

Generative and transformational techniques in software engineering 4 : international summer school, GTTSE 2011 : Braga, Portugal, July 3-9, 2011 : revised papers. (Lecture Notes in Computer Science ; 7680. Tutorial)
Paper図書
Springerc2013.<M17-13-1621>
National Diet Library

2013 IEEE 21st international conference on program comprehension : (ICPC 2013) : San Francisco, California, USA : 20-21 May 2013.

2013 IEEE 21st international conference on program comprehension : (ICPC 2013) : San Francisco, California, USA : 20-21 May 2013.
Paper図書
IEEEc2013.<M17-14-1396>
National Diet Library
RSS