Jump to main content

yr 〜
yr

Search results 2

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium : Shanghai, China, September 4-6, 2013 : proceedings : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8049)

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium : Shanghai, China, September 4-6, 2013 : proceedings : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8049)
Paper図書
Springerc2013.<M17-14-576>
National Diet Library
  • Author HeadingICTAC (Colloquium) (10th : 2013 : Shanghai, China) Liu, Zhiming, 1961- Woodcock,...

Unifying theories of programming and formal engineering methods : international training school on software engineering : held at ICTAC 2013 : Shanghai, China, August 26-30, 2013 : advanced lectures : Aug 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8050. Tutorial)

Unifying theories of programming and formal engineering methods : international training school on software engineering : held at ICTAC 2013 : Shanghai, China, August 26-30, 2013 : advanced lectures : Aug 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8050. Tutorial)
Paper図書
Springerc2013.<M17-14-578>
National Diet Library
  • Author Heading...hi fan da xue. ICTAC (Colloquium) (10th : 2013 : Shanghai, China)

Reached to the end of result.

RSS