登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Games and full abstraction for a functional metalanguage with recursive types
出版社：
Berlin ; New York : Springer, c1998.
ISBN：
3540762558
出版年：
1998
作者：
McCusker,G.
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Abstract data types and modula-2 : a worked example of design using data abstraction
作者：
Mitchell,Richard
ISBN：
013006081X
出版社：
N.Y. : Prentice-Hall, c1992
出版年：
1992
A recursive introduction to the theory of computation
作者：
Smith,Carl H.
ISBN：
0387943323
出版社：
New York : Springer, 1994.
出版年：
1994
What is water? : the history of a modern abstraction
作者：
Linton,Jamie.
ISBN：
9780774817011
出版社：
Vancouver : UBC Press, c2010.
出版年：
2010
MetaSoft primer : towards a metalanguage for applied denotational semantics
作者：
Blikle,Andrzej.
ISBN：
0387186573
出版社：
Berlin ; New York : Springer-Verlag, c1987.
出版年：
1987
A history of building types:
作者：
Pevsner,Nikolaus,
ISBN：
0500271747
出版社：
London : Thames and Hudson, 1976. (1979 [printing])
出版年：
1976
Recursive nonlinear estimation : a geometric approach
作者：
Kulhavy,Rudolf,
ISBN：
3540760636
出版社：
Berlin ; New York : Springer, c1996.
出版年：
1996
×
访问借阅管理系统
问图书管理员
馆际互借