281. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
Author: Eugenio Moggi, Giuseppe Rosolini )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
1290
282. Category theory: applications to algebra, logic and topolgoy; proceedings of the International Conference held at Gummersbach, July 6-10, 1981
Author: edited by K. H. Kamps, D. Pumpun, and W. Tholen
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Categories )Mathematics(
Classification :
QA
3
.
L28
no
.
962
283. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
Author: edited by K.H. Kamps, D. Pumplun, and W. Tholen
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Categories )Mathematics( - Congresses
Classification :
QA
.
L28
,
no
3
.
962
284. Category theory :applications to algebra, logic, and topology: proceedings of the international conference held at Gummersbach, July 6-10, 1981
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Categories )Mathematics(
Classification :
QA
3
.
L28
no
.
962
285. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
Author: edited by K.H. Kamps, D. Pumplun, and W. Tholen
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Categories )Mathematics(
Classification :
QA
1
.
L4
v
.
962
286. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
Author: edited by K. H. Kamps, D. Pumplun, and W. Tholen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Categories )Mathematics(
Classification :
QA
3
.
L28
Vol
.
962
287. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
Author: edited by K.H. Kamps, D. Pumplun, and W. Tholen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Categories )Mathematics(
Classification :
QA
169
.
C35
1981
288. Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, Feb.25-26, 1974
Author: edited by E. G. Manes
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Machine theory,Congresses ، Automata,Congresses ، Control theory,Congresses ، Categories )Mathematics(
Classification :
QA
267
.
C35
289. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Control theory-- Congresses,، Categories )Mathematics(-- Congresses
Classification :
QA
267
.
C35
290. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
Author: edited by E. G. Manes
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Control theory,Congresses ، Categories )Mathematics(
Classification :
QA
267
.
C35
291. Category theory at work /
Author: Horst Herrlich and Hans-E. Porst (eds.) ; with cartoons by Marcel Erné.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Topology.,Categories (Mathematics),Catégories (Mathématiques),Kategorientheorie.,Kategorientheorie.,Topologie.,Topology.,Bremen 1990, 7
Classification :
QA169
.
C38
1991
292. Category theory & computer programming:tutorial & workshop,
Author: PITT,DAVID H
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , CATEGORIES )MATHEMATICS(
Classification :
QA
76
.
6
.
C387
1985
293. Category theory for computing science /
Author: Michael Barr, Charles Wells
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Computer science-- Mathematics
Classification :
QA76
.
9
.
M35
B37
1990
294. Category theory for the sciences /
Author: David I. Spivak
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Science-- Mathematical models
Classification :
Q175
.
32
.
M38
S65
2014
295. Category theory for the sciences
Author: Spivak, David I.
Library: Central Library and Documentation Center (Semnan)
Subject: Mathematical models ، Science,، Categories )Mathematics(
Classification :
Q
175
.
32
.
M38
S65
2014
296. Category theory, homology theory and their applecations. Proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24-July 19, 1968
Author:
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Addresses, essays, lectures ، Categories )Mathematics(,Addresses, essays, lectures ، Homology theory
Classification :
QA
3
.
L28
no
.
86
,
92
,
99
297. Category theory, homology theory and their applications : Proceedings of the Conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24-July 19, 1968
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Categories )Mathematics(,Addresses, essays, lectures ، Homology theory
Classification :
QA
3
.
L28
Vol
.
86
,
etc
298. Category theory, homology theory and their applications. Proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24-July 19, 1968
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Categories )Mathematics(,، Homology theory
Classification :
QA
169
.
C35
1968
299. Category theory, homology theory and their applications. Proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24-July 19, 1968
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Addresses, essays, lectures ، Categories )Mathematics(,Addresses, essays, lectures ، Homology theory
Classification :
QA
1
.
L4
v
.
86
,
92
,
99
300. Category theory, homology theory and their applications. Proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24-July 19, 1968
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Categories )Mathematics(,، Homology theory
Classification :
QA
3
.
L28
no
.
86
,
92
,
99
