Jump to main content

yr 〜
yr

Search results 3

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
  • Subject HeadingComputer science--Mathematics--Congresses. Computer programming--Congresses. ICTAC
  • Note (General)... of Computing (ICTAC) is a series of annual events...
  • Author HeadingICTAC (Colloquium) (10th : 2013 : S...

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
  • Subject Heading...g--Congresses. ICTAC Unifying theories Programming
  • Author Heading...hi fan da xue. ICTAC (Colloquium) (10th : 2013 : S...

Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings

Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings
Paper図書
Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)Springerc2013
Other Libraries in Japan
  • Subject HeadingComputer science -- Mathematics -- Congresses Computer programming -- Congresses ICTAC
  • Subject Heading (ID)Computer science -- Mathematics -- Congresses Computer programming -- Congresses ICTAC
  • Author HeadingICTAC Liu, Zhiming Woodcock, James ...

Reached to the end of result.

RSS