Jump to main content

yr 〜
yr

Search results 3

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)
Paper図書
Springerc2010.<M17-10-4245>
National Diet Library
  • Subject Heading...rmale Methode. Edinburgh <2010>

Interactive storytelling : third joint conference on interactive digital storytelling, ICIDS 2010 : Edinburgh, UK, November 1-3, 2010 : proceedings. : 3rd international conference on interactive digital storytelling : Nov 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6432)

Interactive storytelling : third joint conference on interactive digital storytelling, ICIDS 2010 : Edinburgh, UK, November 1-3, 2010 : proceedings. : 3rd international conference on interactive digital storytelling : Nov 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6432)
Paper図書
Springerc2010.<M17-11-2048>
National Diet Library
  • Subject Heading...) -- [congrès] Edinburgh <2010> Kongress.

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings
Paper図書
Tayssir Touili, Byron Cook, Paul Jackson (eds.)Springerc2010
Other Libraries in Japan
  • Subject HeadingVerifikation -- Kongress -- Edinburgh <2010>
  • Subject Heading (ID)Verifikation -- Kongress -- Edinburgh <2010>

Reached to the end of result.

RSS