Home Advanced Search

Advanced Search - Page 1

Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Dominique Méry, Neeraj Kumar Singh (auth.), Zhiming Liu, Alan Wassyng (eds.)
Using Event-B for Critical Device Software Systems
  • PDF
  • English
  • Year: 2013
  • Author: Neeraj Kumar Singh (auth.)
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Alan Burns, Andy Wellings (auth.), Chris W. George, Zhiming Liu, Jim Woodcock (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.)
Employee Relations Management
  • PDF
  • English
  • Year: 2011
  • Author: P. N. Singh, Neeraj Kumar
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: José Luiz Fiadeiro (auth.), Zhiming Liu, Keijiro Araki (eds.)
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mark R. Greenstreet (auth.), Zhiming Liu, Anders P. Ravn (eds.)
search