>> 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. ; 23 cm
著者名:
シリーズ名:
London Mathematical Society lecture note series ; 177 <BA0005393X>
書誌ID:
BA1838976X
ISBN:
9780521427265 [0521427266]
子書誌情報
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 図書 Proceedings : 44th Annual IEEE Symposium on Foundations of Computer Science : 11-14 October 2003, Cambridge, Massachusettes

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

IEEE Computer Society
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 図書 Proceedings of the First IBM Symposium on Mathematical Foundations of Computer Science : the theory of programs and its surroundings

IBM Symposium on Mathematical Foundations of Computer Science, IBM Japan. Academic & Scientific Programs

Academic & Scientific Programs IBM Japan
3 図書 Proceedings of the Third IBM Symposium on Mathematical Foundations of Computer Science : mathematical logic & computer science

IBM Symposium on Mathematical Foundations of Computer Science, IBM Japan. Academic & Scientific Programs

Academic & Scientific Proprams IBM Japan
9 図書 Proceedings of the Fourth IBM Symposium on Mathematical Foundations of Computer Science : parallel processing structured automata & language

IBM Symposium on Mathematical Foundations of Computer Science, IBM Japan. Academic & Scientific Programs

Academic & Scientific Programs IBM Japan
4 図書 Proceedings of the Second IBM Symposium on Mathematical Foundations of Computer Sciences : the complexity of algorithms

IBM Symposium on Mathematical Foundations of Computer Science, IBM Japan. Corporate & Scientific Programs

Corporate & Scientific Programs IBM Japan
10 図書 Proceedings : 46th Annual IEEE Symposium on Foundations of Computer Science : 23-25 October 2005, Pittsburgh, Pennsylvania, USA

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

IEEE Computer Society
5 図書 Proceedings of the Fifth IBM Symposium on Mathematical Foundations of Computer Science : computational complexity

IBM Symposium on Mathematical Foundations of Computer Science, IBM Japan. Academic & Scientific Programs

Academic & Scientific Programs IBM Japan
11 図書 Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts

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

IEEE Computer Society
6 図書 Groups, combinatorics & geometry : Durham, 1990

Liebeck, Martin W., 1954-, Saxl, J. (Jan), 1948-, L.M.S. Durham Symposium on Groups and Combinatorics

Cambridge University Press
12 図書 Proceedings 48th Annual IEEE Symposium on Foundations of Computer Science : October 20-23, 2007, Providencd, Rhode Island

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

IEEE Computer Society