121. Designing, engineering, and analyzing reliable and efficient software

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software -- Development.,COMPUTERS -- Programming -- Open Source.,Software engineering.

122. Discrete-Event Simulation

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics.,Computer simulation.,Economics.,Mathematics.,Operations research.

123. ENUMATH 2013-Numerical Mathematics and Advanced Applications

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, INDUSTRIAL

رده :
E-BOOK

124. Enabling Technologies for Computational Science

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer Communication Networks.,Computer science.,Electronic data processing.,Information theory.

125. Encyclopedia of Computer Science and Technology /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.

رده :
T58
.
5
.
E53
2017

126. Encyclopedia of information technology curriculum integration [electronic resource]

پدیدآورنده:

کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)

موضوع: Educational technology--Encyclopedias,Information technology--Encyclopedias,Education--Curricula--Encyclopedias

رده :
EB
,
LB1028
.
3
.
E63
2008

127. Essential Mathematics for Games and Interactive Applications, Third Edition

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY

رده :
E-BOOK

128. Facing the Multicore - Challenge II

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems

129. Fields of Logic and Computation II

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها

رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,

130. Forced migration, human rights and security /

پدیدآورنده:

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

131. Formal Aspects of Measurement :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Software engineering.

132. Formal aspects of component software :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
F67

133. Formal methods :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
F67

134. Formal methods and software engineering :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
9
.
F67

135. Formal modeling and analysis of timed systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.

رده :
QA76
.
9
.
F67

136. Fortran 2018 with parallel programming /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: FORTRAN (Computer program language),Parallel programming (Computer science),COMPUTERS-- Computer Engineering.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- Programming Languages-- General.,FORTRAN (Computer program language),Parallel programming (Computer science)

رده :
QA76
.
73
.
F25
R39
2020eb

137. Foundations of algebraic specification and formal software development

پدیدآورنده:

کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)

موضوع: Computer science--Mathematics.,Software engineering.,Computer software--Development.

رده :
QA76
.
9
.
M35
S26
2012

138. Foundations of software science and computation structures :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
751
.
F67
2018eb

139. Foundations of statistics for data scientists

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Mathematical analysis,Quantitative research,R (Computer program language),Python (Computer program language),Statistical methods.,Statistical methods.

رده :
QA276
.
4

140. Genetic Algorithms + Data Structures = Evolution Programs

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Software engineering.

رده :
QA76
.
9
.
A43
B993
1994