Resultados de Búsqueda por Autor

1

Imagen de Portada

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /

por Liu, Zhiming.
Publicado 2005

SpringerLink, via BECYT

Electrónico

2

Imagen de Portada

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /

por Liu, Zhiming.
Publicado 2006

SpringerLink, via BECYT

Electrónico

3

Imagen de Portada

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /

por Jones, Cliff B.
Publicado 2007

Otros Autores: '; “...Liu, Zhiming....”
SpringerLink, via BECYT

Electrónico

4

Imagen de Portada

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /

por George, Chris W.
Publicado 2007

Otros Autores: '; “...Liu, Zhiming....”
SpringerLink, via BECYT

Electrónico

5

Imagen de Portada

Theoretical Aspects of Computing ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /

por Jones, Cliff B.
Publicado 2007

Otros Autores: '; “...Liu, Zhiming....”
SpringerLink, via BECYT

Electrónico