Jump to main content

yr 〜
yr

Search results 3

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009 : held as part of the joint European conferences on theory and practice of software, ETAPS 2009 : York, UK, March 22-29, 2009 : proceedings. : 12th European joint conferences on theory and practice of software : TACAS forum : Mar 2009, York, UK. (Lecture Notes in Computer Science ; 5505)

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009 : held as part of the joint European conferences on theory and practice of software, ETAPS 2009 : York, UK, March 22-29, 2009 : proceedings. : 12th European joint conferences on theory and practice of software : TACAS forum : Mar 2009, York, UK. (Lecture Notes in Computer Science ; 5505)
Paper図書
Springerc2009.<M17-10-634>
National Diet Library
  • Author Heading...York, England) ETAPS 2009 (2009 : York, England)

Compiler construction : 18th international conference, CC 2009 : held as part of the joint European conferences on theory and practice of software, ETAPS 2009 : York, UK, March 22-29, 2009 : proceedings. : Mar 2009, York, UK. (Lecture Notes in Computer Science ; 5501)

Compiler construction : 18th international conference, CC 2009 : held as part of the joint European conferences on theory and practice of software, ETAPS 2009 : York, UK, March 22-29, 2009 : proceedings. : Mar 2009, York, UK. (Lecture Notes in Computer Science ; 5501)
Paper図書
Springerc2009.<M17-09-1683>
National Diet Library
  • Author Heading...York, England) ETAPS 2009 (2009 : York, England)

Programming languages and systems : 18th European symposium on programming, ESOP 2009 : held as part of the joint European conferences on theory and practice of software, ETAPS 2009 : York, UK, March 22-29, 2009 : proceedings. : Mar 2009, York, UK. (Lecture Notes in Computer Science ; 5502)

Programming languages and systems : 18th European symposium on programming, ESOP 2009 : held as part of the joint European conferences on theory and practice of software, ETAPS 2009 : York, UK, March 22-29, 2009 : proceedings. : Mar 2009, York, UK. (Lecture Notes in Computer Science ; 5502)
Paper図書
Springerc2009.<M17-09-1693>
National Diet Library
  • Author Heading...York, England) ETAPS 2009 (2009 : York, England)

Reached to the end of result.

RSS