Home Advanced Search

Advanced Search - Page 1

Algebraic Methodology and Software Technology: 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Zhou Chaochen (auth.), Armando M. Haeberer (eds.)
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Zhou Chaochen (auth.), Zhiming Liu, Jifeng He (eds.)
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou (auth.), Kazunori Ueda (eds.)
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou (auth.), Kazunori Ueda (eds.)
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou (auth.), Kazunori Ueda (eds.)
Duration Calculus: A Formal Approach to Real-Time Systems
  • PDF
  • English
  • Year: 2004
  • Author: Zhou Chaochen, Michael R. Hansen
Duration Calculus: A Formal Approach to Real-Time Systems
  • DJVU
  • English
  • Year: 2004
  • Author: Zhou Chaochen, Michael R. Hansen
Duration Calculus: A Formal Approach to Real-Time Systems
  • PDF
  • English
  • Year: 2004
  • Author: Chaochen Zhou, Michael R. Hansen
Hypermedia Courseware: Structures of Communication and Intelligent Help: Proceedings of the NATO Advanced Research Workshop on Structures of Communication and Intelligent Help for Hypermedia Courseware, held at Espinho, Portugal, April 19–24, 1990
  • PDF
  • English
  • Year: 1992
  • Author: Armando Oliveira (auth.), Armando Oliveira (eds.)
Telomeres and Telomerase: Methods and Protocols
  • PDF
  • English
  • Year: 2011
  • Author: Zhou Songyang (auth.), Zhou Songyang (eds.)
search