181. Mathematical foundations of computer science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings
پدیدآورنده: I.M. Havel, V. Koubek, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
629
182. Mathematical foundations of computer science 2003 : 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings
پدیدآورنده: Branislav Rovan, Peter Vojtas )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics -- Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2747
183. Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings
پدیدآورنده: Jiri Sgall, Ales Pultr, Petr Kolman )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics -- Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2136
184. Mathematical foundations of computer science 1992: 17th international symposium, Prague, Czechoslovakia, August 24-28,1992:proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science--Mathematics--Congresses
رده :
QA
76
.
9
.
M35
.
M3862
1992
185. 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
186. 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
187. 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
188. 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
189. 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
190. Mathematics and Computing
پدیدآورنده: \ [Edited by] Debasis Giri...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses. ,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,
191. Mathematics and computer science III
پدیدآورنده: / Michael Drmota ... [et al.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Combinatorial analysis, Congresses,Graph theory, Congresses,Branching processes, Congresses,Computer science, Mathematics, Congresses
رده :
QA164
.
I56
2004
192. Mathematics and computer science III
پدیدآورنده: / Michael Drmota ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Combinatorial analysis Congresses,Graph theory Congresses,Branching processes Congresses,Computer science- Mathematics Congresses
رده :
QA164
.
I56
2004
193. Mathematics and computer science II: algorithms, trees, combinatorics and probabilities
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Combinatorial analysis,Congresses ، Graph theory,Congresses ، Branching processes,Congresses ، Computer science-- Mathematics
رده :
QA
164
.
I56
2002
194. Mathematics and computing :
پدیدآورنده: Debdas Ghosh, Debasis Giri, Ram N. Mohapatra, Ekrem Savas, Kouichi Sakurai, L.P. Singh (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer science-- Mathematics.,Computer security.,Computers-- Data Processing.,Computers-- Security-- General.,Mathematical theory of computation.
رده :
QA76
.
9
.
M35
195. Mathematics and computing :
پدیدآورنده: Debdas Ghosh, Debasis Giri, Ram N. Mohapatra, Kouichi Sakurai, Ekrem Savas, Tanmoy Som, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computational Mathematics and Numerical Analysis.,Math Applications in Computer Science.,Mathematical Applications in Computer Science.,Operations Research, Management Science.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematical modelling.,Maths for computer scientists.,Numerical analysis.,Operational research.
رده :
QA76
.
9
.
M35
196. Mathematics of information processing
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Mathematics Congresses ، Computer science
رده :
QA
76
.
9
.
M35
.
M39
1986
197. Mathematics of information processing
پدیدآورنده: Michael Anashel and William Gewirtz, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics
رده :
QA
1
.
P69
Vol
.
34
198. Mathematics of program constructio
پدیدآورنده: / Philippe Audebaud, Christine Paulin-Mohring (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses,Electronic books.
رده :
QA
,
76
.
6
,.
I5535
,
2008eb
199. Mathematics of program construction :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
200. Mathematics of program construction
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
