1. April 2, 2010, Revised Selected Papers-Foundations of Computer Software. Modeling, Development, and
پدیدآورنده: / Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
2. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
پدیدآورنده: / Radu Calinescu, Ethan Jackson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
3. Foundations of computer software : modeling, development, and verification of adaptive systems
پدیدآورنده:
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
