161. Mathematical foundations of programming semantics :
پدیدآورنده: M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
162. Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings
پدیدآورنده: edited by Austin Melton
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
239
163. Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
پدیدآورنده: S. Brookes...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
802
164. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
پدیدآورنده: S. Brookes...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
598
165. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده: M. Main...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
166. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
167. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
پدیدآورنده: Marisa Venturini Zilli )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
280
168. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings
پدیدآورنده: Pierre Cointe )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1616
169. Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings
پدیدآورنده: Akinori Yonezawa, Satoshi Matsuoka )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
2192
170. Methods of algorithmic language implementation
پدیدآورنده: edited by A. Ershov and C.H.A. Koster
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
47
171. Methods of algorithmic language implementation
پدیدآورنده: edited by A. Ershov and C. H. A. Koster
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
47
172. Minicomputer software
پدیدآورنده: / edited by James R. Bell and C. Gordon Bell
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Minicomputers -- Programming -- Congresses,Programming languages (Electronic computers)
رده :
QA
76
.
6
.
I177
1975
173. Minicomputer software: proceedings of the IFIP Conference of software for minicomputers
پدیدآورنده: IFIP Conference on Software for Microccomputers , Keszthely , Hungary, 5791
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Miniatur computers - Programming , Congresses,، Programming languages ) Electronic computers(
رده :
QA
76
.
6
.
I77
1975
174. Minicomputer software : proceedings of the IFIP Conference on Software for Minicomputers : IFIP TC-2 Working Conference on Software for minicomputers, Lake Balaton, Hungary, 8-12 September 1975
پدیدآورنده: IFIP Conference on Software for Minicomputers, )5791, Keszthely, Hungary(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Minicomputers-- Programming-- Congresses,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
I177
1975
175. Minicomputer software,proceedings of the IFIP conference on software for minicomputers
پدیدآورنده: / Edited by James R. Bell and C.Gordon Bell
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Miniature computers -- Programming -- Congresses,Programming languages ( Electronic computers) -- Congresses
رده :
QA76
.
6
I177
1975
176. Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings
پدیدآورنده: Laszlo Boszormenyi, Peter Schojer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2789
177. Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 2000: proceedings
پدیدآورنده: Jurg Gutknecht, Wolfgang Weck )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1897
178. Modular programming languages : joint Modular Languages Conference, JMLC'97, Linz, Austria, March 19-21, 1997 : proceedings
پدیدآورنده: Hanspeter Mossenbock )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1204
179. Natural language at the computer : Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the 20th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, FRG, February 25, 1988: Proceedings
پدیدآورنده: A. Blaser, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax -- Congresses ، Programming languages )Electronic computers(,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
320
180. Natural language at the computer: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
N38
.
S38
1988
