1. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
2. Mathematical and Engineering Methods in Computer Science
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
3. Mathematical and Engineering Methods in Computer Science
پدیدآورنده : \ Jan Kofroň , Tomáš Vojnar (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
M32
2016
E-Book
,
4. Mathematical and engineering methods in computer science
پدیدآورنده : Zdeněk Kotásek ... [et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer science, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
M46
2011eb
5. Perspectives of System Informatics
پدیدآورنده : \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
