181. Static analysis :
Author: Antoine Miné, David Schmidt (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.
Classification :
QA76
.
6
.
I5733
2012eb


182. Static analysis
Author: Jens Palsberg, Zhendong Su (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA76
.
6
.
I5733
2009


183. Static analysis :
Author: Eran Yahav (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA76
.
6


184. Swift by example :
Author: Giordano Scalzo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development,Programming languages (Electronic computers)
Classification :
QA76
.
7


185. Swift 3 for Absolute Beginners
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
Classification :
QA76
.
73
.
S95


186. Systems software tools
Author: Ted J. Biggerstaff
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Programming languages )Electronic computers( , IBM personal computer - Programming , C )Computer program language(
Classification :
QA
76
.
7
.
B52


187. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
Author: J. Diaz, F. Orejas )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
351-352


188. The Agent Modeling Language--AML
Author: / Radovan Cervenka, Ivan Trencansky
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
Classification :
QA
,
76
.
76
,.
I58
,
C47
,
2007


189. The C answer book :
Author: Clovis L. Tondo, Scott E. Gimpel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)

190. The Imperative future :principles of executable temporal logic
Author: edited by Howard Barringer ... ]et al.[
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
D47
I47
1996


191. The computer comes of age :
Author: R. Moreau ; translated by J. Howlett
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers-- History,Programming languages (Electronic computers)-- History
Classification :
QA76
.
17
.
M6713
1984


192. The computer comes of age: the people, the hardware, and the software
Author: Moreau, Rene
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: History ، Computers,History ، Programming languages )Electronic computers(
Classification :
QA
76
.
17
.
M6713
1984


193. The design and analysis of computer algorithms /
Author: Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
Classification :
QA76
.
6
.
A36


194. The joy of Kotlin /
Author: Pierre-Yves Saumont.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers),Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers)
Classification :
QA76
.
62


195. The (new) Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
Classification :
QA76
.
D448
1993


196. The school of Niklaus Wirth : the art of simplicity
Author: Laszlo Boszrmenyi, Jurg Gutknecht, Gustav Pombergerg )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Wirth, Niklaus,، Software engineering,Research ، Computer science,، Computer programming,، Programming languages )Electronic computers(
Classification :
QA
76
.
756
.
S3


197. Transactions on pattern languages of programming II
Author: James Noble ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Software engineering,Software patterns
Classification :
QA76
.
76
.
P37
T73
2011


198. Transactions on pattern languages of programming IV /
Author: James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Software patterns.,Programming languages (Electronic computers),Software patterns.
Classification :
QA76
.
76
.
P37


199. Transitioning to Swift /
Author: Scott Gardner
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
A65


200. Trends in functional programming :
Author: edited by Meng Wang, Scott Owens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
62

