登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
VLISP A Verfied Implementation of Scheme
EISBN：
9781461523390
PISBN：
9781461359913
出版社：
Springer US
出版类型：
Contributed volume
出版时间：
1995
作者：
Joshua D. Guttman,Mitchell Wand
主题词：
Programming Languages,Compilers,Interpreters,Software Engineering/Programming and Operating Systems,Artificial Intelligence (incl. Robotics)
语种：
英语
所属数据库：
SpringerLink电子图书
3浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
VLISP A Verified Implementation of Scheme
作者：
Joshua D. Guttman,Mitchell Wand
EISBN：
9781461523390
出版社：
Springer US
出版时间：
1995
A Code Mapping Scheme for Dataflow Software Pipelining
作者：
Guang R. Gao
EISBN：
9781461539889
出版社：
Springer US
出版时间：
1991
A Code Mapping Scheme for Dataflow Software Pipelining
作者：
Guang R. Gao
EISBN：
9781461539889
出版社：
Springer US
出版时间：
1991
Linear Determinants with Applications to the Picard Scheme of a Family of Algebraic Curves
作者：
Birger Iversen
EISBN：
9783540364399
出版社：
Springer Berlin Heidelberg
出版时间：
1970
Linear Determinants with Applications to the Picard Scheme of a Family of Algebraic Curves
作者：
Birger Iversen
EISBN：
9783540364399
出版社：
Springer Berlin Heidelberg
出版时间：
1970
The Tame Fundamental Group of a Formal Neighbourhood of a Divisor with Normal Crossings on a Scheme
作者：
Alexander Grothendieck,Jacob P. Murre
EISBN：
9783540368571
出版社：
Springer Berlin Heidelberg
出版时间：
1971
×
订购单位
×
电子书下载
将全部文件下载下来，放在一个目录中，右键点击后缀名为.zip的文件，用 winrar 、360压缩等压缩软件解压，就都能解压出来了。
问图书管理员
馆际互借
查看订购单位