1521. 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
1522. Theories of programming languages
پدیدآورنده: Reynolds, John C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
R495
1998
1523. Theories of programming languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ;
1524. Theories of programming languages
پدیدآورنده: / John C. Reynolds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
R495
,
1998
1525. Theory of computation
پدیدآورنده: Brainerd, Walter S
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
رده :
QA
267
.
5
.
S4
B68
1526. Theory of computation
پدیدآورنده: / (by) Walter S. Brainerd (and) Lawrence H. Landweber
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Sequential machine theory,Recursive functions,Programming languages (Electronic computers)
رده :
QA
267
.
5
.
S4
B68
1527. Theory of computation
پدیدآورنده: Brainerd, Walter S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Sequential machine theory►Recursive functions►Programming languages (Electronic computers)
رده :
267
.
5
.
S4
,
B68
1528. Thinking in LINQ :
پدیدآورنده: Sudipta Mukherjee
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Query languages (Computer science)
رده :
QA76
.
7
1529. Thinking machines and the philosophy of computer science
پدیدآورنده: / [edited by] Jordi Vallverdu
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer science -- Philosophy,Computers -- Moral and ethical aspects,Artificial intelligence
رده :
EBL
788
1530. Threaded interpretive languages: their desing and implementation
پدیدآورنده: Loeliger, R. G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
رده :
QA
76
.
7
.
L63
1531. Time-shared computer languages
پدیدآورنده:
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Time-sharing computer systems
رده :
QA
76
.
7
.
S36
1532. Time-shared computer languages: an introduction to conversational computing
پدیدآورنده: Schur, Lee David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Time-sharing computer systems
رده :
QA
76
.
7
.
S36
1533. 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
1534. 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
1535. Transactions on pattern languages of programming II
پدیدآورنده: James Noble ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Software engineering,Software patterns
رده :
QA76
.
76
.
P37
T73
2011
1536. Transactions on pattern languages of programming IV /
پدیدآورنده: James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Software patterns.,Programming languages (Electronic computers),Software patterns.
رده :
QA76
.
76
.
P37
1537. Transitioning to Swift /
پدیدآورنده: Scott Gardner
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software-- Development,Programming languages (Electronic computers)
رده :
QA76
.
76
.
A65
1538. Translation of programming languages
پدیدآورنده: Jonas, Ronald William.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
J62
1539. Tree automata and languages
پدیدآورنده: / edited by Maurice Nivat, Andreas Podelski
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Sequential machine theory,Trees (Graph theory),Programming languages (Electronic computers)
رده :
QA
267
.
5
.
S4
T74
1992
1540. 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
