>> Google Books

Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings

フォーマット:
図書
責任表示:
edited by David Pitt ... [et al.]
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1986
形態:
vii, 519 p. : ill. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 240 <BA00009279>
書誌ID:
BA0038364X
ISBN:
9783540171621 [3540171622] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387171623 [0387171622] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings

Pitt, David (David H.), Conference on Category Theory and Computer Science

Springer-Verlag
7 図書 圏論の歩き方 = Category theory trotters

圏論の歩き方委員会

日本評論社
2 図書 Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings

Conference on Category Theory and Computer Science, Pitt, David (David H.), Poigné, A., Rydeheard, D. E. (David E.)

Springer-Verlag
8 図書 圏論の地平線 = Category theory horizon

西郷, 甲矢人 (1983-)

技術評論社
3 図書 Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings

Conference on Category Theory and Computer Science, Pitt, David (David H.)

Springer-Verlag
9 電子ブック Smart Sensing and Context : 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings

Barnaghi, Payam, Moessner, Klaus, Presser, Mirko, Meissner, Stefan, SpringerLink (Online service)

Springer Berlin Heidelberg
4 図書 Category theory : applications to algebra, logic and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981

International Conference on Category Theory : Applications to Algebra, Logic and Topology, Kamps, Klaus Heiner, &hellip;

Springer-Verlag
10 電子ブック Digital Watermarking : 8th International Workshop, IWDW 2009, Guildford, UK, August 24-26, 2009. Proceedings

Ho, Anthony T. S., Kim, H. J., Shi, Yun Q., Barni, Mauro, SpringerLink (Online service)

Springer Berlin Heidelberg
5 図書 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
11 図書 Proceedings of the 1988 Workshop on Computational Learning Theory : MIT, August 3-5, 1988

Workshop on Computational Learning Theory, Pitt, Leonard, Haussler, David

M. Kaufmann
6 図書 Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986

International Workshop on Advanced Programming Environments, Conradi, Reidar, Didriksen, Tor M., Wanvik, Dag H., &hellip;

Springer-Verlag
12 電子ブック Self-Organizing Systems : Second International Workshop IWSOS 2007 The Lake District UK September 11-13 2007. Proceedings

Hutchison David, Katz Randy H., SpringerLink (Online service)

Springer-Verlag