Jump to main content

yr 〜
yr

Search results 8

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday : 10th international colloquium on theoretical aspects of computing : ICTAC 2013 : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8051. Festschrift)

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday : 10th international colloquium on theoretical aspects of computing : ICTAC 2013 : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8051. Festschrift)
Paper図書
Springerc2013.<M17-14-579>
National Diet Library
  • Author HeadingLiu, Zhiming, 1961- Woodcock, Jim. Zhu, Huibiao. ...

Formal aspects of component software : 10th international symposium, FACS 2013 : Nanchang, China, October 27-29, 2013 : revised selected papers : Oct 2013, Nanchang, China. (Lecture Notes in Computer Science ; 8348)

Formal aspects of component software : 10th international symposium, FACS 2013 : Nanchang, China, October 27-29, 2013 : revised selected papers : Oct 2013, Nanchang, China. (Lecture Notes in Computer Science ; 8348)
Paper図書
Springer[2014]<M17-15-714>
National Diet Library
  • Author Heading...é Luiz, 1961- Liu, Zhiming, 1961- Xue, Jinyun. Jiangxi shi fan ...

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 Heading...anghai, China) Liu, Zhiming, 1961- Woodcock, Jim. Zhu, Huibiao. ...

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...anghai, China) Liu, Zhiming, 1961- Woodcock, Jim. Zhu, Huibiao. ...

Automated technology for verification and analysis : 7th international symposium, ATVA 2009 : Macao, China, October 14-16, 2009 : proceedings. : ATVA conferences : Oct 2009, Macao, China. (Lecture Notes in Computer Science ; 5799)

Automated technology for verification and analysis : 7th international symposium, ATVA 2009 : Macao, China, October 14-16, 2009 : proceedings. : ATVA conferences : Oct 2009, Macao, China. (Lecture Notes in Computer Science ; 5799)
Paper図書
Springerc2009.<M17-10-1261>
National Diet Library
  • Author Heading...re Technology. Liu, Zhiming, 1961- Ravn, Anders P. Instituto Pol...

Theoretical aspects of computing -- ICTAC 2007 : 4th international colloquium : Macao, China, September 26-28, 2007 : proceedings. : Sep 2007, Macao, China. (Lecture Notes in Computer Science ; 4711)

Theoretical aspects of computing -- ICTAC 2007 : 4th international colloquium : Macao, China, September 26-28, 2007 : proceedings. : Sep 2007, Macao, China. (Lecture Notes in Computer Science ; 4711)
Paper図書
Springerc2007.<M17-08-715>
National Diet Library
  • Author HeadingJones, C. B. (Cliff B.) , 1944- Liu, Zhiming, 1961- Woodcock, Jim. ICTAC 2007 (20...

Domain modeling and the duration calculus : international training school : Shanghai, China, September 17-21, 2007 : advanced lectures. : ICTAC training school on domain modelling and duration calculus : Sep 2007, Shanghai, China. (Lecture Notes in Computer Science ; 4710. Tutorial)

Domain modeling and the duration calculus : international training school : Shanghai, China, September 17-21, 2007 : advanced lectures. : ICTAC training school on domain modelling and duration calculus : Sep 2007, Shanghai, China. (Lecture Notes in Computer Science ; 4710. Tutorial)
Paper図書
Springerc2007.<M17-07-2729>
National Diet Library
  • Author Heading...orge, Chris W. Liu, Zhiming, 1961- Woodcock, Jim. ICTAC Training...

Formal methods and software engineering : 8th international conference on formal engineering methods, ICFEM 2006 : Macao, China, November 1-3, 2006 : proceedings. : Nov 2006, Macao, China. (Lecture Notes in Computer Science ; 4260)

Formal methods and software engineering : 8th international conference on formal engineering methods, ICFEM 2006 : Macao, China, November 1-3, 2006 : proceedings. : Nov 2006, Macao, China. (Lecture Notes in Computer Science ; 4260)
Paper図書
Springerc2006.<M17-07-217>
National Diet Library
  • Author Heading...re Technology. Liu, Zhiming, 1961- He, Jifeng, 1943- Internation...

Reached to the end of result.

RSS