201. Machines, languages, and complexity
پدیدآورنده: International Meeting of Young Computer Scientists, )5th, 8891, Smolenice, Czechoslovakia(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computers-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computational complexity-- Congresses
رده :
QA
76
.
5
.
I5773
1988
202. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988
پدیدآورنده: Selected contributions, J. Dassow, J. Kelemen, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
381
203. Manipulation languages, Piss, 1966. Symbol manipulation languages and techniques. Proceedings of the IFIP Working conference on Symbol Manipulation Languages
پدیدآورنده: / edited by Daniel G. Bobrow
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Programming languages (Electronic computers) - Congresses
رده :
001
.
6424
I11s
1966
204. 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
205. Mathematical foundations of computer science 1995
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
رده :
QA267
.
M38
1995
206. Mathematical foundations of computer science
پدیدآورنده: edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
207. Mathematical foundations of computer science 1986; Proceedings of the 12th symposium Bratislava, Czechoslovakia, August 25-29, 1986
پدیدآورنده: edited by J. Gruska
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
233
208. Mathematical foundations of computer science, 1980: Proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Data base management-- Congresses,، Machine theory-- Congresses
رده :
QA
76
.
6
.
S9194
1980
209. Mathematical foundations of computer science, 1979: proceedings; 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Alogorithms-- Congresses,، Computable functions-- Congresses,، Machin theory-- Congresses
رده :
QA
76
.
6
.
S9194
1979
210. Mathematical foundations of computer science 1977. Proceedings, 6th Symposium. Tatranska Lonmica, September 5-9, 1977
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
M37
211. Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium Zakopane, Poland, September 4-8, 1978
پدیدآورنده: edited by J. Winkowski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
64
212. Mathematical foundations of computer science : symposium at ..
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
45
,
etc
...
213. Mathematical foundations of computer science : symposium at ..
پدیدآورنده: A. Kreczmar, G. Mirkowska )Eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
379
214. Mathematical foundations of computer science 1991 : 16th International symposium, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
پدیدآورنده: A. Tarlecki )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
520
215. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
پدیدآورنده: M. Main...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
298
216. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
217. 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
218. 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
219. 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
220. 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
