61. Foundations of security, protocols, and equational reasoning :
پدیدآورنده : Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols, Congresses.,Cryptography, Congresses.,Data protection, Congresses.,Logic design, Congresses.,Computer network protocols.,Cryptography.,Data protection.,Logic design.
رده :
QA76
.
9
.
A25
62. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
63. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
64. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
65. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده : Brian M. Fagan.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
66. Includes bibliographical references (p. 225-231) and index. 0
پدیدآورنده : Andrew Green.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
67. Information systems development :
پدیدآورنده : Rob Pooley [and others], editors
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Database management, Congresses.,Information storage and retrieval systems, Congresses.,Management information systems, Congresses.,Software engineering, Congresses.
رده :
QA75
.
5
68. Intelligence computation and evolutionary computation :
پدیدآورنده : Zhenyu Du (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence -- Congresses.,Evolutionary computation -- Congresses.,Intelligence informatique -- Congrès.
69. Intelligent information and database systems :
پدیدآورنده : Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
رده :
Q334
.
A85
2019
70. Intelligent information processing III
پدیدآورنده : Zhongzhi Shi, K. Shimohara, D. Feng (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Database management, Congresses.,Expert systems (Computer science), Congresses.
71. Intelligent systems for information processing :
پدیدآورنده : edited by Bernadette Bouchon-Meunier, Laurent Foulloy, Ronald R. Yager.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Expert systems (Computer science), Congresses.,Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Expert Systems.,Uncertainty.,Artificial intelligence.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Uncertainty (Information theory)
رده :
QA76
.
76
.
E95
I535
2003eb
72. Intelligent tutoring systems :
پدیدآورنده : edited by Andre Coy, Yugo Hayashi, Maiga Chang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-assisted instruction, Congresses.,Intelligent tutoring systems, Congresses.,Computer-assisted instruction.,Intelligent tutoring systems.
رده :
LB1028
.
73
.
I58
2019
73. Introducing TPCK / Matthew J. Koehler and Punya Mishra -- Bridging digital and cultural divides: TPCK for equity of access to technology / Mario Antonio Kelly -- TPCK in K-6 literacy education: it's not that elemen
پدیدآورنده : edited by AACTE Committee on Innovation and Technology.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
74. Item generation for test development /
پدیدآورنده : edited by Sidney H. Irvine, Patrick C. Kyllonen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Examinations-- Design and construction, Congresses.,Item response theory, Congresses.,EDUCATION-- Evaluation.,EDUCATION-- Testing & Measurement.,Examinations-- Design and construction.,Item response theory.,STUDY AIDS-- Tests.
رده :
LB3060
.
65
.
I834
2002eb
75. Justifying Private Law Remedies.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Remedies (Law)-- Congresses.
رده :
K2315
.
A6
--
C66
2006eb
76. KI 2018 :
پدیدآورنده : Frank Trollmann, Anni-Yasmin Turhan (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Public administration.
رده :
Q334
77. Knowledge engineering and knowledge management :
پدیدآورنده : Catherine Faron Zucker, Chiara Ghidini, Amedeo Napoli, Yannick Toussaint (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Knowledge acquisition (Expert systems), Congresses.,Semantic Web, Congresses.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Knowledge acquisition (Expert systems),Semantic Web.
رده :
QA76
.
76
.
E95
78. Knowledge graph and semantic computing :
پدیدآورنده : Jun Zhao, Frank van Harmelen, Jie Tang, Xianpei Han, Quan Wang, Xianyong Li (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Big data, Congresses.,Knowledge representation (Information theory), Congresses.,Semantic computing, Congresses.,Big data.,Knowledge representation (Information theory),Semantic computing.
رده :
QA76
.
5913
79. Knowledge graphs and semantic web :
پدیدآورنده : Boris Villazón-Terrazas, Yusniel Hidalgo-Delgado (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Semantic computing.,Semantic Web.
رده :
QA76
.
5913
80. Leading the Web in Concurrent Engineering :
پدیدآورنده : edited by Parisa Ghodous, Rose Dieng-Kuntz, and Geilson Loureiro.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Concurrent engineering, Congresses.,World Wide Web, Congresses.,Concurrent engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.,World Wide Web.
رده :
TS176
.
I76
2006eb