21. Programming languages and systems, ESOP'94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings
پدیدآورنده: Donald Sanella, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
788
22. Programming languages and systems, ESOP '96 : 6th European Symposium on Programming Linkoping, Sweden, April 22-24,1996 : proceedings
پدیدآورنده: Hanne Riis Nielson )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1058
23. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده: edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986
24. Semantics of data types :
پدیدآورنده: edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
25. Semantics of programming languages and model theory
پدیدآورنده: / edited by Manfred droste and yuri gurevich
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Programming languages (Electronic Computers)-- Semantics
رده :
005
.
131
S471
26. Semantics of programming languages and model theory
پدیدآورنده :
موضوع : ، Programming languages )Electronic computers(-- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
27. Semantics of programming languages and model theory
پدیدآورنده: edited by Manfred Droste and Yuri Gurevich
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S4
28. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده: J. Diaz, F. Orejas )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
29. The Logic of Partial Information
پدیدآورنده: by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
30. 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
