>> Google Books

Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991

フォーマット:
図書
責任表示:
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts
言語:
英語
出版情報:
Cambridge : Cambridge University Press, 1992
形態:
339 p. : ill., port. ; 23 cm
著者名:
シリーズ名:
London Mathematical Society lecture note series ; 177 <BA0005393X>
書誌ID:
BA1838976X
ISBN:
9780521427265 [0521427266]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977

Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Fourman, M. P., 1950-, Mulvey, C. &hellip;

Springer-Verlag
7 図書 HOMOTOPY THEORY : PROCEEDINGS OF THE DURHAM SYMPOSIUM 1985

REES, E, JONES, J. D. S, LMS SYMPOSIUM. 1985, DURHAM UNIVERSITY

CAMBRIDGE UNIV. PRESS
2 図書 Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

Conference on Category Theory and Computer Science, Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T

Springer
8 図書 2011 IEEE 52nd annual symposium on foundations of computer science : (FOCS 2011) : Palm Springs, California, USA 22-25 October 2011

Symposium on Foundations of Computer Science, IEEE Computer Society

IEEE
3 図書 Indexed categories and their applications

Johnstone, P. T., Paré, Robert, 1944-

Springer-Verlag
9 図書 Advances in intelligent data analysis reasoning about data : second International Symposium, IDA-97 London, UK, August 4-6, 1997 : proceedings

Liu, Xiaohui, Cohen, Paul, Berthold, M. (Michael), International Symposium on Advances in Intelligent Data Analysis

Springer
4 図書 Stochastic integrals : proceedings of the LMS Durham Symposium, July 7-17, 1980

LMS Durham Symposium, Williams, D. (David), 1938-, London Mathematical Society

Springer-Verlag
10 図書 40th Annual Symposium on Foundations of Computer Science, October 17-19, 1999, New York City, New York

Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society Press
5 図書 41st Annual Symposium on Foundations of Computer Science, 12-14 November 2000, Redondo Beach, California : proceedings

Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society Press
11 図書 1998 International Symposium on Information Theory and Its Applications, Mexico City, Mexico, October 14-16, 1998 : proceedings

International Symposium on Information Theory and Its Applications, Society of Information Theory and Its Applications

The National Polytechnic Institute of Mexico
6 図書 Non-classical continuum mechanics : proceedings of the London Mathematical Society symposium, Durham, July 1986

Knops, R. J. (Robin John), Lacey, A. A, London Mathematical Society, Symposium on "Non-classical Continuum Mechanics, &hellip;

Cambridge University Press
12 図書 Randomization and approximation techniques in computer science : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002 : …

Workshop on Randomization and Approximation Techniques in Computer Science, Rolim, José D. P., Vadhan, Salil

Springer