181. Flow analysis of computer programs
Author: Hecht, Matthew S.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
Classification :
QA
76
.
6
.
H4


182. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: 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.
Classification :
QA76
.
9
.
F67


183. From logic design to logic programming : theorem proving techniques and P-functions
Author: Dominique Snyers, Andre Thayse
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Computer algorithms,، Logic programming
Classification :
QA
76
.
L28
Vol
.
271


184. Fundamental algorithms for computer graphics
Author: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics )5891 : Ilkley, West Yorkshire(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Programming- Congresses,، Computer algorithms- Congresses,، Computer graphics- Congresses
Classification :
QA
76
.
6
.
N379
1985


185. Fundamental algorithms for computer graphics
Author: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics, )5891, Ilkley, West Yorkshire(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer algorithms-- Congresses,، Computer graphics-- Congresses
Classification :
QA
76
.
6
.
N379
1985


186. Fundamental of flowcharting
Author: / [by] Tomas J. Schriber
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computer-Programming,Flow charts,Algorithms
Classification :
QA
76
.
5
.
S28


187. Fundamentals of computer algorithms
Author: Horowitz, Ellis.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Computer algorithms
Classification :
QA
76
.
6
.
H67


188. Fundamentals of computer algorithms /
Author: Ellis Horowitz, Sartaj Sahni.,Horowitz, Ellis.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming.,Computer algorithms.
Classification :
QA76
.
6
.
H67


189. Fundamentals of computer algorithms /
Author: Ellis Horowitz, Sartaj Sahni
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Computer programming
Classification :
QA76
.
6
.
H67


190. Fundamentals of computer algorithms
Author: Horowitz, Ellis
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Electronic digital computer- Programming ► Algorithms
Classification :
H816f

191. Fundamentals of computer algorithms
Author: Horowitz, Ellis
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Electronic digital computer- Programming ► Algorithms
Classification :
H816f

192. Fundamentals of computer algorithms
Author: Horowitz, Ellis.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Computer algorithms
Classification :
QA
76
.
6
.
H67


193. Fundamentals of computer algorithms
Author: / Ellis Horowitz Sartaj Sahni
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Electronic digital computers -- Programming,Computer algorithms
Classification :
QA76
.
6
.
H67
1978


194. Fundamentals of flowcharting
Author: Schriber, Thomas J.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Flow charts,، Computer algorithms
Classification :
QA
76
.
5
.
S28


195. Fundamentals of flowcharting
Author: / (by) Thomas J. Schriber
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Flow charts,Computer algorithms
Classification :
QA
76
.
5
.
S28


196. Fundamentals of the average case analysis of particular algorithms
Author: / Rainer Kemp
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer programming,Algorithms
Classification :
QA76
.
6
.
K453
1984


197. Fundamentals of the average case analysis of particular algorithms
Author: Kemp, Rainer.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Computer algorithms
Classification :
QA
76
.
6
.
K453
1984


198. Fuzzy logic, neural networks, and evolutionary computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14- 15, 1995 : selected papers
Author: Takeshi Furuhashi, Yoshiki Uchikawa )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Neural networks )Computer science(,، Fuzzy systems,، Genetic algorithms,، Evolutionary programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
1152


199. Gene expression programming
Author: / Candida Ferreira
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Genetic programming (Computer science),Genetic algorithms.

200. Gene expression programming
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Genetic programming (Computer science) ; Genetic algorithms. ;
