141. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
پدیدآورنده: D.H. Pitt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
389
142. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده: / D.H. Pitt ... [et al.] (ed.)
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer programming- Congresses,Categories (Mathematics)- Congresses
رده :
QA76
.
6
.
C3882
1989
R
143. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده: David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
144. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده: / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
145. Category theory & computer programming:tutorial & workshop,
پدیدآورنده: PITT,DAVID H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , CATEGORIES )MATHEMATICS(
رده :
QA
76
.
6
.
C387
1985
146. Combinatorial optimization
پدیدآورنده: edited by Vangelis Th. Paschos
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Combinatorial optimization,، Programming )Mathematics(
رده :
QA
402
.
5
.
C545123
147. Combinatorial optimization
پدیدآورنده : edited by Vangelis Th. Paschos
موضوع : Combinatorial optimization,Programming (Mathematics)
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
148. Combinatorial optimization
پدیدآورنده: / edited by Vangelis Th. Paschos
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Combinatorial optimization,Programming (Mathematics)
رده :
QA402
.
5
.
C5451
2010
149. Combinatorial optimization
پدیدآورنده: / edited by Vangelis Th. Paschos
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Combinatorial optimization,Programming (Mathematics)
رده :
QA
402
.
5
.
C6
2010
150. Combinatorial optimization
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Combinatorial optimization ► Programming (Mathematics)
رده :
402
.
5
.
C545123
151. Combinatorial optimization
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Combinatorial optimization,، Programming )Mathematics(
رده :
QA
402
.
5
.
C545123
2010
152. Combinatorial optimization
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Combinatorial optimization,Programming (Mathematics)
رده :
QA402
.
5
.
C545123
2010
153. Combinatorial optimization
پدیدآورنده: edited by Vangelis Th. Paschos
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Combinatorial optimization,، Programming )Mathematics(
رده :
QA
402
.
5
.
C644
154. Combinatorial optimization
پدیدآورنده: / edited by Vangelis Th. Paschos
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Combinatorial optimization,Programming (Mathematics)
رده :
QA402
.
5
.
C545
2010
155. Combinatorial programming, spatial analysis and planning
پدیدآورنده: / Allen J. Scott
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: City planning - Mathematical models,Regional planning - Mathametical models,Combinational analysis,Programming (Mathematics)
رده :
711
.
4015116
S425C
156. Commande et regulation par calculateur numerique:de la theorie
پدیدآورنده: FOULARD,CLAUDE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: CONTROL THEORY , SYSTEM ANALYSIS , PROGRAMMING )MATHEMATICS(
رده :
QA
402
.
3
.
F68
1984
157. Complexity of Sequential and parallel numerical algorithms [Proceedings]
پدیدآورنده: / Edited by J. F. Traub
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming,Electronic data processing - Mathematics,Algorithms,Parallel processing (Electronic computers)
رده :
519
.
4
Sy
158. Computation mathematical programming
پدیدآورنده: edited by K.L. Hoffman, R.H.F. Jackson, J. Telgen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Civil & Environmental Engineering.,Programming (Mathematics),Programming (Mathematics) -- Congresses.
رده :
QA402
.
5
E358
1987
159. Computational and Group-Theoretical Methods in Nuclear Physics : proceedings of the Symposium in honor of Jerry P. Draayer's 60th birthday : 18-21 February 2003, Playa del Carmen, Mexico
پدیدآورنده: / Draayer Jutta
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Nuclear physics--Mathematics--Congresses.,Scattering (Physics),Object-oriented programming (Computer science)
رده :
QC770
160. Computational category theory
پدیدآورنده: Rydeheard, D. E.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Categories (Mathematics) - Data processing►Electronic digital computers - Programming
رده :
169
.
R93
