Books · Search
Software engineering · Computer software, development
Engineering Trustworthy Software Systems
2016
Qing suan Xiao Jun de fan dong si xiang
1949
Electronic data processing · Congresses
Theoretical Aspects of Computing -- ICTAC 2013
2013
Software engineering
Dependable Software Engineering : Theories, Tools, and Applications
2015
Application software
Mathematical Frameworks for Component Software
2006
Computer science · Software engineering
Formal Aspects of Component Software
2014
Formal methods (Computer science) · Congresses
Formal methods and software engineering
Parcel post
Guo nei you zheng bao jian ye wu
1982
Criticism and interpretation · Chinese Authors
Xiao Jun si xiang pi pan
2012
Chinese literature · History and criticism
Zhongguo xiang tu wen xue da xi
1996
Nong ye hong guan jue ce
1990
Social policy · Social conditions
Zhongguo te se she hui zhu yi she hui jian she
Real-time data processing · Programming languages (electronic computers)
Domain Modeling and the Duration Calculus
2007
Economics · Capitalism
Lun zi ben zhu yi
Xiao Jun pi pan
Theoretical Aspects of Computing - ICTAC 2004
2005
Electronic data processing · Information theory
Theoretical Aspects of Computing - ICTAC 2007
Theories of Programming and Formal Methods
Unifying Theories of Programming and Formal Engineering Methods
Automated Technology for Verification and Analysis
2009
Business schools · Master of business administration degree
Quan qiu shi da shang xue yuan
1998
Theoretical Aspects of Computing - ICTAC 2022
2022
Education
Research on the Construction of Practical Teaching System for Digital Media Art and Design Majors
2024
