41. Dependable software systems engineering /
پدیدآورنده : edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
رده :
QA76
.
758
42. Developing Information Systems :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : System design.,Computer science-- Congresses.,Database management, Congresses.,Information storage and retrieval systems-- Congresses.
رده :
QA75
.
5
43. Developments and advances in defense and security :
پدیدآورنده : editors, Álvaro Rocha and Robson Pacheo Pereira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Military policy, Congresses.,National security, Congresses.,Computer security.,HISTORY / Military / Other.,Military policy.,National security.,TECHNOLOGY & ENGINEERING / Military Science.
رده :
UA10
.
5
44. Distributed computing :
پدیدآورنده : David Peleg (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses,Electronic data processing-- Distributed processing, Congresses
رده :
QA76
.
9
.
D5
D53
2011
45. E-commerce and web technologies : 4th international conference, EC-Web 2003, Prague, Czech Republic, September 2-5 2003 : proceedings
پدیدآورنده : Kurt Bauknecht, A. Min Tjoa, Gerald Quirchmayr )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Security measures -- Congresses ، Electronic commerce,Congresses ، Electronic commerce,Congresses ، Software engineering,Congresses ، Internet,Congresses ، World Wide Web
رده :
QA
76
.
L28
Vol
.
2738
46. Electronic voting :
پدیدآورنده : Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic voting, Congresses.,Computer networking & communications.,Computer security.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Computers-- Software Development & Engineering-- General.,Data encryption.,Electronic voting.,Ethical & social aspects of IT.,Public administration.,Software Engineering.
رده :
JF1032
47. Emerging research in electronics, computer science and technology :
پدیدآورنده : V. Sridhar, M. C. Padma, K. A. Radhakrishna Rao, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering, Congresses.,Technological innovations, Congresses.,Engineering.,Technological innovations.
رده :
T173
.
8
48. Emerging technologies for authorization and authentication :
پدیدآورنده : Andrea Saracino, Paolo Mori (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Access control, Congresses.,Computer security, Congresses.,Computer science.,Computer security.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data protection.,Information retrieval.,Information technology: general issues.,Network hardware.,Pattern recognition.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
49. Engineering Secure Software and Systems
پدیدآورنده : \ [edited by] Frank Piessens, Juan Caballero, Nataliia Bielova.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer security -- Congresses.,Software engineering -- Congresses.,Data encryption (Computer science) -- Congresses.,کامپیوترها -- ایمنی اطلاعات -- کنگرهها ,نرمافزار -- مهندسی-- کنگرهها ,رمزگذاری دادهها -- کنگرهها
رده :
QA
76
.
9
.
E5
2015
E-Book
,
50. Engineering secure software and systems
پدیدآورنده : Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses,Computer security, Congresses,Data encryption (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
A25
E54
2011eb
51. Engineering secure software and systems :
پدیدآورنده : Úlfar Erlingsson, Roel Wieringa, Nicola Zannone (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses,Computer software-- Security measures, Congresses,Internet-- Security measures, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
A25
E87
2011
52. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
53. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer security.,Computer software.,Software engineering.
رده :
QA76
.
758
54. Evaluation of novel approaches to software engineering :
پدیدآورنده : Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses.,Software engineering.
رده :
QA76
.
758
.
E53
2018
55. Experimental algorithms
پدیدآورنده : / Paola Festa (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer algorithms, Congresses
رده :
QA76
.
9
.
A43S42
2010
56. Formal methods and software engineering :
پدیدآورنده : Shengchao Qin, Zongyan Qiu (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
رده :
QA76
.
9
.
F67
I34
2011
57. Formal methods for components and objects :
پدیدآورنده : Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
F53
2012
58. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
59. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
60. Frontier computing :
پدیدآورنده : Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5