1. Advances in Computers
پدیدآورنده : \ Edited by atif memon, Ali r. Hurson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
2
.
A394
2015
E-Book
,
2. Fundamentals of Computation Theory
پدیدآورنده : \ Adrian Kosowski , Igor Walukiewicz (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Software engineering.,Computer science -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,علوم کامپیوتر -- کنگره‌ها
رده :
QA
76
.
76
.
F8
2015
E-Book
,
3. Graph and Model Transformation
پدیدآورنده : \ Hartmut Ehrig...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,Categories (Mathematics),م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,رسته‌ها (ریاضیات)
رده :
QA
76
.
G7
2015
E-Book
,
4. Information Modelling for Archaeology and Anthropology
پدیدآورنده : \ Cesar Gonzalez-Perez
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
5. New Horizons in Design Science
پدیدآورنده : \ [edited by] Brian Donnellan...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,Information systems.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,نظام‌های اطلاع‌رسانی
رده :
QA
76
.
N4
2015
E-Book
,
6. Risk Assessment and Risk-Driven Testing
پدیدآورنده : \ [edited by] Fredrik Seehusen...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer networks,کامپیوتر,شبکه‌های کامپیوتری,a03,a04,a03,a04,Software engineering.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
R5
2015
E-Book
,
7. SDL 2015
پدیدآورنده : \ [edited by] Joachim Fischer...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Computer organization.,Software engineering.,کامپیوترها -- سازمان ,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
S3
2015
E-Book
,
8. Software Engineering for Collective Autonomic Systems
پدیدآورنده : \ [Edited by] MartinWirsing...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Software engineering.,Autonomic computing.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,محاسبات خودمختار
رده :
QA
76
.
76
.
S62
2015
E-Book
,
9. Verified software
پدیدآورنده : \ Arie Gurfinkel , Sanjit A. Seshia (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Computer programming.,Software engineering.,برنامه‌نویسی ,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
V4
2016
E-Book
,
