登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Concrete Semantics
EISBN:
9783319105420
PISBN:
9783319105413
出版社:
Springer International Publishing
出版类型:
Graduate/advanced undergraduate textbook
出版时间:
2014
作者:
Tobias Nipkow,Gerwin Klein
主题词:
Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Mathematical Logic and Formal Languages
语种:
英语
所属数据库:
SpringerLink电子图书
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Concrete
作者:
Mehta,P. Kumar;Monteiro,Paulo J. M.
EISBN:
9780071589192
出版社:
McGraw-Hill Professional Publishing
出版时间:
2005-10-17
Semantics
作者:
András Kornai
EISBN:
9783319656458
出版社:
Springer International Publishing
出版时间:
2020
GeoSpatial Semantics
作者:
M. Andrea Rodríguez,Isabel Cruz,Sergei Levashkin,Max J. Egenhofer
EISBN:
9783540322832
出版社:
Springer Berlin Heidelberg
出版时间:
2005
The Semantics of Relationships
作者:
R. Green,C.A. Bean,Sung Hyon Myaeng
EISBN:
9789401700733
出版社:
Springer Netherlands
出版时间:
2002
Neuromimetic Semantics
作者:
Harry Howard
PISBN:
9780444502087
出版时间:
Pre 2007
GeoSpatial Semantics
作者:
Christophe Claramunt,Sergei Levashkin,Michela Bertolotto
EISBN:
9783642206306
出版社:
Springer Berlin Heidelberg
出版时间:
2011
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。