161. Categorical closure operators
پدیدآورنده: Castellini, Gabriele.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Categories )Mathematics(,، Closure operators
رده :
QA
169
.
C34
2003
162. Categorical constructions in stable homotopy theory.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics),Complexes.,Homotopy theory.
163. Categorical constructions in stable homotopy theory
پدیدآورنده: / Myles Tierney
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Homotopy theory,Categories (Mathematics),Complexes
رده :
QA
611
.
T56
1969
164. Categorical constructions in stable homotopy theory. A seminar given at the ETH, Zurich, in 1967
پدیدآورنده: Tierney, Myles
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Homotopy theory,، Categories )Mathematics(,، Complexes
رده :
QA
3
.
L28
no
.
87
165. Categorical constructions in stable homotopy theory. A seminar given at the ETH, Zurich, in 1967
پدیدآورنده: Tierney, Myles.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Homotopy theory,، Categories )Mathematics(,، Complexes
رده :
QA
1
.
L4
v
.
87
166. Categorical constructions in stable homotopy theory : a seminar given at the ETH, Zurich, in 1967
پدیدآورنده: Tierney, Myles
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Homotopy theory,، Categories )Mathematics(,، Complexes
رده :
QA
3
.
L28
Vol
.
87
167. Categorical contructions in stable homotopy theory. A seminar given at the ETH, Zurich, in 1967
پدیدآورنده: Tierney, Myles
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Homotopy theory,، Categories )Mathematics(,، Complexes
رده :
QA
3
.
L28
no
.
87
168. Categorical foundations : special topics in order, topology, and Sheaf theory
پدیدآورنده: edited by Maria Cristina Pedicchio, Walter Tholen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Categories )Mathematics(
رده :
QA
169
.
C29
169. Categorical logic and type theory
پدیدآورنده: / Bart Jacobs
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Type theory.,Categories (Mathematics)
رده :
QA9
,.
J27
,
1999
170. Categorical logic and type theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Type theory. ; Categories (Mathematics) ;
171. Categorical logic and type theory
پدیدآورنده: Jacobs, Bart
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Type theory,، Categories )Mathematics(
رده :
QA
9
.
J22
172. Categorical methods in computer science : with aspects from topology
پدیدآورنده: H. Ehrig...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
76
.
L28
Vol
.
393
173. Categorical methods in computer science : with aspects from topology
پدیدآورنده: H. Ehrig ... )et al.(, eds
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computer science - Congresses,Categories )Mathematics( - Congresses,Topology - Congresses
رده :
QA
75
.
5C36
1989
174. Categorical methods in computer science : with aspects from topology
پدیدآورنده :
موضوع : ، Computer science - Congresses,، Categories )Mathematics( - Congresses,، Topology - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
175. Categorical spects of topology and analysis: proceedings of an International conference held at Carleton University, Ottawa, August 11-15, 1981
پدیدآورنده: edited by B. Banaschewski
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
3
.
L28
no
.
915
176. Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
پدیدآورنده: by D. Dikranjan and W. Tholen
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Categories )Mathematics(,Closure operators
رده :
QA
169
.
D544
1995
177. Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
پدیدآورنده: Dikranjan, Dikran N.,0591-, by D. Dikranjan and W. Tholen
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Categories )Mathematics(,، Closure operators
رده :
QA
169
.
D544
1995
178. Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
پدیدآورنده: Dikranjan, Dikran N.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Categories )Mathematics(,، Closure operators
رده :
QA
169
.
D544
1995
179. Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
پدیدآورنده: / by D. Dikranjan, W. Tholen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Categories (Mathematics),Closure operators
رده :
QA
169
.
D54
1995
180. Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
پدیدآورنده: Dikranjan, Dikran N.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Categories )Mathematics(,، Closure operators
رده :
QA
169
.
D54
1995
