981. Unifying theories of programming :
پدیدآورنده : Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
982. Validation and verification of knowledge based systems :
پدیدآورنده : edited by Anca Vermesan and Frans Coenen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
V47
E358
2011
983. Verification, Model Checking, and Abstract Interpretation.
پدیدآورنده : \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستی‌آزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی
رده :
.
V4
2016
E-Book
,
984. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستی‌آزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
985. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
986. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
987. Verified software: theories, tools, experiments
پدیدآورنده : Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
V73
2012eb
988. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگره‌ها ,علوم کامپیوتر,شبکه‌های رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
989. Web engineering :
پدیدآورنده : Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
رده :
TK5105
.
888
990. Web engineering
پدیدآورنده : Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses,Web services, Congresses,World Wide Web, Congresses
رده :
TK5105
.
888
.
I28
2012eb
991. Web information systems and mining :
پدیدآورنده : Zhiguo Gong [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data mining, Congresses,Semantic Web, Congresses,Web services, Congresses
رده :
TK5105
.
88815
.
W57
2011
992. Web information systems engineering -- WISE 2018 :
پدیدآورنده : Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
رده :
TK5105
.
88813
993. Web services -- ICWS 2019 :
پدیدآورنده : John Miller, Eleni Stroulia, Kisung Lee, Liang-Jie Zhang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Web databases, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Web databases.,Web services.,World Wide Web.
رده :
TK5105
.
88813
994. Web services and formal methods :
پدیدآورنده : Mario Bravetti, Tevfik Bultan (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Web services, Congresses.
رده :
TK5105
.
88813
.
W74
2011
995. Web services and formal methods :
پدیدآورنده : Marco Carbone, Jean-Marc Petit (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
996. Wireless and satellite systems :
پدیدآورنده : Min Jia, Qing Guo, Weixiao Meng (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Wireless communication systems, Congresses.,Wireless communication systems.
رده :
TK5103
.
2
997. agent systems V-Software engineering for multi
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
998. based software engineering-Component
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
999. based software engineering :-Search
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Congresses. ;
