121. DIANA An Intermediate Language for Ada

پدیدآورنده :

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

موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.

رده :
QA76
.
73
.
A35
E358
1983

122. DNA computing and molecular programming :

پدیدآورنده :

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

موضوع : Molecular computers, Congresses.,Artificial Intelligence.,Coding and Information Theory.,Computation by Abstract Devices.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Artificial intelligence.,Coding theory & cryptology.,Computer networking & communications.,Computer programming-- software development.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Machine Theory.,Computers-- Programming-- General.,Image processing.,Molecular computers.,User interface design & usability.

رده :
QA76
.
887
.
I58
2018eb

123. Darwin2K

پدیدآورنده :

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

موضوع : Artificial intelligence.,Engineering design.,Engineering.,Mechanical engineering.,Systems theory.

124. Data Science and Analytics

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computers. ; Artificial intelligence. ; Computer security. ; Computer organization. ; Software engineering. ; Information Systems and Communication Service. ;

125. Data Science and Analytics

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Data processing. ; Optical data processing. ; Information Systems and Communication Service. ; -Computers. ; Artificial intelligence. ; Computer organization. ; Application software. ; Education

126. Data privacy management, cryptocurrencies and blockchain technology :

پدیدآورنده :

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

موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computers and Society.,Information Systems and Communication Service.,Software Engineering/Programming and Operating Systems.,Systems and Data Security.,Computer networking & communications.,Computer security.,Computer security.,Computers-- Online Services-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data protection.,Ethical & social aspects of IT.,Software Engineering.

رده :
QA76
.
9
.
A25

127. Data science and predictive analytics :

پدیدآورنده :

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

موضوع : Big data.,Mathematical statistics.,Medical records-- Data processing.,R (Computer program language),Big Data.,Big Data/Analytics.,Data Mining and Knowledge Discovery.,Health Informatics.,Probability and Statistics in Computer Science.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Mathematical & Statistical Software.,Data mining.,Databases.,Mathematical statistics.,Maths for computer scientists.,Medical equipment & techniques.,Medical-- General.,Medical records-- Data processing.,R (Computer program language)

رده :
QA76
.
9
.
B45
D56
2018

128. Data structures and algorithms using Python

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Python (Computer program language),Algorithms,Data structures (Computer science),COMPUTERS / Software Development & Engineering / General, bisacsh

رده :
‭
QA76
.
73
‬ ‭.
P98
,
N43
2011
‬

129. Data structures and algorithms using Python

پدیدآورنده :

موضوع : ، Python )Computer program language(,، Algorithms,، Data structures )Computer science(,، COMPUTERS / Software Development & Engineering / General

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

130. Debugging by thinking :

پدیدآورنده :

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

موضوع : Debugging in computer science.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Debugging in computer science.

رده :
QA76
.
9
.
D43
M48
2004b

131. Declarative programming and knowledge management :

پدیدآورنده :

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

موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.

رده :
QA76
.
615

132. Deductive Software Verification – The KeY Book

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

موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبان‌های برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار

رده :
E-Book
,

133. Dependable software systems engineering /

پدیدآورنده :

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

موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.

رده :
QA76
.
758

134. Der Computer - Mein Lebenswerk

پدیدآورنده :

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

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

رده :
TK7885
.
22
.
Z87
V665
1986

135. Design patterns /

پدیدآورنده :

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

موضوع : Object-oriented programming (Computer science),Software patterns.,Computer Science.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Engineering & Applied Sciences.,Object-oriented programming (Computer science),Object-oriented programming (Computer science),Software patterns.,Software patterns.

رده :
QA76
.
76
.
P37
L37
2006eb

136. Design problems, frames and innovative solutions /

پدیدآورنده :

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

موضوع : Engineering design.,Software engineering.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Engineering design.,Software engineering.

رده :
QA76
.
758
.
D97
2009

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

پدیدآورنده :

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

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

138. Designing software-intensive systems :

پدیدآورنده :

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

موضوع : Computer systems.,Software engineering.,Systems engineering-- Data processing.,Computer systems.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Software engineering.,Systems engineering-- Data processing.

رده :
QA76
.
758
.
D476
2009eb

139. Developing Business Applications with OpenStepTM

پدیدآورنده :

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

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

رده :
QA76
.
76
.
A65
B965
1997

140. Die 32-Bit-Expedition:

پدیدآورنده :

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

موضوع : Computer science.,Operating systems (Computers),Software engineering.

رده :
QA76
.
76
.
O63
V668
1993