Jump to main content

yr 〜
yr

Search results 3

Programming languages and systems : 10th Asian symposium, APLAS 2012 : Kyoto, Japan, December 11-13, 2012 : proceedings : Dec 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7705)

Programming languages and systems : 10th Asian symposium, APLAS 2012 : Kyoto, Japan, December 11-13, 2012 : proceedings : Dec 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7705)
Paper図書
Springerc2012.<M17-13-1181>
National Diet Library
  • Author HeadingAPLAS 2012 (2012 : Kyoto, Japan) Jhala, Ranjit. Igarashi, Atsushi.

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)
Paper図書
Springerc2011.<M17-11-1898>
National Diet Library
  • Author HeadingJhala, Ranjit. Schmidt, David. VMCAI 2011 (2...

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
  • Author HeadingCC 2013 (2013 : Rome, Italy) Jhala, Ranjit. Bosschere, Koen de. 'Sapienza...

Reached to the end of result.

RSS