Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings

>> Amazon.co.jp

このページのQRコード

Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings

種類:

図書

責任表示:

D.H. Pitt ... [et al.] (eds.)

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989

著者名:

シリーズ名:

Lecture notes in computer science ; 389 <BA00009279>

ISBN:

9783540516620 [354051662X] (: gw)

9780387516622 [038751662X] (: us)

注記:

Includes bibliographical references

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Categories (Mathematics)--Congresses; Electronic digital computers--Programming--Congresses
分類・件名:	NDC7 : 549.92 LCSH : Electronic digital computers -- Programming -- Congresses LCSH : Categories (Mathematics) -- Congresses
LCCN:	89021759
TTLL:	eng
言語:	英語
形態:	vi, 365 p. : ill. ; 25 cm
書誌ID:	BA07287677

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 電子ブック Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings Pitt, David H., Poigne, Axel., Rydeheard, David E., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
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 図書 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
3 電子ブック Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel, SpringerLink (Online service) Springer-Verlag	9 図書 Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings Tutorial and Workshop on Category Theory and Computer Programming, Pitt, David (David H.) Springer-Verlag
4 電子ブック Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings Pitt, David H., Rydeheard, David E., Dybjer, Peter., Pitts, Andrew., Poigne, Axel., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	10 図書 Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 Symposium on Mathematical Foundations of Computer Science, Winkowski, Józef, 1934- Springer-Verlag
5 図書 Category theory and computer science : 7th International Conference, CTCS ʾ97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings Conference on Category Theory and Computer Science, Moggi, Eugenio, Rosolini, G. (Giuseppe), 1954- Springer-Verlag	11 図書 Mathematical foundations of computer science 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 Symposium on Mathematical Foundations of Computer Science, Bečvář, J., 1926- Springer-Verlag
6 電子ブック Category Theory and Computer Science : Edinburgh, U.K., September 7–9, 1987 Proceedings Pitt, David H., Poigné, Axel, Rydeheard, David E., SpringerLink (Online service) Springer-Verlag	12 図書 Mathematical foundations of computer science 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 Symposium on Mathematical Foundations of Computer Science, Dembiński, Piotr Springer-Verlag