| 160654 |
|
Moggi E., Rosolini G. |
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science) |
1997 | •• |
| 140812 |
|
Moggi E., Rosolini G. |
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings |
1997 | •• |
| 152133 |
|
Rydeheard D., Pitt D., Johnstone P. |
Category Theory and Computer Science, 6 conf., CTCS '95 |
1995 | •• |
| 178445 |
|
Pitt D., Curien P., Abramsky S. |
Category Theory and Computer Science, 4 conf |
1991 | •• |
| 165555 |
|
Pitt D., Rydeheard D., Dybjer P. |
Category Theory and Computer Science 1989 |
1989 | •• |
| 179976 |
|
Pitt D., Poigne A., Rydeheard D. |
Category Theory and Computer Science 1987 |
1987 | •• |
| 146995 |
|
Pitt D., Abramsky S., Poigne A. |
Category Theory and Computer Programming |
1986 | •• |
| 15863 |
|
Awodey S. |
Category Theory |
n/a | •• |
| 36303 |
|
Kelly G.M. (ed.) |
Category Seminar |
1974 | •• |
| 141366 |
|
Asperti A., Longo G. |
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series) |
1991 | •• |
| 1111 |
|
Asperti A., Longo G. |
Categories, types, and structures. Introduction to category theory for computer scientists |
1991 | •• |
| 106638 |
|
Waliszewski W. |
Categories, groupoids, pseudogroups and analytical structures |
1965 | •• |
| 109729 |
|
Waliszewski W. |
Categories, groupoids, pseudogroups and analytical structures |
1965 | •• |
| 144850 |
|
Dodson C.T. |
Categories, Bundles and Spacetime Topology |
1988 | •• |
| 147076 |
|
Dodson C.T.J. |
Categories, Bundles and Space-time Topology |
1980 | •• |
| 140902 |
|
Freyd P., Scedrov A. |
Categories, Allegories |
1990 | •• |
| 152288 |
|
Freyd P.J., Scedrov A. |
Categories, Allegories |
1990 | •• |
| 154980 |
|
Freyd P., Scedrov A. |
Categories, allegories |
1990 | •• |
| 165096 |
|
Freyd P., Scedrov A. |
Categories, allegories |
1990 | •• |
| 37461 |
|
Rivano N.S. |
Categories Tannakiennes |
1972 | •• |
| 33746 |
|
Diers Y. |
Categories of Boolean Sheaves of Simple Algebras |
1986 | •• |
| 36888 |
|
Petrich M. |
Categories Of Algebraic Systems |
1976 | •• |
| 167078 |
|
Petrich M. |
Categories of Algebraic Systems |
1976 | •• |
| 33992 |
|
Lawvere F.W. (Ed), Schanuel S.H. (Ed) |
Categories in Continuum Physics |
1986 | •• |
| 192732 |
|
Gray J., Scedrov A. |
Categories in Computer Science and Logic |
1989 | •• |
| 208293 |
|
F. William Lawvere, Stephen H. Schanuel |
Categories in Continuum Physics |
1986 | •• |
| 168762 |
|
Lane S. |
Categories for the Working Mathematician 1971 (Graduate Texts in Mathematics) |
1971 • | •• |
| 166146 |
|
Mac Lane S. |
Categories for the Working Mathematician (Graduate Texts in Mathematics) |
1998 • | •• |
| 1178 |
|
MacLane S. |
Categories for the working mathematician |
1971 | •• |
| 182082 |
|
Lane S. |
Categories for the working mathematician |
1998 • | •• |
| 185919 |
|
Lane S. |
Categories for the Working Mathematician |
1978 • | •• |
| 27899 |
|
Fladeiro J.L. |
Categories for Software Engineering |
2004 | •• |
| 36143 |
|
Grothendieck A. |
Categories Cofibrees Additives et Complexe Cotangent Relatif |
1968 | •• |
| 192927 |
|
Kashiwara M., Schapira P. |
Categories and Sheaves |
2006 | •• |
| 195930 |
|
Masaki Kashiwara, Pierre Schapira |
Categories and Sheaves |
2005 | •• |
| 189465 |
|
Pareigis B. |
Categories and Functors. Volume 39 |
1970 | •• |
| 1321 |
|
Pareigis B. |
Categories and functors |
1970 | •• |
| 165232 |
|
Walters R. |
Categories and Computer Science (Cambridge Computer Science Texts) |
1991 | •• |
| 165535 |
|
Walters R. |
Categories and Computer Science (Cambridge Computer Science Texts) |
1991 | •• |
| 151404 |
|
Walters R. |
Categories and computer science |
1992 | •• |
| 182850 |
|
Walters R. |
Categories and Computer Science |
1992 | •• |
| 35366 |
|
Binz E. (ed.) |
Categorical Topology |
1976 | •• |
| 36188 |
|
Herrlich H., Preuss G. (eds.) |
Categorical Topology |
1979 | •• |
| 126576 |
|
Herrlich H., Preub G. |
Categorical Topology |
1979 | •• |
| 192378 |
|
Ehrig H., Herrlich H., Kreowski H. |
Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science) |
1989 | •• |
| 80338 |
|
Ehrig H.(ed.), Horst Herrlich H.(ed.), Kreowski H.J.(ed.) |
Categorical Methods in Computer Science: With Aspects from Topology |
1989 • | •• |
| 34880 |
|
Jacobs B. |
Categorical Logic and Type Theory |
1999 • | •• |
| 171166 |
|
Fulton W., MacPherson R. |
Categorical Framework for the Study of Singular Spaces (Memoirs of the American Mathematical Society) |
1981 | •• |
| 74260 |
|
Pedicchio M. C., Tholen W. |
Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory |
2003 | •• |
| 176402 |
|
Pedicchio M., Tholen W. |
Categorical foundations: Special topics in order, topology, algebra, and sheaf theory |
2004 | •• |
|
|
Î ïðîåêòå