登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Inductive synthesis of functional programs : universal planning folding of finite programs and sch
出版社:
Berlin ; New York : Springer, c2003.
ISBN:
3540401741
出版年:
2003
作者:
Schmid,U.
资源类型:
图书
细分类型:
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Programs for Sryline Planning
作者:
Carson,W.W.
出版社:
[S.l.] Frest and range experiment station, c1975.
出版年:
1975
The planning of industrial investment programs : a methodology
作者:
Kendrick,David A
ISBN:
0801821398.
出版社:
Baltimore : Published for the World Bank [by] Johns Hopkins University Press, c1978
出版年:
1978
automatic termination analysis for functional and imperative programs
作者:
Brauburger,Jurgen
ISBN:
1586031139
出版社:
germany infix 1999
出版年:
1999
Basic microcomputer programs for urban analysis and planning
作者:
Ottensmann,John R98012
ISBN:
0412008718
出版社:
New York: Chapman and Hall, c1985.
出版年:
1985
State planning: programs and accomplishments : Supplementing state planning report of 1935
作者:
United States.
出版社:
Washington : U.S. Govt. Print. Off., 1937.
出版年:
1937
Finite representations of CCS and TCSP programs by automata and Petri nets
作者:
Taubner,Dirk,
ISBN:
0387515259
出版社:
Berlin ; New York : Springer-Verlag, c1989.
出版年:
1989
×
访问借阅管理系统