登录
机构网站
切换导航
登录
机构网站
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
任意字段
任意字段
题名
出版社
作者
ISBN
丛书题名
全部
[A]
[B]
[C]
[D]
[E]
[F]
[G]
[H]
[I]
[J]
[K]
[L]
[M]
[N]
[O]
[P]
[Q]
[R]
[S]
[T]
[U]
[V]
[W]
[X]
[Y]
[Z]
订购单位
中国科学院文献情报中心
[切换机构]
中国科学院所有订购单位
年份
1996
8
1995
20
1994
24
1993
28
1992
24
1991
16
1990
16
主题词
computer science
70
software engineering
69
mathematical logic and formal languages
55
programming techniques
40
compilers
24
interpreters
24
logics and meanings of programs
24
programming languages
24
processor architectures
18
database management
15
artificial intelligence (incl. robotics)
11
information storage and retrieval
10
models and principles
8
programming and operating systems
5
computational mathematics and numerical analysis
4
computer communication networks
4
general
4
image processing and computer vision
4
information systems and communication service
4
language translation and linguistics
4
system performance and evaluation
4
data structures
3
business information systems
2
communications engineering
2
computation by abstract devices
2
computer applications
2
computer graphics
2
electronics and microelectronics
2
information systems applications (incl.internet)
2
instrumentation
2
it in business
2
networks
2
operating systems
2
theory of computation
2
computing methodologies
1
cryptology and information theory
1
gender studies
1
mathematical applications in computer science
1
mathematics
1
the computing profession
1
语种
英语
136
出版类型
proceedings
133
monograph
3
出版社
springer london
136
所属数据库
springerlink电子图书
68
springerlink电子图书(1815-2004)
68
检索结果:
136
相关度降序
日期降序
题名升序
相关度降序
Logic Program Synthesis and Transformation
出版社：
Springer London
EISBN：
9781447132349
出版时间：
1994
作者：
Yves Deville
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Semantics of Specification Languages (SoSL)
出版社：
Springer London
EISBN：
9781447132295
出版时间：
1994
作者：
Derek J. Andrews,Jan F. Groote,C.A. Middelburg
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
First International Workshop on Larch
出版社：
Springer London
EISBN：
9781447135586
出版时间：
1993
作者：
Ursula Martin,Jeannette M. Wing
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Active and Real-Time Database Systems (ARTDB-95)
出版社：
Springer London
EISBN：
9781447130802
出版时间：
1996
作者：
Mikael Berndtsson,Jörgen Hansson
1浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Functional Programming, Glasgow 1994
出版社：
Springer London
EISBN：
9781447135739
出版时间：
1995
作者：
Kevin Hammond,David N. Turner,Patrick M. Sansom
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Persistent Object Systems
出版社：
Springer London
EISBN：
9781447132097
出版时间：
1993
作者：
Antonio Albano,Ron Morrison
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Specifications of Database Systems
出版社：
Springer London
EISBN：
9781447138648
出版时间：
1992
作者：
David J. Harper,Moira C. Norrie
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Functional Programming, Glasgow 1990
出版社：
Springer London
EISBN：
9781447138105
出版时间：
1991
作者：
Simon L. Peyton Jones,Graham Hutton,Carsten Kehler Holst
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Structures in Concurrency Theory
出版社：
Springer London
EISBN：
9781447130789
出版时间：
1995
作者：
Jörg Desel
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Functional Programming, Glasgow 1993
出版社：
Springer London
EISBN：
9781447132363
出版时间：
1994
作者：
John T. O'Donnell,Kevin Hammond
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
×
订购单位选择
北京纳米能源与系统研究所
北京生命科学研究所
广东省科技图书馆（广东省科技信息与发展战略研究所）
广东省科技图书馆（广东省科学院信息研究所）
广州先进技术研究所
国家纳米科学中心
上海科技大学
水利部中国科学院水工程生态研究所
中国科学院半导体研究所
中国科学院北京基因组研究所（国家生物信息中心）
中国科学院北京综合研究中心
中国科学院测量与地球物理研究所
中国科学院成都计算机应用研究所
中国科学院成都山地灾害与环境研究所
中国科学院成都生物研究所
中国科学院成都文献情报中心
中国科学院成都有机化学研究所
中国科学院城市环境研究所
中国科学院大连化学物理研究所
中国科学院大气物理研究所
中国科学院大学
中国科学院电工研究所
中国科学院电子学研究所
中国科学院地理科学与资源研究所
中国科学院地球环境研究所
中国科学院地球化学研究所
中国科学院地质与地球物理研究所
中国科学院地质与地球物理研究所兰州油气资源研究中心
中国科学院东北地理与农业生态研究所
中国科学院动物研究所
中国科学院福建物质结构研究所
中国科学院赣江创新研究院
中国科学院高能物理研究所
中国科学院工程热物理研究所
中国科学院光电技术研究所
中国科学院光电研究院
中国科学院广州电子技术研究所
中国科学院广州地球化学研究所
中国科学院广州化学研究所
中国科学院广州能源研究所
中国科学院广州生物医药与健康研究院
中国科学院古脊椎动物与古人类研究所
中国科学院过程工程研究所
中国科学院国家空间科学中心
中国科学院国家授时中心
中国科学院国家天文台
中国科学院国家天文台南京天文光学技术研究所
中国科学院国家天文台长春人造卫星观测站
中国科学院海洋研究所
中国科学院寒区旱区环境与工程研究所
中国科学院合肥物质科学研究院
中国科学院华南植物园
中国科学院化学研究所
中国科学院近代物理研究所
中国科学院精密测量科学与技术创新研究院
中国科学院金属研究所
中国科学院计算技术研究所
中国科学院计算机网络信息中心
中国科学院集团
中国科学院科技战略咨询研究院
中国科学院空间应用工程与技术中心
中国科学院空天信息创新研究院
中国科学院昆明动物研究所
中国科学院昆明植物研究所
中国科学院兰州化学物理研究所
中国科学院兰州文献情报中心
中国科学院理化技术研究所
中国科学院理论物理研究所
中国科学院力学研究所
中国科学院南海海洋研究所
中国科学院南京地理与湖泊研究所
中国科学院南京地质古生物研究所
中国科学院南京土壤研究所
中国科学院宁波材料技术与工程研究所
中国科学院青岛生物能源与过程研究所
中国科学院青海盐湖研究所
中国科学院青藏高原研究所
中国科学院软件研究所
中国科学院上海高等研究院
中国科学院上海光学精密机械研究所
中国科学院上海硅酸盐研究所
中国科学院上海技术物理研究所
中国科学院上海免疫与感染研究所
中国科学院上海生命科学研究院
中国科学院上海天文台
中国科学院上海微系统与信息技术研究所
中国科学院上海药物研究所
中国科学院上海应用物理研究所
中国科学院上海有机化学研究所
中国科学院山西煤炭化学研究所
中国科学院生态环境研究中心
中国科学院生物物理研究所
中国科学院声学研究所
中国科学院深海科学与工程研究所
中国科学院沈阳计算技术研究所
中国科学院沈阳应用生态研究所
中国科学院沈阳自动化研究所
中国科学院深圳先进技术研究院
中国科学院水生生物研究所
中国科学院水土保持研究所
中国科学院数学与系统科学研究院
中国科学院苏州纳米技术与纳米仿生研究所
中国科学院苏州生物医学工程技术研究所
中国科学院天津工业生物技术研究所
中国科学院微电子研究所
中国科学院微生物研究所
中国科学院文献情报中心
中国科学院武汉病毒研究所
中国科学院武汉文献情报中心
中国科学院武汉物理与数学研究所
中国科学院武汉岩土力学研究所
中国科学院武汉植物园
中国科学院物理研究所
中国科学院西安光学精密机械研究所
中国科学院西北高原生物研究所
中国科学院西北生态环境资源研究院
中国科学院新疆理化技术研究所
中国科学院新疆生态与地理研究所
中国科学院新疆天文台
中国科学院心理研究所
中国科学院信息工程研究所
中国科学院西双版纳热带植物园
中国科学院烟台海岸带研究所
中国科学院遥感与数字地球研究所
中国科学院亚热带农业生态研究所
中国科学院遗传与发育生物学研究所
中国科学院遗传与发育生物学研究所农业资源研究中心
中国科学院云南天文台
中国科学院长春光学精密机械与物理研究所
中国科学院长春应用化学研究所
中国科学院植物研究所
中国科学院重庆绿色智能技术研究院
中国科学院自动化研究所
中国科学院紫金山天文台
中国科学院自然科学史研究所
×
订购单位
详细信息
馆际互借
查看订购单位
问图书管理员