1. Computer semantics; studies of algorithms, processors, and languages
المؤلف: Lee, John A. N.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Algorithms,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
6
.
L38
2. Fairness
پدیدآورنده : Francez, Nissim.
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
المؤلف: edited by Austin Melton
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
239
4. Ordinateurs, Programmation , et langues naturelles
المؤلف: / Par Jacques Andr`e et Catherine Fuchs,Andre
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Electronic digital computers -- Programming,Programming languages ( Electronic computers) --Semantics
رده :
QA
76
.
6
.
A5
5. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
المؤلف: / sponsored by the ACM Special Interest Group SIGPLAN in cooperation with IFIP
المکتبة: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع: Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
76
.
7
.
S97
1991
6. Semantics of sequential and parallel programs, Semantik. English
المؤلف: Best, Eike
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
B4765
1996
