381. Rule interchange and applications
پدیدآورنده : Guido Governatori, John Hall, Adrian Paschke (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decision making-- Data processing, Congresses,Document markup languages, Congresses,Management information systems, Congresses,Metadata-- Standards, Congresses,Semantic Web, Congresses
رده :
QA76
.
76
.
H94
R88
2009eb
382. Rules on the web
پدیدآورنده : Antonis Bikakis, Adrian Giurca (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Rule-based programming, Congresses
رده :
QA76
.
6
.
R85
2012eb
383. Runtime Verification
پدیدآورنده : \ Ezio Bartocci, Rupak Majumdar (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستیآزمایی -- کنگره ها,روشهای صوری (کامپیوتر) -- کنگره ها,آزمونهای کامپیوتری -- نرمافزار -- کنگره ها
رده :
QA
76
.
76
.
V47
R82
2015
E-Book
,
384. Runtime verification
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming ; Congresses. ; Computersicherheit. ; swd. ; Datensicherung. ; swd. ; Echtzeitsystem-Computer software ; Verification ; Congresses. ; Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ; Aspect
385. Runtime verification
پدیدآورنده : Sarfraz Khurshid, Koushik Sen (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2011eb
386. Runtime verification :
پدیدآورنده : Axel Legay, Saddek Bensalem (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2013
387. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
388. Safe and secure software reuse :
پدیدآورنده : John Favaro, Maurizio Morisio (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Reusability -- Congresses.,Computer software -- Reusability.,Software engineering -- Congresses.
رده :
QA76
.
76
.
R47
J646
2013
389. Scalable uncertainty management :
پدیدآورنده : Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
390. Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
پدیدآورنده : Stefan Leue, Tarja Johanna Systa )eds.(
کتابخانه: (طهران)
موضوع : Graphic methods -- Congresses ، Software engineering,Congresses ، Computer network protocols,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3466
391. Search based software engineering :
پدیدآورنده : Myra B. Cohen, Mel Ó Cinnéide (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses
رده :
QA76
.
6
392. Search based software engineering
پدیدآورنده : Gordon Fraser, Jerffeson Teixeira de Souza (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses
رده :
QA76
.
758
.
I58
2012eb
393. Security and trust management :
پدیدآورنده : Sokratis K. Katsikas, Cristina Alcaraz (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer networks-- Security measures.,Computer programming-- software development.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Programming-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information retrieval.,Information technology: general issues.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
S76
2018
394. Security standardisation research :
پدیدآورنده : Cas Cremers, Anja Lehmann (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Information Technology.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A25
395. Sensor systems and software :
پدیدآورنده : Stephen Hailes, Sabrina Sicari, George Roussos (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Wireless sensor networks, Congresses.,Computer Applications.,Computer Communication Networks.,Computer Science.,Computer Systems Organization and Communication Networks.,Computers and Society.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet),Informatique.,Wireless sensor networks.
رده :
TK7872
.
D48
S38
2010
396. Serious games :
پدیدآورنده : Stefan Göbel, Augusto Garcia-Agundez, Thomas Tregel, Minhua Ma, Jannicke Baalsrud Hauge, Manuel Oliveira, Tim Marsh, Polona Caserman (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer games-- Design, Congresses.,Educational games, Congresses.,Game theory, Congresses.,Artificial intelligence.,Computer games-- Design.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- User Interfaces.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,Game theory.,Graphics programming.,Image processing.,Society & social sciences.,User interface design & usability.
رده :
QA76
.
76
.
C672
J65
2017eb
397. Service Oriented and Cloud Computing
پدیدآورنده : \ Schahram Dustdar, Frank Leymann, Massimo Villari (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Cloud computing -- Congresses.,Service-oriented architecture (Computer science) -- Congresses.,محاسبات ابری -- کنگره ها,معماری خدماتگرا (کامپیوتر) -- کنگره ها
رده :
QA
76
.
585
.
E8
2015
E-Book
,
398. Service-oriented and cloud computing :
پدیدآورنده : Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing, Congresses,Service-oriented architecture (Computer science), Congresses
رده :
TK5105
.
5828
.
E86
2013
399. Service-oriented computing :
پدیدآورنده : Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software.,Computer networks.,Database management.,Operating systems (Computers),Service-oriented architecture (Computer science), Congresses.,Software engineering.,Application software.,Computer networks.,Database management.,Operating systems (Computers),Software engineering.
رده :
TK5105
.
5828
400. Service-oriented computing :
پدیدآورنده : Paul P. Maglio [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic commerce, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Composite Applications.,Dienstgüte.,Dienstverwaltung.,Electronic commerce.,Electronic data processing-- Distributed processing.,Kundenorientierung.,Prozessmanagement.,Requirements engineering.,Servicegrad.,Serviceorientierte Architektur.,Web Services.,San Francisco Calif., 2010, 7
رده :
QA76
.
9
.
D5
I3224
2010