Home Advanced Search

Advanced Search - Page 1

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.)
Program Design Calculi
  • PDF
  • English
  • Year: 1993
  • Author: Carroll Morgan (auth.), Manfred Broy (eds.)
On the Refinement Calculus
  • PDF
  • English
  • Year: 1994
  • Author: Carroll Morgan (auth.), Carroll Morgan BSc, PhD, Trevor Vickers BSc, PhD (eds.)
The Control Theory and Application for Well Pattern Optimization of Heterogeneous Sandstone Reservoirs
  • PDF
  • English
  • Year: 2017
  • Author: Dehua Liu, Jing Sun (auth.)
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Zuohua Ding (auth.), Martin Leucker, Carroll Morgan (eds.)
Red Chamber, World Dream: Actors, Audience, and Agendas in Chinese Foreign Policy and Beyond
  • PDF
  • English
  • Year: 2021
  • Author: Jing Sun
Effectiveness and Fairness of Chinese Higher Education Admissions Policy: Perceptions and Reforms
  • PDF
  • English
  • Year: 2023
  • Author: Jing Sun
Effectiveness and Fairness of Chinese Higher Education Admissions Policy: Perceptions and Reforms
  • EPUB
  • English
  • Year: 2023
  • Author: Jing Sun
Japan and China As Charm Rivals : Soft Power in Regional Diplomacy
  • EPUB
  • English
  • Year: 2012
  • Author: Jing Sun
Control Engineering: Fundamentals
  • PDF
  • English
  • Year: 2018
  • Author: Jing Sun
search