登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Category theory applied to computation and control : proceedings of the first international symposiu
出版社：Berlin ; New York : Springer-Verlag, 1975.
ISBN：0387071423
出版年：1975
作者：Manes,Ernest G.,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Mountain development, challenges and opportunities : proceedings of the first international symposiu
  • 作者：International Centre for Integrated Mountain Development.
  • 出版社：Kathmandu : ICIMOD, 1984.
  • 出版年：1984
...

Sterile insect technique and radiation in insect control : proceedings of the International Symposiu
  • 作者：International Symposium on the Sterile Insect Technique and the Use of Radiation in Genetic Insect C
  • ISBN：9200100821
  • 出版社：Vienna : International Atomic Energy Agency, 1982.
  • 出版年：1982
...

Category theory : applications to algebra, logic, and topology : proceedings of the international co
  • 作者：Kamps,Klaus Heiner.
  • ISBN：0387119612
  • 出版社：Berlin ; New York : Springer-Verlag, 1982.
  • 出版年：1982
...

An invitation to applied category theory : seven sketches in compositionality
  • 作者：Fong,Brendan,
  • ISBN：9781108482295
  • 出版社：Cambridge : Cambridge University Press, 2019.
  • 出版年：2019
...

The computation and theory of optimal control
  • 作者：Dyer,Peter
  • 出版社：N.Y. : Academic Press, 1970
  • 出版年：1970
...

Category Seminar : proceedings, Sydney Category Theory Seminar, 1972/1973
  • 作者：Sydney Category Theory Seminar,
  • ISBN：0387069666
  • 出版社：Berlin ; New York : Springer-Verlag, 1974.
  • 出版年：1974