Jump to main content

yr 〜
yr

Search results 592

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

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

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 : 17th ETAPS : Apr 2014, Grenoble, France. (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 : 17th ETAPS : Apr 2014, Grenoble, France. (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 : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7681)

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

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 : Mar 2013, Rome, Italy. (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 : Mar 2013, Rome, Italy. (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 : 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
  • Subject Heading...)--Congresses. Computer programming--Congresses. Programmation (Informatique)-...

UCC'17 : proceedings of the 10th international conference on utility and cloud computing : December 5-8, 2017 : Austin, Texas, USA : IEEE/ACM UCC/BDCAT 2017 : UCC/BDCAT event 2017 : main UCC and BDCAT conference : 1st "international workshop on data-center automation, analytics, and control" : DAAC 2017 : Dec 2017, Austin, TX.

UCC'17 : proceedings of the 10th international conference on utility and cloud computing : December 5-8, 2017 : Austin, Texas, USA : IEEE/ACM UCC/BDCAT 2017 : UCC/BDCAT event 2017 : main UCC and BDCAT conference : 1st "international workshop on data-center automation, analytics, and control" : DAAC 2017 : Dec 2017, Austin, TX.
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 : 24th IEEE/ACM international conference on program comprehension : May 2016, Austin, TX.

2016 IEEE 24th international conference on program comprehension (ICPC 2016) : Austin, Texas, USA : 16-17 May 2016 : 24th IEEE/ACM international conference on program comprehension : May 2016, Austin, TX.
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 2017 : Feb 2017, Austin, TX.

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

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

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

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

2016 third workshop on accelerator programming using directives (WACCPD 2016) : Salt Lake City, Utah, USA : 14 November 2016 : Nov 2016, Salt Lake City, UT.
Paper図書
IEEE[2016]<M17-18-1825>
National Diet Library
  • Subject HeadingComputer programming--Congresses. High performance computing--C...

Static analysis : 22nd international symposium, SAS 2015 : Saint-Malo, France, September 9-11, 2015 : proceedings : SAS meetings : Sep 2015, Saint-Malo, France. (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 : SAS meetings : Sep 2015, Saint-Malo, France. (Lecture Notes in Computer Science ; 9291. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-16-615>
National Diet Library
  • Subject HeadingComputer programming--Congresses. Software engineering--Congres...

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

Thirty-first annual ACM-SIAM symposium on discrete algorithms (SODA 2020) : Salt Lake City, Utah, USA : 5-8 January 2020 : Jan 2020, Salt Lake City, UT.
Paper図書
SIAM[2020]<M17-21-367>
National Diet Library
  • Subject Heading...s--Congresses. Computer programming--Congresses. Computer science--Mathematics...

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

2015 IEEE 23rd international conference on program comprehension : (ICPC 2015) : Florence, Italy : 18-19 May 2015 : May 2015, Florence, Italy.
Paper図書
IEEE[2015]<M17-17-1643>
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
  • Subject HeadingComputer programming--Congresses. Programming languages (Electr...

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
  • Subject HeadingProgramming languages (Electronic computers)--Congresses. Computer programming--Congresses.

From programs to systems : the systems perspective in computing : ETAPS workshop, FPS 2014 : in honor of Joseph Sifakis : Grenoble, France, April 6, 2014 : proceedings : 17th European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (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 : 17th European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (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 : 19th ACM symposium on principles and practice of parallel programming : PPoPP : Feb 2014, Orlando, FL.

PPoPP'14 : proceedings of the 2014 ACM SIGPLAN symposium on principles and practice of parallel programming : February 15-19, 2014 : Orlando, Florida, USA : 19th ACM symposium on principles and practice of parallel programming : PPoPP : Feb 2014, Orlando, FL.
Paper図書
The Association for Computing Machinery[2014]<M17-14-3272>
National Diet Library
  • Subject HeadingParallel programming (Computer science)--Congresses. Computer programming--Congresses.

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

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

Generative and transformational techniques in software engineering 4 : international summer school, GTTSE 2011 : Braga, Portugal, July 3-9, 2011 : revised papers : biannual, week-long GTTSE summer school : 4th international summer school on generative and transformational techniques in software engineering : Jul 2011, Braga, Portugal. (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 : biannual, week-long GTTSE summer school : 4th international summer school on generative and transformational techniques in software engineering : Jul 2011, Braga, Portugal. (Lecture Notes in Computer Science ; 7680. Tutorial)
Paper図書
Springerc2013.<M17-13-1621>
National Diet Library
  • Subject HeadingSoftware engineering--Congresses. Computer programming--Congresses.

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

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