Category theory and computer science : Edinburgh U.K. September 7-9 1987 : proceedings

出版社:Berlin ; New York : Springer-Verlag, c1987.
ISBN:0387185089
出版年:1987
作者:Pitt,D.H.
资源类型:图书
细分类型:西文文献
相关推荐

Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20,

  • 作者:Pitt,David
  • ISBN:0387171622
  • 出版社:Berlin ; New York : Springer-Verlag, c1986.
  • 出版年:1986

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

  • 作者:Pitt,D.H.
  • ISBN:038751662X
  • 出版社:Berlin ; New York : Springer-Verlag, c1989.
  • 出版年:1989

Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings

  • 作者:Pitt,D. H.
  • ISBN:354054495X
  • 出版社:Berlin ; New York : Springer-Verlag, c1991.
  • 出版年:1991

Topology and category theory in computer science

  • 作者:Reed,George M.
  • ISBN:0198537603
  • 出版社:Oxford : Clarendon Press ; New York : Oxford University Press, c1991.
  • 出版年:1991

Numerical methods in fracture mechanics : proceedings, held at Swansea West Glamorgan, U.K. on 9th-1

  • 作者:International Conference on Numerical Methods in Fracture Mechanics
  • ISBN:0000000000
  • 出版社:[S.l. : s.n.], [1978?].
  • 出版年:1978

Selectivity in chemical reactions : proceedings of the ..., Bowness-on-Windermere, U.K., 7-11 Sept.

  • 作者:NATO Advanced Research Workshop on Selectivity in Chemical Reactions
  • ISBN:9027727910
  • 出版社:Dordrecht : Kluwer Academic Pub., c1988.
  • 出版年:1988