161. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
162. Automatic Re-Engineering of Software Using Genetic Programming
Author: / BY Conor Ryan
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Genetic Programming(Computer Science),Software Reengineering
Classification :
QA76
.
623
.
R93
2000
163. Automatic re-engineering of software using genetic programming
Author: / by Conor Ryan
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Genetic programming (Computer science),Software reengineering
Classification :
QA76
.
623
.
R93
2000
164. Automatic re-engineering of software using genetic programming
Author: / by Conor Ryan
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Genetic programming (Computer science),Software reengineering
Classification :
QA76
.
623
.
R93
2000
165. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
Author: Mainul Islam
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
166. Automating Instructional Design:
Author: edited by Robert D. Tennyson, Ann E. Barron.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Educational technology.,Software engineering.
167. Automating Instructional Design, Development, and Delivery
Author: edited by Robert D. Tennyson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
LB1028
.
38
E358
1994
168. Automating with SIMATIC : Controllers, Software, Programming, Data
Author: / Berger, Hans
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
Classification :
E-BOOK
169. Automotive systems and software engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineeringAutomatic programming (Computer science)
170. Autonomic and trusted computin
Author: / Chunming Rong ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Autonomic computing--Congresses,Computer security--Congresses,Computer networks--Security measures--Congresses
171. Aware Applications Using Tcl, A Powerful Dynamic Programming Language-Tcl 8.5 Network Programming : Build Network
Author: / Kocjan, Wojciech
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
Classification :
E-BOOK
172. Balancing agility and formalism in software engineerin
Author: / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses,Computer software--Development--Congresses
173. Based Reasoning, Programming, and Applications-Rule
Author: / Nick Bassiliades, Guido Governatori, Adrian Paschke
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
174. Basic Sensors in IOS: Programming the Accelerometer, Gyroscope, and Magnetometer
Author: / Alasdair Allan
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
175. Batch Processing Systems Engineering :
Author: edited by Ginraras V. Reklaitis, Aydin K. Sunol, David W.T. Rippin, Öner Hortaçsu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Chemical engineering.,Computer science.
Classification :
TP155
.
75
E358
1996
176. Bayesian Programming
Author: / Bessiere, Pierre
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING& METHODS|MINING &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
177. Beginning AI bot frameworks :
Author: Manisha Biswas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer networks.,Computer programming.,Software engineering.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,COMPUTERS-- General.,Network hardware.,Software engineering.
Classification :
Q335
178. Beginning Android Tablet Games Programming (Beginning Apress)
Author: / Jeremy Kerfs
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
179. Beginning Android Tablet Programming
Author: / Robbie Matthews
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
180. Beginning Arduino Programming
Author: / Brian Evans
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
