1321. Symbol manipulation languages and techniques. Proceedings of the IFIP Working Conference on Symbol Manipulation Languages
المؤلف: IFIP Working Conference on Symbol Manipulation Languages, )6691, Pisa, Italy(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
5
.
I34
1966
1322. Symposium on Semantics of Algorithmic Languages
المؤلف: edited by E. Engeler
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
1323. Symposium on semantics of algorithmic languages
المؤلف:
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Programming languages (Electronic computers)- Semantics- Congresses►Formal languages- Congresses►Computer algorithms- Congresses
رده :
3
.
L28
,
no
.
188
1324. Symposium on semantics of algorithmic languages
المؤلف: edited by E. Engeler
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
1325. Symposium on semantics of algorithmic languages
المؤلف: / edited by E. Engeler
المکتبة: (طهران)
موضوع: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
رده :
QA
76
.
7
.
S9
1971
1326. Symposium on semantics of algorithmic languages
المؤلف: edited by E.Engeler
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
1327. Synchronous programming of reactive systems
المؤلف: / by Nicolas Halbwachs
المکتبة: (طهران)
موضوع: Real-time programming,Programming languages (Electronic computers)
رده :
QA
76
.
54
.
H36
1993
1328. Syntax-directed semantics :
المؤلف: Zoltán Fülöp, Heiko Vogler.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
رده :
QA76
.
7
Z658
1998
1329. Syntax of programming languages: theory and practice
المؤلف: Backhouse, Roland C.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3
1330. System simulation : programming styles and languages
المؤلف: Kreutzer, Wolfgang.
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65K74
1986
1331. System simulation:programming styles & languages
المؤلف: KREUTZER,WOLFGANG
المکتبة: (طهران)
موضوع: DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES
رده :
QA
76
.
9
.
C65
K74
1332. Systems software tools
المؤلف: Ted J. Biggerstaff
المکتبة: (طهران)
موضوع: Programming languages )Electronic computers( , IBM personal computer - Programming , C )Computer program language(
رده :
QA
76
.
7
.
B52
1333. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
المؤلف: Neil D. Jones, Steven S. Muchnick
المکتبة: (طهران)
موضوع: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
66
1334. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
المؤلف: Jones, Neil D.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
66
1335. Taschenbuch fur Programmierer
المؤلف: Mrachacz, Hans-Peter
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Handbooks, manuals, etc ، Programming languages )Electronic Computers(,Handbooks, manuals, etc ، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
M72
1336. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
المؤلف: editors, J.W. de Bakker and J.J.M.M. Rutten
المکتبة: (طهران)
موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
1337. The Agent Modeling Language--AML
المؤلف: / Radovan Cervenka, Ivan Trencansky
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007
1338. The Art of Modelling Computational Systems :
المؤلف: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
1339. The C answer book :
المؤلف: Clovis L. Tondo, Scott E. Gimpel.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)
1340. The Imperative future :principles of executable temporal logic
المؤلف: edited by Howard Barringer ... ]et al.[
المکتبة: (خراسان الجنوبیة)
موضوع: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
D47
I47
1996
