141. Empowering learners for life in the digital age :
پدیدآورنده : Don Passey, Rosa Bottino, Cathy Lewin, Eric Sanchez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Education-- Data processing, Congresses.,Education-- Data processing.
رده :
LB1028
.
43
142. Encyclopedia of Computer Science and Technology /
پدیدآورنده : edited by Phillip A. Laplante.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.
رده :
T58
.
5
.
E53
2017
143. Engineering Databases :
پدیدآورنده : edited by José L. Encarnação, Peter C. Lockemann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Database management.,Software engineering.
رده :
TA345
.
E358
1990
144. Enhanced MS-DOS match file programming
پدیدآورنده : Dan Gookin
موضوع : Electronic data processing - Batch processing,Microcomputers-programming,File organization (Computer science)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
145. European Symposium on Computer Aided Process Engineering--10 :
پدیدآورنده : organized by AIDIC, the Italian Association of Chemical Engineering ; edited by Sauro Pierucci.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Chemical process control-- Data processing, Congresses.,Computer integrated manufacturing systems, Congresses.,Chemical process control-- Data processing.,Computer integrated manufacturing systems.,SCIENCE-- Chemistry-- Industrial & Technical.,TECHNOLOGY & ENGINEERING-- Chemical & Biochemical.
رده :
TP155
.
75
.
E97
2000eb
146. Evolutionary computation in combinatorial optimization :
پدیدآورنده : Arnaud Liefooghe, Manuel López-Ibáñez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial optimization-- Data processing, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Combinatorial optimization-- Data processing.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.
رده :
QA76
.
618
147. Exploring the .NET Core 3.0 runtime :
پدیدآورنده : Roger Villela.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Microsoft .NET Framework.,Microsoft .NET Framework.,Application software-- Development.,Computer programming.,Application software-- Development.,Computer programming.
رده :
QA76
.
76
.
A65
V55
2019eb
148. 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
149. Foundations of computer science /
پدیدآورنده : Behrouz Forouzan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer science.,Informatique-- Manuels d'enseignement supérieur.
رده :
QA76
.
F623
2018
150. Fundamental algorithms for computer graphics
پدیدآورنده : NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics, )5891, Ilkley, West Yorkshire(
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer algorithms-- Congresses,، Computer graphics-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
151. Fuzzy Logic and Applications
پدیدآورنده : edited by Vito Di Gesú, Francesco Masulli, Alfredo Petrosino.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer vision.,Database management.,Database management.,Information organization.,Information retrieval.,Information storage and retrieva.,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices.,Image Processing and Computer Vision.,Mathematical Logic and Formal Languages.
152. Fuzzy logic and applications :
پدیدآورنده : Robert Fullér, Silvio Giove, Francesco Masulli (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Fuzzy logic, Congresses.,Fuzzy logic.
رده :
QA9
.
64
153. GWAI-87 11th German Workshop on Artifical Intelligence :
پدیدآورنده : edited by Katharina Morik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Database management.
154. Game theory for security and risk management :
پدیدآورنده : Stefan Rass, Stefan Schauer, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Game theory.,Risk management.,BUSINESS & ECONOMICS-- Economics-- General.,BUSINESS & ECONOMICS-- Reference.,Computer security.,Game theory.,Game theory.,Operational research.,Risk management.
رده :
HB144
155. Genetic and evolutionary computing :
پدیدآورنده : Jeng-Shyang Pan, Jerry Chun-Wei Lin, Bixia Sui, Shih-Pang Tseng, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Evolutionary computation, Congresses.,Genetic algorithms, Congresses.,Genetic programming (Computer science), Congresses.,Evolutionary computation.,Genetic algorithms.,Genetic programming (Computer science)
رده :
QA76
.
623
.
I58
2018
156. Geometric modelling, numerical simulation, and optimization :
پدیدآورنده : Geir Hasle, Knut-Andreas Lie, Ewald Quak, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Differential equations.,Numerical analysis.,Differential equations.,Differential equations.,MATHEMATICS-- Numerical Analysis.,Numerical analysis.,Numerical analysis.
رده :
QA297
.
G46
2007eb
157. Grid computing for developers /
پدیدآورنده : Vladimir Silva.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational grids (Computer systems),Computer software-- Development.,Grilles informatiques.,Logiciels-- Développement.,Computational grids (Computer systems),Computer software-- Development.,COMPUTERS-- Client-Server Computing.
رده :
QA76
.
9
.
C58
S56
2006eb
158. Guide to Teaching Computer Science
پدیدآورنده : by Orit Hazzan, Tami Lapidot, Noa Ragonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Education.,Science-- Study and teaching.
159. Guide to teaching computer science
پدیدآورنده : Orit Hazzan, Tami Lapidot, Noa Ragonis
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer science, Study and teaching,Active learning
رده :
QA
،
76
.
27
،.
H39
،
2011
160. HL7 for BizTalk /
پدیدآورنده : Howard Edidin, Vikas Bhardwaj
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Microsoft BizTalk,Microsoft BizTalk server,Medical records-- Data processing,Computer Science,Programming Languages, Compilers, Interpreters,Programming Techniques
رده :
QA76
.
9
.
C55