1921. The 80x86 IBM PC & compatible computers
المؤلف: Mazidi, Muhammad Ali
المکتبة: المکتبه المرکزيه و مرکز الوثائق جامعه اصفهان (أصبهان)
موضوع: Intel 80x86 series microprocessors -- Programming ► IBM microcomputers -- Programming ► IBM-compatible computers -- Programming ► Assembly languages (Electronic computers)
رده :
004
M476e
1922. The 80x86 IBM PC & compatible computers
المؤلف: Mazidi, Muhammad Ali
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Intel 80x86 series microprocessors Programming ► IBM microcomputers Programming ► IBM-compatible computers Programming ► Assembly languages (Electronic computers)
رده :
76
.
8
.
I292
M37
1923. Theoretical aspects of computing -- ICTAC 2013 :
المؤلف: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
1924. 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
1925. Theories of programming languages
المؤلف: Reynolds, John C.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
R495
1998
1926. Theories of programming languages
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ;
1927. Theories of programming languages
المؤلف: / John C. Reynolds
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
R495
,
1998
1928. Theory of Cryptography
المؤلف: \ Björn Franke (Ed.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلر‌ها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه ن‍وی‍س‍ی ,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA76
.
76
.
T46
2015
E-Book
,
1929. Theory of computation
المؤلف: Brainerd, Walter S
المکتبة: (خراسان الجنوبیة)
موضوع: ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
رده :
QA
267
.
5
.
S4
B68
1930. 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
1931. Theory of computation
المؤلف: Brainerd, Walter S
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Sequential machine theory►Recursive functions►Programming languages (Electronic computers)
رده :
267
.
5
.
S4
,
B68
1932. Thinking in LINQ :
المؤلف: Sudipta Mukherjee
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Query languages (Computer science)
رده :
QA76
.
7
1933. Thinking machines and the philosophy of computer science
المؤلف: / [edited by] Jordi Vallverdu
المکتبة: (طهران)
موضوع: Computer science -- Philosophy,Computers -- Moral and ethical aspects,Artificial intelligence
رده :
EBL
788
1934. Threaded interpretive languages: their desing and implementation
المؤلف: Loeliger, R. G
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
رده :
QA
76
.
7
.
L63
1935. Time- Shared computer languages: an introduction to conversational computing
المؤلف: Schur, Lee David
المکتبة: المکتبه المرکزيه و مرکز الوثائق جامعه اصفهان (أصبهان)
موضوع: Programming languages (Electronic computers) ► Electronic data processing
رده :
001
S394t
1936. Time- Shared computer languages: an introduction to conversational computing
المؤلف: Schur, Lee David
المکتبة: المکتبه المرکزيه و مرکز الوثائق جامعه اصفهان (أصبهان)
موضوع: Programming languages (Electronic computers) ► Electronic data processing
رده :
001
S394t
1937. Time-shared computer languages
المؤلف:
المکتبة: (طهران)
موضوع: Programming languages (Electronic computers),Time-sharing computer systems
رده :
QA
76
.
7
.
S36
1938. Time-shared computer languages: an introduction to conversational computing
المؤلف: Schur, Lee David.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(,، Time-sharing computer systems
رده :
QA
76
.
7
.
S36
1939. 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
1940. 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
