Výsledky hledání pro autora

1

Obálka

Theoretical aspects of computing - ICTAC 2004 : first International Colloquium : Guiyang, China, September 20-24, 2004 : revised selected papers /

Vydáno 2005

Další autoři: '; “...Liu, Zhiming, 1961-...”

Kniha

2

Obálka

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings /

Vydáno 2006

Další autoři: '; “...Liu, Zhiming, 1961-...”

Kniha

3

Obálka

Domain modeling and the duration calculus : international training school : Shanghai, China, September 17-21, 2007 : advanced lectures /

Vydáno 2007

Další autoři: '; “...Liu, Zhiming, 1961-...”

Kniha

4

Obálka

Theoretical aspects of computing - ICTAC 2007 : 4th International Colloquium : Macao, China, September 26-28, 2007 : proceedings /

Vydáno 2007

Další autoři: '; “...Liu, Zhiming, 1961-...”

Kniha

5

Obálka

Formal methods and hybrid real-time systems : essays in honour od Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays /

Vydáno 2007

Další autoři: '; “...Liu, Zhiming, 1961-...”

Kniha