201. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
202. The sementary of programming languages
پدیدآورنده : / Mattew Hennessy,Hennessy
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Programming language (Electronic Computers),Semantic
رده :
QA
76
.
7
.
H4
1990
203. Theoretical aspects of object-oriented programming : types, semantics, and language design
پدیدآورنده : edited by Carl A. Gunter and John C. Mitchell
کتابخانه: (طهران)
موضوع : ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
64
.
T4
204. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjorner and O.N. Oest
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
205. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjørner and O.N. Oest.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
206. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده : edited by Hélène Kirchner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996
207. Truth, deduction, and computation
پدیدآورنده : / R.E. Davis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
