61. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
62. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
63. Category theory and computer science: Manchester, UK, September, 1989, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
169
.
P7
1989
64. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt ... ]et al.[ )ed.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C3882
1989
65. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )eds.(
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Computer science - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
S86
75
.
5
1991
66. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده :
موضوع : ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
67. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings
پدیدآورنده : D.H. Pitt...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
530
68. 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
69. 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
70. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
1290
71. Category theory: applications to algebra, logic and topolgoy; proceedings of the International Conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K. H. Kamps, D. Pumpun, and W. Tholen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
962
72. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Categories )Mathematics( - Congresses
رده :
QA
.
L28
,
no
3
.
962
73. Category theory :applications to algebra, logic, and topology: proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
962
74. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
1
.
L4
v
.
962
75. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K. H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: (طهران)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
Vol
.
962
76. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: (طهران)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
169
.
C35
1981
77. Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, Feb.25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Machine theory,Congresses ، Automata,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
78. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Machine theory-- Congresses,، Control theory-- Congresses,، Categories )Mathematics(-- Congresses
رده :
QA
267
.
C35
79. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
80. Category theory 1991 : proceedings of an International Summer Category Theory Meeting, held June 23-30, 1991
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Categories )Mathematics(--Congresses
رده :
QA
169
.
I58
1991
