201. Multi-agent systems :
پدیدآورنده : Marija Slavkovik (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Multiagent systems, Congresses.,Multiagent systems.
رده :
QA76
.
76
.
I58
202. NASA Formal Methods :
پدیدآورنده : Julia M. Badger, Kristin Yvonne Rozier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N45
2019
203. Networked Digital Technologies :
پدیدآورنده : edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer Communication Networks.,Computer science.,Database management.,Information storage and retrieval systems.,Information systems.,Software engineering.,Artificial Intelligence (incl. Robotics).,Computer Communication Networks.,Computer Science.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Software Engineering.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Computer science.,Database management.,Information storage and retrieval systems.,Software engineering.
رده :
QA76
.
76
.
A65
I58
2010
204. Neural nets, WIRN Vietri-96 :
پدیدآورنده : Maria Marinaro and Roberto Tagliaferri, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Neural networks (Computer science)
رده :
QA76
.
87
M375
1997
205. Neural networks:
پدیدآورنده : Bert Kappen and Stan Gielen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Intelligence artificielle.,Neural networks (Computer science) -- Congresses.,Réseaux neuronaux.
رده :
QA76
.
87
B478
1995
206. New Trends in Software Methodologies, Tools and Techniques :
پدیدآورنده : edited by Hamido Fujita and Paul Johannesson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Software engineering.
رده :
QA76
.
758
.
L94
2002eb
207. New technologies for digital crime and forensics: devices, applications, and software
پدیدآورنده : Chang-Tsun Li and Anthony T.S. Ho, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Technological innovations ، Criminal investigation
رده :
HV
8073
.
N468
208. New trends in model and data engineering :
پدیدآورنده : El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery, Kazumi Nakamatsu, Carlos Ordonez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer architecture.,Computer networking & communications.,Computer science.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Database management.,Knowledge management.,Software Engineering.
رده :
QA76
.
9
.
D3
209. Open source identity management patterns and practices using openAM 10.x
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- Verification,Identification-- Computer programs,Online identities,Open source software
رده :
GN192
K466564
2013
210. Open source software :
پدیدآورنده : Etiel Petrinja, Giancarlo Succi, Nabil El Ioini, Alberto Sillitti (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software -- Quality control -- Congresses.,Computer software -- Quality control.,Open source software -- Congresses.
رده :
QA76
.
76
.
S46
E854
9999
211. PRACTICAL HANDBOOK OF WAREHOUSING.
پدیدآورنده : KENNETH B ACKERMAN
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
HF5485
.
K466
1991
212. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
213. Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
پدیدآورنده : Godefroid, Patrice
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1032
214. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
215. Perspectives on the Future of Software Engineering :
پدیدآورنده : edited by Jürgen Münch, Klaus Schmid.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Information Systems.,Software engineering.
رده :
QA76
.
9
.
M3
E358
2013
216. Petri Nets :
پدیدآورنده : edited by W. Brauer ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
217. Petri Nets :
پدیدآورنده : edited by W. Brauer ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
218. Principles and Practice of Constraint Programming :
پدیدآورنده : edited by Christian Schulte.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
219. Principles of model checking
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer systems ; Verification. ; Computer software ; Verification. ;
220. Principles of security and trust :
پدیدآورنده : Flemming Nielson, David Sands (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
P67
2019eb