1. Formal Methods and Software Engineering
پدیدآورنده : / Shengchao Qin, Zongyan Qiu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Formal methods and software engineering :
پدیدآورنده : Shengchao Qin, Zongyan Qiu (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
رده :
QA76
.
9
.
F67
I34
2011
3. Formal methods and software engineering. 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. proceedings
پدیدآورنده : ]edited by[ Shengchao Qin, Zongyan Qiu
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، software engineering
4. 16, 2010. Proceedings-Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15
پدیدآورنده : / Claude Gaudel (auth.), Shengchao Qin (eds.)-Ana Cavalcanti, Marie
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
5. 16, 2010. Proceedings-Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15
پدیدآورنده : / Claude Gaudel (auth.), Shengchao Qin (eds.)-Ana Cavalcanti, Marie
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
6. Unifying Theories of Programming
پدیدآورنده : / Shengchao Qin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
7. Unifying theories of programmin
پدیدآورنده : / Shengchao Qin (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programming--Congresses
رده :
QA
,
76
.
6
,.
U89
,
2010
